John Regehr

Registered user since Sun 2 Nov 2014

Name: John Regehr

Country: United States

Affiliation: University of Utah

Personal website: http://www.cs.utah.edu/~regehr/

Research interests: compilers, testing

Contributions

SPLASH 2020Author of Random Testing for C and C++ Compilers with YARPGen within the OOPSLA-track
Author of Dataflow-based Pruning for Speeding up Superoptimization within the OOPSLA-track
PLDI 2020Session Chair of Session 5 (part of Ask Me Anything)
Committee Member in Program Committee within the PLDI Research Papers-track
WoSSCA 2018Committee Member in Program Committee within the WoSSCA 2018-track
SPLASH 2018Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the OOPSLA-track
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Posters-track
Author of Reconciling High-level Optimizations and Low-level Code in LLVM within the Artifacts-track
CC 2017Committee Member in Program Committee within the Research Papers-track
PLDI 2017Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track
Committee Member in External Program Committee
PLDI 2016Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
Artifact Evaluation Co-Chair in Artifact Evaluation Committee
Artifact Evaluation Co-Chair in Organizing Committee
PLDI 2015Committee Member in Program Committee within the Research Papers-track
Artifact Evaluation Co-Chair in Organizing Committee
Co-chair in Artifact Evaluation Committee within the Artifact Evaluation-track
Presenter of PLDI Chairs' Report within the Research Papers-track
Author of Provably Correct Peephole Optimizations with Alive within the Research Papers-track