dblp.uni-trier.dewww.uni-trier.de

Nathan Cooprider Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Will Archer [1] [5]
2Eric Eide (Eric Norman Eide) [1] [5]
3David Gay [2] [5]
4John Regehr [1] [2] [3] [4] [5] [6] [7]
5Xuejun Yang [7]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)