Abstractions for Practical Virtual Machine Replay
Anton Burtsev, David Johnson, Mike Hibler, Eric Eide, and John Regehr
In VEE 2016 [ pdf :: bibtex ]

Help, Help, I'm Being Suppressed! The Significance of Suppressors in Software Testing
Alex Groce, Chaoqiang Zhang, Mohammad Amin Alipour, Eric Eide, Yang Chen, and John Regehr
In ISSRE 2013 [ bibtex ]

Taming Compiler Fuzzers
Yang Chen, Alex Groce, Chaoqiang Zhang, Weng-Keen Wong, Xiaoli Fern, Eric Eide, and John Regehr
In PLDI 2013 [ pdf :: slides :: bibtex ]

Swarm Testing
Alex Groce, Chaoqiang Zhang, Eric Eide, Yang Chen, and John Regehr
In ISSTA 2012 [ pdf :: slides :: bibtex ]

Test-Case Reduction for C Compiler Bugs
John Regehr, Yang Chen, Pascal Cuoq, Eric Eide, Chucky Ellison, and Xuejun Yang
In PLDI 2012 (award paper) [ pdf :: slides :: bibtex ]

Advanced Adaptive Application (A3) Environment- Initial Experience
Partha Pal, Richard Schantz, Aaron Paulos, John Regehr, and Mike Hibler
In Middleware 2011 [ pdf :: bibtex ]

Finding and Understanding Bugs in C Compilers
Xuejun Yang, Yang Chen, Eric Eide, and John Regehr
In PLDI 2011 (award paper) [ pdf :: slides :: bibtex ]

Volatiles Are Miscompiled, and What to Do about It
Eric Eide and John Regehr
In EMSOFT 2008 [ pdf :: slides :: bibtex ]

Edicts: Implementing Features with Flexible Binding Times
Venkat Chakravarthy, John Regehr, and Eric Eide
In AOSD 2008 [ pdf :: slides :: bibtex ]

Efficient Memory Safety for TinyOS
Nathan Cooprider, Will Archer, Eric Eide, David Gay, and John Regehr
In SenSys 2007 [ bibtex ]

Efficient Type and Memory Safety for Tiny Embedded Systems
John Regehr, Nathan Cooprider, Will Archer, and Eric Eide
In PLOS 2006 [ bibtex ]

Memory Safety and Untrusted Extensions for TinyOS
John Regehr, Nathan Cooprider, Will Archer, and Eric Eide
Technical Report UUCS–06–007 2006 [ bibtex ]

Eliminating stack overflow by abstract interpretation
John Regehr, Alastair Reid, and Kirk Webb
In ACM Trans. Embed. Comput. Syst. 4(4), November 2005 [ bibtex ]

Dynamic CPU Management for Real-Time, Middleware-Based Systems
Eric Eide, Tim Stack, John Regehr, and Jay Lepreau
In RTAS 2004 [ bibtex ]

Dynamic CPU Management for Real-Time, Middleware-Based Systems
Eric Eide, Tim Stack, John Regehr, and Jay Lepreau
Technical Report UUCS-04-004 2004 [ bibtex ]

Evolving real-time systems using hierarchical scheduling and concurrency analysis
John Regehr, Alastair Reid, Kirk Webb, Mike Parker, and Jay Lepreau
In RTSS 2003 [ bibtex ]

Static and Dynamic Structure in Design Patterns
Eric Eide, Alastair Reid, John Regehr, and Jay Lepreau
In ICSE 2002 [ bibtex ]