| 2008 |
|---|
| 5 | EE | Harvey Tuch:
Structured Types and Separation Logic.
Electr. Notes Theor. Comput. Sci. 217: 41-59 (2008) |
| 2007 |
|---|
| 4 | EE | Harvey Tuch,
Gerwin Klein,
Michael Norrish:
Types, bytes, and separation logic.
POPL 2007: 97-108 |
| 2005 |
|---|
| 3 | EE | Harvey Tuch,
Gerwin Klein:
A Unified Memory Model for Pointers.
LPAR 2005: 474-488 |
| 2003 |
|---|
| 2 | EE | Adam Wiggins,
Simon Winwood,
Harvey Tuch,
Gernot Heiser:
Legba: Fast Hardware Support for Fine-Grained Protection.
Asia-Pacific Computer Systems Architecture Conference 2003: 320-336 |
| 1 | EE | Adam Wiggins,
Harvey Tuch,
Volkmar Uhlig,
Gernot Heiser:
Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor.
Asia-Pacific Computer Systems Architecture Conference 2003: 352-364 |
