Nathan Cooprider (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

7 Xuejun Yang, Nathan Cooprider, John Regehr: Eliminating the call stack to save RAM. LCTES 2009: 60-69

6 Nathan Cooprider, John Regehr: Offline compression for on-chip ram. PLDI 2007: 363-372

5 Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr: Efficient memory safety for TinyOS. SenSys 2007: 205-218

4 John Regehr, Nathan Cooprider: Interrupt Verification via Thread Verification. Electr. Notes Theor. Comput. Sci. 174(9): 139-150 (2007)

3 Nathan Cooprider, John Regehr: Pluggable abstract domains for analyzing embedded software. LCTES 2006: 44-53

2 John Regehr, Nathan Cooprider, David Gay: Atomicity and visibility in tiny embedded systems. PLOS 2006: 2

1 John Regehr, Nathan Cooprider, Will Archer, Eric Eide: Efficient type and memory safety for tiny embedded systems. PLOS 2006: 6

Selection of 7 from 7 records - Nathan Cooprider has 5 coauthors

7		Xuejun Yang, Nathan Cooprider, John Regehr: Eliminating the call stack to save RAM. LCTES 2009: 60-69
6		Nathan Cooprider, John Regehr: Offline compression for on-chip ram. PLDI 2007: 363-372
5		Nathan Cooprider, Will Archer, Eric Eide, David Gay, John Regehr: Efficient memory safety for TinyOS. SenSys 2007: 205-218
4		John Regehr, Nathan Cooprider: Interrupt Verification via Thread Verification. Electr. Notes Theor. Comput. Sci. 174(9): 139-150 (2007)
3		Nathan Cooprider, John Regehr: Pluggable abstract domains for analyzing embedded software. LCTES 2006: 44-53
2		John Regehr, Nathan Cooprider, David Gay: Atomicity and visibility in tiny embedded systems. PLOS 2006: 2
1		John Regehr, Nathan Cooprider, Will Archer, Eric Eide: Efficient type and memory safety for tiny embedded systems. PLOS 2006: 6