Andrew Baumann

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