Andrew Baumann

According to our database, Andrew Baumann authored at least 22 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the 17th USENIX Symposium on Operating Systems Design and Implementation, 2023

2020

Autarky: closing controlled channels with self-paging enclaves.

Meni Orenbach, Andrew Baumann, Mark Silberstein

Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020

2019

Scaling symbolic evaluation for automated verification of systems code with Serval.

Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang

Proceedings of the 27th ACM Symposium on Operating Systems Principles, 2019

A fork() in the road.

Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe

Proceedings of the Workshop on Hot Topics in Operating Systems, 2019

2017

Komodo: Using verification to disentangle secure-enclave hardware from software.

Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno

Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Hardware is the new Software.

Andrew Baumann

Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 2017

2015

Shielding Applications from an Untrusted Cloud with Haven.

Andrew Baumann, Marcus Peinado, Galen C. Hunt

ACM Trans. Comput. Syst., 2015

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

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

Cosh: Clear OS Data Sharing In An Incoherent World.

Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe

Proceedings of the 2014 Conference on Timely Results in Operating Systems, 2014

2013

Composing OS extensions safely and efficiently with Bascule.

Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt

Proceedings of the Eighth Eurosys Conference 2013, 2013

2012

A Declarative Language Approach to Device Configuration.

Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter

ACM Trans. Comput. Syst., 2012

2011

Mind the Gap: Reconnecting Architecture and OS Research.

Jeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares

Proceedings of the 13th Workshop on Hot Topics in Operating Systems, 2011

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

The multikernel: a new OS architecture for scalable multicore systems.

Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Rhizoma: A Runtime for Self-deploying, Self-managing Overlays.

Qin Yin, Adrian Schüpbach, Justin Cappos, Andrew Baumann, Timothy Roscoe

Proceedings of the Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30, 2009

Your computer is already a distributed system. Why isn't your OS?

Andrew Baumann, Simon Peter, Adrian Schüpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, Rebecca Isaacs

Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating Systems, 2009

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, Oriana Riva, Jens Teubner

SIGMOD Rec., 2008

Dependable Self-Hosting Distributed Systems Using Constraints.

Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe

Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

30 seconds is not enough!: a study of operating system timer usage.

Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs

Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

2007

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

Proceedings of the 2007 USENIX Annual Technical Conference, 2007

2006

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

2005

Providing Dynamic Update in an Operating System.

Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr

Proceedings of the 2005 USENIX Annual Technical Conference, 2005