| 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 | 1352 | 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 | 384 | 2012 |
| Understanding Integer Overflow in C/C++ W Dietz, P Li, J Regehr, V Adve 34th International Conference on Software Engineering (ICSE 2012), 2012 | 267 | 2012 |
| 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 | 217 | 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 | 206 | 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 | 170 | 2015 |
| Intent fuzzer: crafting intents of death R Sasnauskas, J Regehr Proceedings of the 2014 Joint International Workshop on Dynamic Analysis …, 2014 | 166 | 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 | 143 | 2002 |
| Swarm Testing A Groce, C Zhang, E Eide, Y Chen, J Regehr International Symposium on Software Testing and Analysis (ISSTA 2012), 2012 | 137 | 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 | 130 | 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 |
| Volatiles are miscompiled, and what to do about it E Eide, J Regehr Proceedings of the 8th ACM international conference on Embedded software …, 2008 | 119 | 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 |
| 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 | 114 | 2020 |
| 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 | 100 | 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 | 94 | 2012 |
| 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 | 93 | 2021 |
Eric EideUniversity of Utah Kahlert School of ComputingVerified email at cs.utah.edu
