Harvey Tuch
发表
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2009,
SOSP '09.
Harvey Tuch,
2009,
Journal of Automated Reasoning.
Gerwin Klein,
Harvey Tuch,
2004
.
Gerwin Klein,
Harvey Tuch,
Gerwin Klein,
2005,
LPAR.
Gerwin Klein,
Harvey Tuch,
2004
.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2010,
Commun. ACM.
Gernot Heiser,
Harvey Tuch,
Volkmar Uhlig,
2003,
Asia-Pacific Computer Systems Architecture Conference.
Harvey Tuch,
Viktor Gyuris,
Kenneth C. Barr,
2010,
OPSR.
Gernot Heiser,
Gerwin Klein,
Harvey Tuch,
2005,
HotOS.
Bi Wu,
Harvey Tuch,
Kenneth C. Barr,
2012,
VEE '12.
Gernot Heiser,
Harvey Tuch,
Simon Winwood,
2003,
Asia-Pacific Computer Systems Architecture Conference.
Harvey Tuch,
2008,
Electron. Notes Theor. Comput. Sci..
Harvey Tuch,
2002
.
Harvey Tuch,
Harvey Tuch,
2008
.
Michael Norrish,
Gerwin Klein,
Harvey Tuch,
2007,
POPL '07.