John Regehr -

Registered user since Sun 2 Nov 2014

Name:John Regehr

Affiliation:University of Utah

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

Research interests:compilers, testing

Contributions

PLMW	Author of Technical Talk by John Regehr within the PLMW-track
PLDI 2022	Committee Member in PLDI within the PLDI-track Author of Reasoning About and Discovering LLVM Optimizations within the Tutorials-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
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