John Regehr

Cited by

	All	Since 2018
Citations	5300	2128
h-index	39	22
i10-index	61	33

420

210

105

315

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202321 25 37 50 68 83 87 87 117 146 144 176 203 236 270 272 353 341 360 394 349 399 413 410 163

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Eric EideUniversity of Utah 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
Nathan CoopriderSTRVerified email at yankeehacker.com
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Nuno P. LopesINESC-ID, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.pt
John StankovicProfessor of Computer Science, University of VirginiaVerified email at virginia.edu
Kirk WebbUniversity of UtahVerified email at cs.utah.edu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Zhengyang LiuUniversity of UtahVerified email at cs.utah.edu
Juneyoung LeeAutomated Reasoning Group, AWSVerified 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 NagarakatteAssociate Professor of Computer Science at Rutgers UniversityVerified email at cs.rutgers.edu
David GayGoogleVerified email at acm.org
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu

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	1077	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	305	2012
Understanding Integer Overflow in C/C++ W Dietz, P Li, J Regehr, V Adve 34th International Conference on Software Engineering (ICSE 2012), 2012	240	2012
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	204	2001
Taming compiler fuzzers Y Chen, A Groce, C Zhang, WK Wong, X Fern, E Eide, J Regehr Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013	182	2013
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	161	2007
Intent fuzzer: crafting intents of death R Sasnauskas, J Regehr Proceedings of the 2014 Joint International Workshop on Dynamic Analysis …, 2014	148	2014
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	143	2015
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	137	2002
Random testing of interrupt-driven software J Regehr Proceedings of the 5th ACM International Conference on Embedded software …, 2005	125	2005
T-Check: bug finding for sensor networks P Li, J Regehr Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010	123	2010
Swarm Testing A Groce, C Zhang, E Eide, Y Chen, J Regehr International Symposium on Software Testing and Analysis (ISSTA 2012), 2012	120	2012
Deriving abstract transfer functions for analyzing embedded software J Regehr, U Duongsaa ACM SIGPLAN Notices 41 (7), 34-43, 2006	120*	2006
Eliminating stack overflow by abstract interpretation J Regehr, A Reid, K Webb ACM Transactions on Embedded Computing Systems (TECS) 4 (4), 751-778, 2005	114	2005
Volatiles are miscompiled, and what to do about it E Eide, J Regehr Proceedings of the 8th ACM international conference on Embedded software …, 2008	104	2008
Preventing interrupt overload U Duongsaa, J Regehr Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005	100*	2005
Evolving real-time systems using hierarchical scheduling and concurrency analysis J Regehr, A Reid, K Webb, M Parker, J Lepreau Real-Time Systems Symposium, 2003. RTSS 2003. 24th IEEE, 25-36, 2003	87	2003
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	86	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	77	2012
Interrupt Verification via Thread Verification J Regehr, N Cooprider Electronic Notes in Theoretical Computer Science 174 (9), 139-150, 2007	77	2007

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