Search Results for 'Regehr'

Regehr published presentations and documents on DocSlides.

Finding and Understanding Bugs in C Compilers Xuejun Yang Yang Chen Eric Eide John Regehr University of Utah School of Computing jxyang chenyang eeide regehr cs

by yoshiko-marsland

utahedu Abstract Compilers should be correct To im...

Culture and mental health

by vamput

A. Newberry-. Koroluk. , PhD, RSW. Lesson objectiv...

Nuno Lopes Joint work with David Menendez, Santosh Nagarakatte, John Regehr,

by danika-pritchard

Sarah Winkler. Improving Reliability of Compilers...