Publications

Click on the s to view copyright information. The copyright information contains links to my versions of the papers and presentations
Efficient Multiple Hypothesis Tracking by Track Segment Graph. Chee-Yee Chong, Greg Castanon, Nathan Cooprider, Shozo Mori, Ravi Ravichandran, Robert Macior. In Proceedings of the 12th International Conference on Information Fusion, Seattle, Washington, July 2009.
Eliminating the Call Stack to Save RAM. Xuejun Yang, Nathan Cooprider, and John Regehr. In Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Dublin, Ireland, June 2009.
Using Sequencing to Trigger a Better Analysis. Nathan Cooprider and John Regehr. ACM SIGBED Review, 5(1), January 2008.
Efficient Memory Safety for TinyOS. Nathan Cooprider, Will Archer, Eric Eide, David Gay, and John Regehr. In Proceedings of the 5th ACM Conference on Embedded Networked Sensor Systems (SenSys), Sydney, Australia, November 2007.
Interrupt Verification via Thread Verification. John Regehr and Nathan Cooprider. In Electronic Notes in Theoretical Computer Science (ENTCS), 174(9):139-150, June 2007.
Offline Compression for On-Chip RAM. Nathan Cooprider and John Regehr. In Proceedings of the ACM Conference on Programming Language Design and Implementation (PLDI), San Diego, California, June 2007.
Extension of Star Coordinates into Three Dimensions. Nathan D. Cooprider and Robert P. Burton. In Proceedings of the SPIE Conference on Visualization and Data Analysis (VDA), San Jose, California, January 2007.
Atomicity and Visibility in Tiny Embedded Systems. John Regehr, Nathan Cooprider, and David Gay. In Proceedings of the PLOS 2006 Workshop on Linguistic Support for Modern Operating Systems, San Jose, California, October 2006.
Efficient Type and Memory Safety for Tiny Embedded Systems. John Regehr, Nathan Cooprider, Will Archer, and Eric Eide. In Proceedings of the PLOS 2006 Workshop on Linguistic Support for Modern Operating Systems, San Jose, California, October 2006.
Pluggable Abstract Domains for Analyzing Embedded Software. Nathan Cooprider and John Regehr. In Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), Ottawa, Canada, June 2006.

Forums, presentations, technical reports, and awards

Data-flow analysis for interrupt-driven microcontroller software. Nathan Cooprider. PhD Dissertation. School of Computing, University of Utah. Salt Lake City, Utah, August 2008.
Dataflow analysis for interrupt-driven microcontroller software. Nathan Cooprider. PhD Proposal. School of Computing, University of Utah. Salt Lake City, Utah, October 2007.
NSF Student Travel Grant. ACM Conference on Embedded Networked Sensor Systems (SenSys). Nathan Cooprider. September 24, 2007. $1700.
SPIE Student Travel Contingency Grant. SPIE Conference on Visualization and Data Analysis (VDA). Nathan Cooprider. December 27, 2006. $300.
University of Utah Graduate Supplemental Travel Award. ACM Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES). Nathan Cooprider. July 7, 2006. $350.
Memory Safety and Untrusted Extensions for TinyOS. John Regehr, Nathan Cooprider, Will Archer, and Eric Eide. Technical Report number UUCS-06-007, School of Computing, University of Utah, June 2006.
cXprop: Postpass optimization for TinyOS applications. Nathan Cooprider and John Regehr. Poster in TinyOS Technology Exchange (TTX), Stanford, California, February 2006.
A Static Analysis Framework for Embedded Systems. Nathan Cooprider and John Regehr. Presentation in Utah Regional Verification Workshop (URVW), Provo, Utah, May 2005.