Andrew Baumann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
21
Venues
8
Active years
2005–2024
Best venue rank
A*
Where they publish
Papers
21 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ASPLOS | Sharing is leaking: blocking transient-execution attacks with core-gapped confidential VMs. | Charly Castes, Andrew Baumann |
| 2023 | OSDI | 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 |
| 2020 | EuroSys | Autarky: closing controlled channels with self-paging enclaves. | Meni Orenbach, Andrew Baumann, Mark Silberstein |
| 2019 | HotOS | A fork() in the road. | Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe |
| 2019 | SOSP | Scaling symbolic evaluation for automated verification of systems code with Serval. | Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang |
| 2017 | HotOS | Hardware is the new Software. | Andrew Baumann |
| 2017 | SOSP | Komodo: Using verification to disentangle secure-enclave hardware from software. | Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno |
| 2015 | NSDI | 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 |
| 2014 | OSDI | Cosh: Clear OS Data Sharing In An Incoherent World. | Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe |
| 2014 | OSDI | Shielding Applications from an Untrusted Cloud with Haven. | Andrew Baumann, Marcus Peinado, Galen C. Hunt |
| 2013 | EuroSys | 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 |
| 2011 | ASPLOS | A declarative language approach to device configuration. | Adrian Schpbach, Andrew Baumann, Timothy Roscoe, Simon Peter |
| 2011 | HotOS | Mind the Gap: Reconnecting Architecture and OS Research. | Jeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares |
| 2009 | HotOS | Your computer is already a distributed system. Why isn't your OS? | Andrew Baumann, Simon Peter, Adrian Schpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, Rebecca Isaacs |
| 2009 | Middleware | Rhizoma: A Runtime for Self-deploying, Self-managing Overlays. | Qin Yin, Adrian Schpbach, Justin Cappos, Andrew Baumann, Timothy Roscoe |
| 2009 | SOSP | 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 Schpbach, Akhilesh Singhania |
| 2009 | SOSP | Filet-o-Fish: practical and dependable domain-specific languages for OS development. | Pierre-variste Dagand, Andrew Baumann, Timothy Roscoe |
| 2008 | EuroSys | 30 seconds is not enough!: a study of operating system timer usage. | Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs |
| 2007 | USENIX | 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 |
| 2005 | USENIX | Providing Dynamic Update in an Operating System. | Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr |
| 2005 | SOSP | Improving dynamic update for operating systems. | Andrew Baumann, Jonathan Appavoo |