Statistics
Publications
11
Citations
2.4K
H-Index
11
Active since
2004
Affiliations
Data61(Current)
Harvey Tuch is an author at Data61 specializing in computer science, computing, and formal methods.
Publications per year
2004–2010
11
11
Gerwin Klein, Kevin Elphinstone, Gernot Heiser et al. · 2009 · 1.6K citations
Gerwin Klein, June Andronick, Kevin Elphinstone et al. · Communications of the ACM · 2010 · 300 citations
Types, bytes, and separation logic
Harvey Tuch, Gerwin Klein, Michael Norrish · ACM SIGPLAN Notices · 2007 · 139 citations
The VMware mobile virtualization platform
Prashanth Bungale, Stephen Deasy, Viktor Gyuris et al. · ACM SIGOPS Operating Systems Review · 2010 · 134 citations
Types, bytes, and separation logic
Harvey Tuch, Gerwin Klein, Michael Norrish · 2007 · 96 citations
1–5 of 11