| 2024 | CGO | High-Throughput, Formal-Methods-Assisted Fuzzing for LLVM. | Yuyou Fan, John Regehr |
| 2021 | PLDI | Alive2: bounded translation validation for LLVM. | Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, John Regehr |
| 2020 | CGO | Testing static analyses for precision and soundness. | Jubi Taneja, Zhengyang Liu, John Regehr |
| 2017 | PLDI | Taming undefined behavior in LLVM. | Juneyoung Lee, Yoonseung Kim, Youngju Song, Chung-Kil Hur, Sanjoy Das, David Majnemer, John Regehr, Nuno P. Lopes |
| 2016 | VEE | Abstractions for Practical Virtual Machine Replay. | Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, John Regehr |
| 2015 | PLDI | Provably correct peephole optimizations with alive. | Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr |
| 2014 | ICST | Cause Reduction for Quick Testing. | Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen, John Regehr |
| 2014 | ISSTA | Intent fuzzer: crafting intents of death. | Raimondas Sasnauskas, John Regehr |
| 2013 | ISSRE | Help, help, i'm being suppressed! The significance of suppressors in software testing. | Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, John Regehr |
| 2013 | PLDI | Taming compiler fuzzers. | Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Z. Fern, Eric Eide, John Regehr |
| 2012 | ICSE | Understanding integer overflow in C/C++. | Will Dietz, Peng Li, John Regehr, Vikram S. Adve |
| 2012 | ISSTA | Swarm testing. | Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, John Regehr |
| 2012 | PLDI | Test-case reduction for C compiler bugs. | John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, Xuejun Yang |
| 2011 | EMSOFT | ARMor: fully verified software fault isolation. | Lu Zhao, Guodong Li, Bjorn De Sutter, John Regehr |
| 2011 | PLDI | Finding and understanding bugs in C compilers. | Xuejun Yang, Yang Chen, Eric Eide, John Regehr |
| 2009 | SOSP | Surviving sensor network software faults. | Yang Chen, Omprakash Gnawali, Maria A. Kazandjieva, Philip Alexander Levis, John Regehr |
| 2008 | EMSOFT | Volatiles are miscompiled, and what to do about it. | Eric Eide, John Regehr |
| 2007 | PLDI | Offline compression for on-chip ram. | Nathan Cooprider, John Regehr |
| 2007 | SENSYS | Efficient memory safety for TinyOS. | Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr |
| 2007 | RV | Statistical Runtime Checking of Probabilistic Properties. | Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr |
| 2006 | ASPLOS | Efficient type and memory safety for tiny embedded systems. | John Regehr, Nathan Cooprider, Will Archer, Eric Eide |
| 2006 | ASPLOS | Atomicity and visibility in tiny embedded systems. | John Regehr, Nathan Cooprider, David Gay |
| 2005 | EMSOFT | Random testing of interrupt-driven software. | John Regehr |
| 2004 | ASPLOS | HOIST: a system for automatically deriving static analyzers for embedded systems. | John Regehr, Alastair Reid |
| 2004 | RTAS | Dynamic CPU Management for Real-Time, Middleware-Based Systems. | Eric Eide, Tim Stack, John Regehr, Jay Lepreau |
| 2003 | EMSOFT | Eliminating Stack Overflow by Abstract Interpretation. | John Regehr, Alastair Reid, Kirk Webb |
| 2003 | RTSS | Evolving real-time systems using hierarchical scheduling and concurrency analysis. | John Regehr, Alastair Reid, Kirk Webb, Michael A. Parker, Jay Lepreau |
| 2002 | ICSE | Static and dynamic structure in design patterns. | Eric Eide, Alastair Reid, John Regehr, Jay Lepreau |
| 2002 | USENIX | Inferring Scheduling Behavior with Hourglass. | John Regehr |
| 2002 | RTSS | Scheduling Tasks with Mixed Preemption Relations for Robustness to Timing Faults. | John Regehr |
| 2001 | RTSS | HLS: A Framework for Composing Soft Real-Time Schedulers. | John Regehr, John A. Stankovic |
| 2001 | RTAS | Two Case Studies in Predictable Application Scheduling Using Rialto/NT. | Michael B. Jones, John Regehr, Stefan Saroiu |
| 2001 | RTAS | Augmented CPU Reservations: Towards Predictable Execution on General-Purpose Operating System. | John Regehr, John A. Stankovic |
| 1999 | HotOS | The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. | Michael B. Jones, John Regehr |
| 1999 | RTAS | The Problems You're Having May Not Be the Problems You Think You're Having: Results from a Latency Study of Windows NT. | Michael B. Jones, John Regehr |