 | 2009 |
|---|
| 7 |       | Gerwin Klein,
Kevin Elphinstone,
Gernot Heiser,
June Andronick,
David Cock,
Philip Derrin,
Dhammika Elkaduwe,
Kai Engelhardt,
Rafal Kolanski,
Michael Norrish,
Thomas Sewell,
Harvey Tuch,
Simon Winwood:
seL4: formal verification of an OS kernel.
SOSP 2009: 207-220 |
| 6 | | Harvey Tuch:
Formal Verification of C Systems Code.
J. Autom. Reasoning 42(2-4): 125-187 (2009) |
| 2008 |
|---|
| 5 | | Harvey Tuch:
Structured Types and Separation Logic.
Electr. Notes Theor. Comput. Sci. 217: 41-59 (2008) |
| 2007 |
|---|
| 4 | | Harvey Tuch,
Gerwin Klein,
Michael Norrish:
Types, bytes, and separation logic.
POPL 2007: 97-108 |
| 2005 |
|---|
| 3 | | Harvey Tuch,
Gerwin Klein:
A Unified Memory Model for Pointers.
LPAR 2005: 474-488 |
| 2003 |
|---|
| 2 | | 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 | | 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 |
