John Regehr

Registered user since Sun 2 Nov 2014

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

Contributions

PLDI 2023 Area Chair in PLDI Review Committee within the PLDI Research Papers-track
Author of Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages within the PLDI Research Papers-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
Author of Reasoning About and Discovering LLVM Optimizations within the Tutorials-track
PLMW Author of Whose Life Are You Making Better within the PLMW-track
CGO 2022 Committee Member in Program Committee within the Main Conference-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
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
WoSSCA 2018 Committee Member in Program Committee within the WoSSCA 2018-track
PLDI 2017 Author of Taming Undefined Behavior in LLVM within the PLDI Research Papers-track
Committee Member in External Program Committee
CC 2017 Committee Member in Program Committee within the Research Papers-track
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