John Regehr
John Regehr
Professor, School of Computing, University of Utah
Verified email at cs.utah.edu - Homepage
TitleCited byYear
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
4772011
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
1822001
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
1332007
Understanding Integer Overflow in C/C++
W Dietz, P Li, J Regehr, V Adve
34th International Conference on Software Engineering (ICSE 2012), 2012
1302012
Test-case reduction for C compiler bugs
J Regehr, Y Chen, P Cuoq, E Eide, C Ellison, X Yang
ACM SIGPLAN Notices 47 (6), 335-346, 2012
1212012
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
1152002
T-Check: bug finding for sensor networks
P Li, J Regehr
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
1002010
Deriving abstract transfer functions for analyzing embedded software
J Regehr, U Duongsaa
ACM SIGPLAN Notices 41 (7), 34-43, 2006
94*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
902005
Random testing of interrupt-driven software
J Regehr
Proceedings of the 5th ACM international conference on Embedded software …, 2005
872005
Preventing interrupt overload
U Duongsaa, J Regehr
Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005
80*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
782008
Taming compiler fuzzers
Y Chen, A Groce, C Zhang, WK Wong, X Fern, E Eide, J Regehr
ACM SIGPLAN Notices 48 (6), 197-208, 2013
762013
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
762003
Intent fuzzer: crafting intents of death
R Sasnauskas, J Regehr
Proceedings of the 2014 Joint International Workshop on Dynamic Analysis …, 2014
692014
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
672009
Using hierarchical scheduling to support soft real-time applications in general-purpose operating systems
J Regehr
University of Virginia, 2001
662001
Swarm Testing
A Groce, C Zhang, E Eide, Y Chen, J Regehr
International Symposium on Software Testing and Analysis (ISSTA 2012), 2012
642012
Provably correct peephole optimizations with alive
NP Lopes, D Menendez, S Nagarakatte, J Regehr
ACM SIGPLAN Notices 50 (6), 22-32, 2015
632015
Interface contracts for TinyOS
W Archer, P Levis, J Regehr
Proceedings of the 6th international conference on Information processing in …, 2007
602007
The system can't perform the operation now. Try again later.
Articles 1–20