Flux Research Group / School of Computing

projects

A3 A3
John Regehr

John Regehr

Affiliated Faculty
areas of interest operating systems, security, mobile networking, software testing
email regehr at cs.utah.edu
web www.cs.utah.edu/~regehr
office 3490 MEB
alumni Yang Chen, Xuejun Yang, Venkat Chakravarthy, Chung Hwan Kim

publications with the flux group

2016
2013
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 ]
2012
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 [ pdf :: slides :: bibtex ]
2011
2008
2007
Efficient Memory Safety for TinyOS
Nathan Cooprider, Will Archer, Eric Eide, David Gay, and John Regehr
In SenSys 2007 [ bibtex ]
2006
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 ]
2005
Eliminating stack overflow by abstract interpretation
John Regehr, Alastair Reid, and Kirk Webb
In ACM Trans. Embed. Comput. Syst. 4(4), November 2005 [ bibtex ]
2004
2003
2002