regehr@cs.utah.eduMEB 3268 | 801.581.4280Website | Google Scholar
Research InterestsHigh-Performance Computing (Compiler Optimization); Programming Languages (Compiler Optimization, Formal Verification and Testing)