Harvey Tuch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2005–2012
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | VEE | Block storage virtualization with commodity secure digital cards. | Harvey Tuch, Cyprien Laplace, Kenneth C. Barr, Bi Wu |
| 2009 | SOSP | seL4: formal verification of an OS kernel. | Gerwin Klein, Kevin Elphinstone, Gernot Heiser, June Andronick, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood |
| 2007 | POPL | Types, bytes, and separation logic. | Harvey Tuch, Gerwin Klein, Michael Norrish |
| 2005 | HotOS | OS Verification - Now! | Harvey Tuch, Gerwin Klein, Gernot Heiser |
| 2005 | LPAR | A Unified Memory Model for Pointers. | Harvey Tuch, Gerwin Klein |