John Regehr

Cited by

	All	Since 2016
Citations	4240	1800
h-index	35	20
i10-index	57	32

400

200

100

300

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202118 24 39 48 65 82 83 83 112 141 147 183 203 243 261 266 350 330 352 381 351 375 11

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 YangFuturewei TechnologiesVerified email at huawei.com
Alastair ReidStaff Research ScientistVerified email at google.com
Nathan CoopriderThreat StackVerified email at yankeehacker.com
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Chaoqiang ZhangGoogleVerified email at google.com
John StankovicProfessor of Computer Science, University of VirginiaVerified email at virginia.edu
Kirk WebbUniversity of UtahVerified email at cs.utah.edu
Nuno P. LopesMicrosoft ResearchVerified email at ist.utl.pt
Mohammad Amin AlipourUniversity of HoustonVerified email at cs.uh.edu
David GayGoogleVerified email at acm.org
Philip LevisProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Xiaoli FernOregon State UniversityVerified email at eecs.oregonstate.edu
Weng-Keen WongAssociate Professor of Computer Science, Oregon State UniversityVerified email at eecs.oregonstate.edu
Dr. Raimondas SasnauskasIndependent Researcher (prev. University of Luxembourg, University of Utah, RWTH Aachen UniversityVerified email at sasnauskas.eu
Chung-Kil HurSeoul National UniversityVerified email at sf.snu.ac.kr
Santosh NagarakatteAssociate Professor of Computer Science at Rutgers UniversityVerified email at cs.rutgers.edu
Chucky EllisonPhD Graduate from University of IllinoisVerified email at illinois.edu
Juneyoung LeeSoftware Foundations Laboratory, Computer Science and Engineering, Seoul National UniversityVerified email at sf.snu.ac.kr

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	749	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	211	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	200	2001
Understanding Integer Overflow in C/C++ W Dietz, P Li, J Regehr, V Adve 34th International Conference on Software Engineering (ICSE 2012), 2012	185	2012
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	156	2007
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	136	2013
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	131	2002
Intent fuzzer: crafting intents of death R Sasnauskas, J Regehr Proceedings of the 2014 Joint International Workshop on Dynamic Analysis …, 2014	119	2014
T-Check: bug finding for sensor networks P Li, J Regehr Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010	115	2010
Deriving abstract transfer functions for analyzing embedded software J Regehr, U Duongsaa ACM SIGPLAN Notices 41 (7), 34-43, 2006	109*	2006
Random testing of interrupt-driven software J Regehr Proceedings of the 5th ACM International Conference on Embedded software …, 2005	105	2005
Eliminating stack overflow by abstract interpretation J Regehr, A Reid, K Webb ACM Transactions on Embedded Computing Systems (TECS) 4 (4), 751-778, 2005	103	2005
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	100	2015
Swarm Testing A Groce, C Zhang, E Eide, Y Chen, J Regehr International Symposium on Software Testing and Analysis (ISSTA 2012), 2012	95	2012
Volatiles are miscompiled, and what to do about it E Eide, J Regehr Proceedings of the 8th ACM international conference on Embedded software …, 2008	94	2008
Preventing interrupt overload U Duongsaa, J Regehr Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005	93*	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	82	2003
Surviving sensor network software faults Y Chen, O Gnawali, M Kazandjieva, P Levis, J Regehr Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009	73	2009
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	70	2011
Using hierarchical scheduling to support soft real-time applications in general-purpose operating systems J Regehr University of Virginia, 2001	69	2001

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

Upload PDF

Follow this author

Cited by

Co-authors