John Regehr

Cited by

	All	Since 2020
Citations	6306	2383
h-index	41	22
i10-index	63	30

580

290

145

435

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202520 25 38 50 70 83 85 87 118 144 147 174 205 241 274 271 346 334 361 396 354 411 417 435 487 578 55

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Eric EideUniversity of Utah Kahlert School of ComputingVerified email at cs.utah.edu
Yang ChenSchool of Computing, University of UtahVerified email at cs.utah.edu
Xuejun YangMicrosoftVerified email at microsoft.com
Alastair ReidSenior Principal EngineerVerified email at intel.com
Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
Nathan CoopriderSTRVerified email at yankeehacker.com
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Zhengyang Liud-MatrixVerified email at d-matrix.ai
John StankovicProfessor of Computer Science, University of VirginiaVerified email at virginia.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Kirk WebbUniversity of UtahVerified email at cs.utah.edu
Juneyoung LeeAmazonVerified email at amazon.com
Li PengByteDanceVerified email at bytedance.com
Mohammad Amin AlipourUniversity of HoustonVerified email at cs.uh.edu
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen UniversityVerified email at sasnauskas.eu
Xiaoli FernOregon State UniversityVerified email at eecs.oregonstate.edu
Weng-Keen WongProfessor of Computer Science, Oregon State UniversityVerified email at eecs.oregonstate.edu
Santosh NagarakatteProfessor of Computer Science at Rutgers UniversityVerified email at cs.rutgers.edu
Chucky EllisonPhD Graduate from University of IllinoisVerified email at freefour.com
David GayGoogleVerified email at acm.org

John Regehr

Professor, School of Computing, University of Utah

Verified email at cs.utah.edu - Homepage

compilers testing verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Finding and understanding bugs in C compilers X Yang, Y Chen, E Eide, J Regehr Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011	1396	2011
Test-case reduction for C compiler bugs J Regehr, Y Chen, P Cuoq, E Eide, C Ellison, X Yang Proceedings of the 33rd ACM SIGPLAN conference on Programming Language …, 2012	392	2012
Understanding Integer Overflow in C/C++ W Dietz, P Li, J Regehr, V Adve 34th International Conference on Software Engineering (ICSE 2012), 2012	270	2012
Taming Compiler Fuzzers E Eide, A Groce, X Fern, Y Chen, C Zhang, J Regehr, WK Wong	220*	2013
HLS: A framework for composing soft real-time schedulers J Regehr, JA Stankovic Real-Time Systems Symposium, 2001.(RTSS 2001). Proceedings. 22nd IEEE, 3-14, 2001	207	2001
Provably correct peephole optimizations with alive NP Lopes, D Menendez, S Nagarakatte, J Regehr Proceedings of the 36th ACM SIGPLAN Conference on Programming Language …, 2015	177	2015
Intent fuzzer: crafting intents of death R Sasnauskas, J Regehr Proceedings of the 2014 Joint International Workshop on Dynamic Analysis …, 2014	167	2014
Efficient memory safety for TinyOS N Cooprider, W Archer, E Eide, D Gay, J Regehr Proceedings of the 5th international conference on Embedded networked sensor …, 2007	165	2007
Scheduling tasks with mixed preemption relations for robustness to timing faults J Regehr Real-Time Systems Symposium, 2002. RTSS 2002. 23rd IEEE, 315-326, 2002	145	2002
Swarm Testing A Groce, C Zhang, E Eide, Y Chen, J Regehr International Symposium on Software Testing and Analysis (ISSTA 2012), 2012	139	2012
Deriving abstract transfer functions for analyzing embedded software J Regehr, U Duongsaa ACM SIGPLAN Notices 41 (7), 34-43, 2006	131*	2006
Random testing of interrupt-driven software J Regehr Proceedings of the 5th ACM International Conference on Embedded software …, 2005	131	2005
T-Check: bug finding for sensor networks P Li, J Regehr Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010	129	2010
Random testing for C and C++ compilers with YARPGen V Livinskii, D Babokin, J Regehr Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-25, 2020	123	2020
Volatiles are miscompiled, and what to do about it E Eide, J Regehr Proceedings of the 8th ACM international conference on Embedded software …, 2008	120	2008
Eliminating stack overflow by abstract interpretation J Regehr, A Reid, K Webb ACM Transactions on Embedded Computing Systems (TECS) 4 (4), 751-778, 2005	119	2005
Preventing interrupt overload U Duongsaa, J Regehr Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005	109*	2005
Alive2: bounded translation validation for LLVM NP Lopes, J Lee, CK Hur, Z Liu, J Regehr Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021	101	2021
ARMor: fully verified software fault isolation L Zhao, G Li, B De Sutter, J Regehr Proceedings of the ninth ACM international conference on Embedded software …, 2011	101	2011
Testing static analyzers with randomly generated programs P Cuoq, B Monate, A Pacalet, V Prevosto, J Regehr, B Yakobowski, ... NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012	96	2012

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors