Travelled to:
1 × Canada
1 × Ireland
1 × USA
Collaborated with:
J.Regehr X.Yang
Talks about:
ram (2) pluggabl (1) compress (1) abstract (1) softwar (1) offlin (1) elimin (1) domain (1) analyz (1) stack (1)
Person: Nathan Cooprider
DBLP: Cooprider:Nathan
Contributed to:
Wrote 3 papers:
- LCTES-2009-YangCR #ram #stack
- Eliminating the call stack to save RAM (XY, NC, JR), pp. 60–69.
- PLDI-2007-CoopriderR #ram
- Offline compression for on-chip ram (NC, JR), pp. 363–372.
- LCTES-2006-CoopriderR #abstract domain #embedded
- Pluggable abstract domains for analyzing embedded software (NC, JR), pp. 44–53.