Andrew Baumann

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 6

Top Topics

Virtual Machine

Hardware Platforms

Automated Verification

Top Venues

Publications

Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud. OSDI (2023)
Meni Orenbach, Andrew Baumann, Mark Silberstein
Autarky: closing controlled channels with self-paging enclaves. EuroSys (2020)
Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang
Scaling symbolic evaluation for automated verification of systems code with Serval. SOSP (2019)
Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe
A fork() in the road. HotOS (2019)
Andrew Baumann
Hardware is the new Software. HotOS (2017)
Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno
Komodo: Using verification to disentangle secure-enclave hardware from software. SOSP (2017)
Andrew Baumann, Marcus Peinado, Galen C. Hunt
Shielding Applications from an Untrusted Cloud with Haven. ACM Trans. Comput. Syst. 33 (3) (2015)
Jacob R. Lorch, Andrew Baumann, Lisa Glendenning, Dutch T. Meyer, Andrew Warfield
Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services. NSDI (2015)
Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe
Cosh: Clear OS Data Sharing In An Incoherent World. TRIOS (2014)
Andrew Baumann, Marcus Peinado, Galen C. Hunt
Shielding Applications from an Untrusted Cloud with Haven. OSDI (2014)
Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt
Composing OS extensions safely and efficiently with Bascule. EuroSys (2013)
Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter
A Declarative Language Approach to Device Configuration. ACM Trans. Comput. Syst. 30 (1) (2012)
Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter
A declarative language approach to device configuration. ASPLOS (2011)
Jeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares
Mind the Gap: Reconnecting Architecture and OS Research. HotOS (2011)
Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania
The multikernel: a new OS architecture for scalable multicore systems. SOSP (2009)
Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe
Filet-o-Fish: practical and dependable domain-specific languages for OS development. PLOS@SOSP (2009)
Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe
Filet-o-fish: practical and dependable domain-specific languages for OS development. ACM SIGOPS Oper. Syst. Rev. 43 (4) (2009)
Qin Yin, Adrian Schüpbach, Justin Cappos, Andrew Baumann, Timothy Roscoe
Rhizoma: A Runtime for Self-deploying, Self-managing Overlays. Middleware (2009)
Andrew Baumann, Simon Peter, Adrian Schüpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, Rebecca Isaacs
Your computer is already a distributed system. Why isn't your OS? HotOS (2009)
Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs
30 seconds is not enough!: a study of operating system timer usage. EuroSys (2008)
Gustavo Alonso, Donald Kossmann, Timothy Roscoe, Nesime Tatbul, Andrew Baumann, Carsten Binnig, Peter M. Fischer, Oriana Riva, Jens Teubner
The ETH Zurich systems group and enterprise computing center. SIGMOD Rec. 37 (4) (2008)
Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe
Dependable Self-Hosting Distributed Systems Using Constraints. HotDep (2008)
Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. USENIX Annual Technical Conference (2007)
Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Amos Waterland, David K. Tam, Andrew Baumann
K42: an infrastructure for operating system research. ACM SIGOPS Oper. Syst. Rev. 40 (2) (2006)
Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr
Providing Dynamic Update in an Operating System. USENIX Annual Technical Conference, General Track (2005)