conf.researchr.org / 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
2024
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