Improving dynamic update for operating systems. - Andrew Baumann; Jonathan Appavoo (SOSP, 2005)

Providing Dynamic Update in an Operating System. - Andrew Baumann; Gernot Heiser; Jonathan Appavoo; Dilma Da Silva; Orran Krieger; Robert W. Wisniewski; Jeremy Kerr (USENIX ATC, General Track, 2005)

K42: an infrastructure for operating system research. - Dilma Da Silva; Orran Krieger; Robert W. Wisniewski; Amos Waterland; David K. Tam; Andrew Baumann (ACM SIGOPS Oper. Syst. Rev., 2006)

Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. - Andrew Baumann; Jonathan Appavoo; Robert W. Wisniewski; Dilma Da Silva; Orran Krieger; Gernot Heiser (USENIX ATC, 2007)

Dynamic update for operating systems. - Andrew Baumann (2007)

30 seconds is not enough!: a study of operating system timer usage. - Simon Peter 001; Andrew Baumann; Timothy Roscoe; Paul Barham 001; Rebecca Isaacs (EuroSys, 2008)

Dependable Self-Hosting Distributed Systems Using Constraints. - Qin Yin; Justin Cappos; Andrew Baumann; Timothy Roscoe (HotDep, 2008)

The ETH Zurich systems group and enterprise computing center. - Gustavo Alonso; Donald Kossmann; Timothy Roscoe; Nesime Tatbul; Andrew Baumann; Carsten Binnig; Peter M. Fischer 001; Oriana Riva; Jens Teubner (SIGMOD Rec., 2008)

Your computer is already a distributed system. Why isn't your OS? - Andrew Baumann; Simon Peter 001; Adrian Schüpbach; Akhilesh Singhania; Timothy Roscoe; Paul Barham 001; Rebecca Isaacs (HotOS, 2009)

Rhizoma: A Runtime for Self-deploying, Self-managing Overlays. - Qin Yin; Adrian Schüpbach; Justin Cappos; Andrew Baumann; Timothy Roscoe (Middleware, 2009)

The multikernel: a new OS architecture for scalable multicore systems. - Andrew Baumann; Paul Barham 001; Pierre-Évariste Dagand; Tim Harris 001; Rebecca Isaacs; Simon Peter 001; Timothy Roscoe; Adrian Schüpbach; Akhilesh Singhania (SOSP, 2009)

Filet-o-fish: practical and dependable domain-specific languages for OS development. - Pierre-Évariste Dagand; Andrew Baumann; Timothy Roscoe (ACM SIGOPS Oper. Syst. Rev., 2009)

Mind the Gap: Reconnecting Architecture and OS Research. - Jeffrey C. Mogul; Andrew Baumann; Timothy Roscoe; Livio Soares (HotOS, 2011)

A Declarative Language Approach to Device Configuration. - Adrian Schüpbach; Andrew Baumann; Timothy Roscoe; Simon Peter 001 (ACM Trans. Comput. Syst., 2012)

Composing OS extensions safely and efficiently with Bascule. - Andrew Baumann; Dongyoon Lee; Pedro Fonseca 001; Lisa Glendenning; Jacob R. Lorch; Barry Bond; Reuben Olinsky; Galen C. Hunt (EuroSys, 2013)

Cosh: Clear OS Data Sharing In An Incoherent World. - Andrew Baumann; Chris Hawblitzel; Kornilios Kourtis; Tim Harris 001; Timothy Roscoe (TRIOS, 2014)

Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services. - Jacob R. Lorch; Andrew Baumann; Lisa Glendenning; Dutch T. Meyer; Andrew Warfield (NSDI, 2015)

Shielding Applications from an Untrusted Cloud with Haven. - Andrew Baumann; Marcus Peinado; Galen C. Hunt (ACM Trans. Comput. Syst., 2015)

Hardware is the new Software. - Andrew Baumann (HotOS, 2017)

Komodo: Using verification to disentangle secure-enclave hardware from software. - Andrew Ferraiuolo; Andrew Baumann; Chris Hawblitzel; Bryan Parno (SOSP, 2017)

A fork() in the road. - Andrew Baumann; Jonathan Appavoo; Orran Krieger; Timothy Roscoe (HotOS, 2019)

Scaling symbolic evaluation for automated verification of systems code with Serval. - Luke Nelson; James Bornholt; Ronghui Gu; Andrew Baumann; Emina Torlak; Xi Wang 005 (SOSP, 2019)

Autarky: closing controlled channels with self-paging enclaves. - Meni Orenbach; Andrew Baumann; Mark Silberstein (EuroSys, 2020)

Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud. - Ziqiao Zhou; Yizhou Shan; Weidong Cui; Xinyang Ge; Marcus Peinado; Andrew Baumann (OSDI, 2023)

Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs. - Charly Castes; Andrew Baumann (ASPLOS (4), 2024)