Harvey Tuch

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 1

Top Venues

VEE

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

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
AutoCorres2. Arch. Formal Proofs 2024 (2024)
Harvey Tuch, Cyprien Laplace, Kenneth C. Barr, Bi Wu
Block storage virtualization with commodity secure digital cards. VEE (2012)
Kenneth C. Barr, Prashanth P. Bungale, Stephen Deasy, Viktor Gyuris, Perry Hung, Craig Newell, Harvey Tuch, Bruno Zoppis
The VMware mobile virtualization platform: is that a hypervisor in your pocket? ACM SIGOPS Oper. Syst. Rev. 44 (4) (2010)
Gerwin Klein, June Andronick, Kevin Elphinstone, Gernot Heiser, David Cock, Philip Derrin, Dhammika Elkaduwe, Kai Engelhardt, Rafal Kolanski, Michael Norrish, Thomas Sewell, Harvey Tuch, Simon Winwood
seL4: formal verification of an operating-system kernel. Commun. ACM 53 (6) (2010)
Harvey Tuch
Formal Verification of C Systems Code. J. Autom. Reason. 42 (2-4) (2009)
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)
Harvey Tuch
Structured Types and Separation Logic. Electron. Notes Theor. Comput. Sci. 217 (2008)
Harvey Tuch, Gerwin Klein, Michael Norrish
Types, bytes, and separation logic. POPL (2007)
Harvey Tuch, Gerwin Klein, Gernot Heiser
OS Verification - Now! HotOS (2005)
Harvey Tuch, Gerwin Klein
A Unified Memory Model for Pointers. LPAR (2005)
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)
Adam Wiggins, Simon Winwood, Harvey Tuch, Gernot Heiser
Legba: Fast Hardware Support for Fine-Grained Protection. Asia-Pacific Computer Systems Architecture Conference (2003)

Harvey Tuch.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Venues

Harvey Tuch