conf.researchr.org / John Regehr
![John Regehr](https://conf.researchr.org/getProfileImage/johnregehr/2cb23ab0-042a-487a-a859-cbd3147a46a7/small.jpg?1711467376000)
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
2024
SPLASH
PLDI
2023
2022
PLDI
2020
SPLASH
2018
SPLASH
2017
PLDI
2016
2015
PLDI
- 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