Deconstructing process isolation. - Mark Aiken; Manuel Fähndrich; Chris Hawblitzel; Galen C. Hunt; James R. Larus (Memory System Performance and Correctness, 2006)

Language support for fast and reliable message-based communication in singularity OS. - Manuel Fähndrich; Mark Aiken; Chris Hawblitzel; Orion Hodson; Galen C. Hunt; James R. Larus; Steven Levi (EuroSys, 2006)

Sealing OS processes to improve dependability and safety. - Galen C. Hunt; Mark Aiken; Manuel Fähndrich; Chris Hawblitzel; Orion Hodson; James R. Larus; Steven Levi; Bjarne Steensgaard; David Tarditi; Ted Wobber (EuroSys, 2007)