Follow
Nathan Cooprider
Nathan Cooprider
STR
Verified email at yankeehacker.com - Homepage
Title
Cited by
Cited by
Year
Efficient memory safety for TinyOS
N Cooprider, W Archer, E Eide, D Gay, J Regehr
Proceedings of the 5th international conference on Embedded networked sensor …, 2007
1652007
Interrupt verification via thread verification
J Regehr, N Cooprider
Electronic Notes in Theoretical Computer Science 174 (9), 139-150, 2007
712007
Efficient multiple hypothesis tracking by track segment graph
CY Chong, G Castanon, N Cooprider, S Mori, R Ravichandran, R Macior
2009 12th International Conference on Information Fusion, 2177-2184, 2009
502009
Memory safety and untrusted extensions for tinyos
J Regehr, N Cooprider, W Archer, E Eide
In submission, 2006
322006
Pluggable abstract domains for analyzing embedded software
N Cooprider, J Regehr
Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers …, 2006
282006
Eliminating the call stack to save RAM
X Yang, N Cooprider, J Regehr
Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages …, 2009
212009
Efficient type and memory safety for tiny embedded systems
J Regehr, N Cooprider, W Archer, E Eide
Proceedings of the 3rd workshop on Programming languages and operating …, 2006
162006
Extension of star coordinates into three dimensions
ND Cooprider, RP Burton
Visualization and Data Analysis 2007 6495, 256-265, 2007
132007
Offline compression for on-chip RAM
ND Cooprider, JD Regehr
Proceedings of the 28th ACM SIGPLAN Conference on Programming Language …, 2007
122007
Data-flow analysis for interrupt-driven microcontroller software
N Cooprider
School of Computing, University of Utah, 2008
72008
Atomicity and visibility in tiny embedded systems
J Regehr, N Cooprider, D Gay
Proceedings of the 3rd workshop on Programming languages and operating …, 2006
32006
Using sequencing to trigger a better analysis
N Cooprider, J Regehr
ACM SIGBED Review 5 (1), 1-2, 2008
2008
Compiling for Resource-Constrained Platforms using ASSHes: Application-and System-Specific Heuristics
A Reid, N Cooprider, J Regehr
2004
Optimizing Interrupt-Driven Embedded Software
N COOPRIDER, J REGEHR
Dependable Sensor Network Applications Through Language Safety
J Regehr, N Cooprider, W Archer, E Eide
The system can't perform the operation now. Try again later.
Articles 1–15