Efficient type and memory safety for tiny embedded systems. - John Regehr; Nathan Cooprider; Will Archer; Eric Eide (PLOS, 2006)

Atomicity and visibility in tiny embedded systems. - John Regehr; Nathan Cooprider; David Gay (PLOS, 2006)

Pluggable abstract domains for analyzing embedded software. - Nathan Cooprider; John Regehr (LCTES, 2006)

Interrupt Verification via Thread Verification. - John Regehr; Nathan Cooprider (TV@FLoC, 2006)

Offline compression for on-chip ram. - Nathan Cooprider; John Regehr (PLDI, 2007)

Efficient memory safety for TinyOS. - Nathan Cooprider; Will Archer; Eric Eide; David Gay; John Regehr (SenSys, 2007)

Extension of star coordinates into three dimensions. - Nathan Cooprider; Robert P. Burton (Visualization and Data Analysis, 2007)

Using sequencing to trigger a better analysis. - Nathan Cooprider; John Regehr (SIGBED Rev., 2008)

Data-Flow Analysis for Interrupt-Driven Microcontroller Software. - Nathan Cooprider (2008)

Efficient multiple hypothesis tracking by track segment graph. - Chee-Yee Chong; Greg Castañón; Nathan Cooprider; Shozo Mori; Ravi Ravichandran; Robert Macior (FUSION, 2009)

Eliminating the call stack to save RAM. - Xuejun Yang; Nathan Cooprider; John Regehr (LCTES, 2009)