John Regehr

Registered user since Sun 2 Nov 2014

Name:John Regehr
Affiliation:University of Utah
Research interests:compilers, testing

Contributions

CGO 2022 Committee Member in Program Committee within the Workshops and Tutorials-track
PLDI 2021 Author of Alive2: Bounded Translation Validation for LLVM within the PLDI-track
SPLASH 2020 Author 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 2020 Session Chair of Session 5 (part of Ask Me Anything)
Committee Member in Program Committee within the PLDI Research Papers-track
WoSSCA 2018 Committee Member in Program Committee within the WoSSCA 2018-track
SPLASH 2018 Author 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 2017 Committee Member in Program Committee within the Research Papers-track
PLDI 2017 Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track
Committee Member in External Program Committee
PLDI 2016 Committee 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 2015 Committee 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