HuntGalen

The Singularity system

LarusJames, HuntGalen, 2010 .

Shared memory computing on clusters with symmetric multiprocessors and system area networks

L ScottMichael, HuntGalen, KontothanassisLeonidas, 2005 .

Shielding Applications from an Untrusted Cloud with Haven

HuntGalen, BaumannAndrew, PeinadoMarcus, 2015 .

Sealing OS processes to improve dependability and safety

TarditiDavid, WobberTed, LarusJames, 2007 .

Debugging in the (very) large

HuntGalen, KinshumannKinshuman, GlerumKirk, 2011 .

Language support for fast and reliable message-based communication in singularity OS

R LarusJames, HuntGalen, FähndrichManuel, 2006 .

VM-based shared memory on low-latency, remote-memory-access networks

ParthasarathySrinivasan, HuntGalen, HardavellasNikolaos, 1997 .