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