 | 2009 |
|---|
| 7 |       | Xuejun Yang,
Nathan Cooprider,
John Regehr:
Eliminating the call stack to save RAM.
LCTES 2009: 60-69 |
| 2007 |
|---|
| 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) |
| 2006 |
|---|
| 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 |
