Nathan Cooprider

According to our database, Nathan Cooprider authored at least 11 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Eliminating the call stack to save RAM.

Xuejun Yang, Nathan Cooprider, John Regehr

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Efficient multiple hypothesis tracking by track segment graph.

Chee-Yee Chong, Greg Castañón, Nathan Cooprider, Shozo Mori, Ravi Ravichandran, Robert Macior

Proceedings of the 12th International Conference on Information Fusion, 2009

2008

Data-Flow Analysis for Interrupt-Driven Microcontroller Software.

Nathan Cooprider

PhD thesis, 2008

Using sequencing to trigger a better analysis.

Nathan Cooprider, John Regehr

SIGBED Rev., 2008

2007

Extension of star coordinates into three dimensions.

Nathan Cooprider, Robert P. Burton

Proceedings of the Visualization and Data Analysis 2007, 2007

Efficient memory safety for TinyOS.

Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr

Proceedings of the 5th International Conference on Embedded Networked Sensor Systems, 2007

Offline compression for on-chip ram.

Nathan Cooprider, John Regehr

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007

2006

Interrupt Verification via Thread Verification.

John Regehr, Nathan Cooprider

Proceedings of the Thread Verification Workshop, 2006

Pluggable abstract domains for analyzing embedded software.

Nathan Cooprider, John Regehr

Proceedings of the 2006 ACM SIGPLAN/SIGBED Conference on Languages, 2006

Atomicity and visibility in tiny embedded systems.

John Regehr, Nathan Cooprider, David Gay

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006

Efficient type and memory safety for tiny embedded systems.

John Regehr, Nathan Cooprider, Will Archer, Eric Eide

Proceedings of the 3rd Workshop on Programming Languages and Operating Systems: Linguistic Support for Modern Operating Systems, 2006