Nathan Cooprider

Publication Activity (10 Years)

Years Active: 2006-2009
Publications (10 Years): 0

Publications

Chee-Yee Chong, Greg Castañón, Nathan Cooprider, Shozo Mori, Ravi Ravichandran, Robert Macior
Efficient multiple hypothesis tracking by track segment graph. FUSION (2009)
Xuejun Yang, Nathan Cooprider, John Regehr
Eliminating the call stack to save RAM. LCTES (2009)
Nathan Cooprider, John Regehr
Using sequencing to trigger a better analysis. SIGBED Rev. 5 (1) (2008)
Nathan Cooprider, Robert P. Burton
Extension of star coordinates into three dimensions. Visualization and Data Analysis (2007)
Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr
Efficient memory safety for TinyOS. SenSys (2007)
John Regehr, Nathan Cooprider
Interrupt Verification via Thread Verification. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Nathan Cooprider, John Regehr
Offline compression for on-chip ram. PLDI (2007)
Nathan Cooprider, John Regehr
Pluggable abstract domains for analyzing embedded software. LCTES (2006)
John Regehr, Nathan Cooprider, David Gay
Atomicity and visibility in tiny embedded systems. PLOS (2006)
John Regehr, Nathan Cooprider, Will Archer, Eric Eide
Efficient type and memory safety for tiny embedded systems. PLOS (2006)