Flux Research Group / School of Computing

languages publications (see more about languages)

2023
2021
2020
2016
2014
2013
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
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 ]
2011
2010
2009
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
2004
2003
2002
2001
2000
1999
1998
1997