Harvey Tuch

13 papers A* 2A 1B 2Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
AutoCorres2.
Arch. Formal Proofs
Matthew Brecknell, David Greenaway, Johannes Hölzl, Fabian Immler, Gerwin Klein, Rafal Kolanski, Japheth Lim, Michael Norrish, Norbert Schirmer, Salomon Sickert, Thomas Sewell, Harvey Tuch, Simon Wimmer
2012 B conf
Block storage virtualization with commodity secure digital cards.
VEE
Harvey Tuch, Cyprien Laplace, Kenneth C. Barr, Bi Wu
2010 J jnl
The VMware mobile virtualization platform: is that a hypervisor in your pocket?
ACM SIGOPS Oper. Syst. Rev.
Kenneth C. Barr, Prashanth P. Bungale, Stephen Deasy, Viktor Gyuris, Perry Hung, Craig Newell, Harvey Tuch, Bruno Zoppis
2010 J jnl
seL4: formal verification of an operating-system kernel.
Commun. ACM
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David A. Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
2009 J jnl
Formal Verification of C Systems Code.
J. Autom. Reason.
Harvey Tuch
2009 A* conf
seL4: formal verification of an OS kernel.
SOSP
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
2008 — —
Formal memory models for verifying C systems code.
Harvey Tuch
2008 — conf
Structured Types and Separation Logic.
SSV
Harvey Tuch
2007 A* conf
Types, bytes, and separation logic.
POPL
Harvey Tuch, Gerwin Klein, Michael Norrish
2005 B conf
A Unified Memory Model for Pointers.
LPAR
Harvey Tuch, Gerwin Klein
2005 A conf
OS Verification - Now!
HotOS
Harvey Tuch, Gerwin Klein, Gernot Heiser
2003 — conf
Implementation of Fast Address-Space Switching and TLB Sharing on the StrongARM Processor.
Asia-Pacific Computer Systems Architecture Conference
Adam Wiggins, Harvey Tuch, Volkmar Uhlig, Gernot Heiser
2003 — conf
Legba: Fast Hardware Support for Fine-Grained Protection.
Asia-Pacific Computer Systems Architecture Conference
Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser