Statistics
Publications
61
Citations
4.5K
H-Index
35
Active since
1999
John Regehr is an author at University of Utah specializing in computer science, computing, and computer engineering.
Publications per year
1999–2023
61
61
Finding and understanding bugs in C compilers
Xuejun Yang, Yang Chen, Eric Eide et al. · 2011 · 733 citations
Finding and understanding bugs in C compilers
Xuejun Yang, Yang Chen, Eric Eide et al. · ACM SIGPLAN Notices · 2011 · 586 citations
Test-case reduction for C compiler bugs
John Regehr, Yang Chen, Pascal Cuoq et al. · 2012 · 294 citations
HLS: a framework for composing soft real-time schedulers
John Regehr, J.A. Stankovic · 2005 · 151 citations
Yang Chen, Alex Groce, Chaoqiang Zhang et al. · 2013 · 148 citations
1–5 of 61