Andrew Baumann

Affiliations:

Google
Microsoft Research, Redmond, WA, USA (former)
ETZ Zurich, Switzerland (former)
National ICT Australia (NICTA), Sydney, NSW, Australia (former)
University of New South Wales, Sydney, NSW, Australia (PhD)

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

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud.

[BibT_eX]

[DOI]

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

2020

Autarky: closing controlled channels with self-paging enclaves.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

A fork() in the road.

[BibT_eX]

[DOI]

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

2017

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

[BibT_eX]

[DOI]

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

Hardware is the new Software.

[BibT_eX]

[DOI]

Andrew Baumann

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

2015

Shielding Applications from an Untrusted Cloud with Haven.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2014

Cosh: Clear OS Data Sharing In An Incoherent World.

[BibT_eX]

[DOI]

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

2013

Composing OS extensions safely and efficiently with Bascule.

[BibT_eX]

[DOI]

Proceedings of the Eighth Eurosys Conference 2013, 2013

2012

A Declarative Language Approach to Device Configuration.

[BibT_eX]

[DOI]

ACM Trans. Comput. Syst., 2012

2011

Mind the Gap: Reconnecting Architecture and OS Research.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Pierre-Évariste Dagand

Andrew Baumann

Timothy Roscoe

ACM SIGOPS Oper. Syst. Rev., 2009

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

[BibT_eX]

[DOI]

Andrew Baumann

Paul Barham

Pierre-Évariste Dagand

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

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

[BibT_eX]

[DOI]

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?

[BibT_eX]

[DOI]

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

2008

The ETH Zurich systems group and enterprise computing center.

[BibT_eX]

[DOI]

SIGMOD Rec., 2008

Dependable Self-Hosting Distributed Systems Using Constraints.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2007

Dynamic update for operating systems.

[BibT_eX]

[DOI]

Andrew Baumann

PhD thesis, 2007

Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly.

[BibT_eX]

[DOI]

Proceedings of the 2007 USENIX Annual Technical Conference, 2007

2006

K42: an infrastructure for operating system research.

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2006

2005

Providing Dynamic Update in an Operating System.

[BibT_eX]

[DOI]

Proceedings of the 2005 USENIX Annual Technical Conference, 2005

Andrew Baumann

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...