Seguir
John Regehr
John Regehr
Professor, School of Computing, University of Utah
Dirección de correo verificada de cs.utah.edu - Página principal
Título
Citado por
Citado por
Año
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
13662011
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
3862012
Understanding Integer Overflow in C/C++
W Dietz, P Li, J Regehr, V Adve
34th International Conference on Software Engineering (ICSE 2012), 2012
2692012
Taming Compiler Fuzzers
E Eide, A Groce, X Fern, Y Chen, C Zhang, J Regehr, WK Wong
218*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
2062001
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
1732015
Intent fuzzer: crafting intents of death
R Sasnauskas, J Regehr
Proceedings of the 2014 Joint International Workshop on Dynamic Analysis …, 2014
1672014
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
1652007
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
1432002
Swarm Testing
A Groce, C Zhang, E Eide, Y Chen, J Regehr
International Symposium on Software Testing and Analysis (ISSTA 2012), 2012
1372012
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
1312005
T-Check: bug finding for sensor networks
P Li, J Regehr
Proceedings of the 9th ACM/IEEE International Conference on Information …, 2010
1292010
Volatiles are miscompiled, and what to do about it
E Eide, J Regehr
Proceedings of the 8th ACM international conference on Embedded software …, 2008
1192008
Eliminating stack overflow by abstract interpretation
J Regehr, A Reid, K Webb
ACM Transactions on Embedded Computing Systems (TECS) 4 (4), 751-778, 2005
1192005
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
1162020
Preventing interrupt overload
U Duongsaa, J Regehr
Proceedings of the 2005 ACM SIGPLAN/SIGBED conference on Languages …, 2005
109*2005
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
1002011
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
942021
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
942012
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20