Harvey Tuch
发表
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2009,
SOSP '09.
Harvey Tuch,
2009
.
Gerwin Klein,
Harvey Tuch,
Gerwin Klein,
2005,
LPAR.
Harvey Tuch,
Viktor Gyuris,
Kenneth C. Barr,
2010,
OPSR.
Michael Norrish,
Gernot Heiser,
Kevin Elphinstone,
2010,
Commun. ACM.
Gernot Heiser,
Harvey Tuch,
Volkmar Uhlig,
2003,
Asia-Pacific Computer Systems Architecture Conference.
Harvey Tuch,
Harvey Tuch,
2008
.
Michael Norrish,
Gerwin Klein,
Harvey Tuch,
2007,
POPL '07.
Kai Engelhardt,
Michael Norrish,
Gerwin Klein,
2010,
Communications of the ACM.
Michael Norrish,
Gerwin Klein,
June Andronick,
2009
.