Andrew Baumann - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Andrew Baumann' as author, editor, or advisor:

The DLR-Crawler: A testbed for actively compliant hexapod walking based on the fingers of DLR-Hand IIMartin Görner, Thomas Wimböck, A. Baumann, Matthias Fuchs, Thomas Bahls, Markus Grebenstein, Christoph Borst, Jörg Butterfaß, Gerd Hirzinger. iros 2008: 1525-1531 [doi]
K42: an infrastructure for operating system researchDilma Da Silva, Orran Krieger, Robert W. Wisniewski, Amos Waterland, David Tam, Andrew Baumann. sigops, 40(2):34-42, 2006. [doi]
30 seconds is not enough!: a study of operating system timer usageSimon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs. eurosys 2008: 205-218 [doi]
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloudZiqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann. osdi 2023: 247-267 [doi]
Komodo: Using verification to disentangle secure-enclave hardware from softwareAndrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno. sosp 2017: 287-305 [doi]
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023Malte Schwarzkopf, Andrew Baumann, Natacha Crooks, editors, ACM, 2023. [doi]
Dependable Self-Hosting Distributed Systems Using ConstraintsQin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe. hotdep 2008: [doi]
Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant ServicesJacob R. Lorch, Andrew Baumann, Lisa Glendenning, Dutch T. Meyer, Andrew Warfield. NSDI 2015: 575-588 [doi]
Filet-o-fish: practical and dependable domain-specific languages for OS developmentPierre-Ã‰variste Dagand, Andrew Baumann, Timothy Roscoe. sigops, 43(4):35-39, 2009. [doi]
The multikernel: a new OS architecture for scalable multicore systemsAndrew Baumann, Paul Barham, Pierre-Ã‰variste Dagand, Timothy L. Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian SchÃ¼pbach, Akhilesh Singhania. sosp 2009: 29-44 [doi]
A Declarative Language Approach to Device ConfigurationAdrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter. tocs, 30(1):5, 2012. [doi]
Rhizoma: A Runtime for Self-deploying, Self-managing OverlaysQin Yin, Adrian SchÃ¼pbach, Justin Cappos, Andrew Baumann, Timothy Roscoe. middleware 2009: 184-204 [doi]
Filet-o-Fish: practical and dependable domain-specific languages for OS developmentPierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe. sosp 2009: [doi]
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the FlyAndrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser. usenix 2007: 337-350 [doi]
Mind the Gap: Reconnecting Architecture and OS ResearchJeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares. hotos 2011: [doi]
Scaling symbolic evaluation for automated verification of systems code with ServalLuke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang. sosp 2019: 225-242 [doi]
Shielding Applications from an Untrusted Cloud with HavenAndrew Baumann, Marcus Peinado, Galen C. Hunt. tocs, 33(3):8, 2015. [doi]
Autarky: closing controlled channels with self-paging enclavesMeni Orenbach, Andrew Baumann, Mark Silberstein. eurosys 2020: [doi]
Cosh: Clear OS Data Sharing In An Incoherent WorldAndrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe. osdi 2014: [doi]
Providing Dynamic Update in an Operating SystemAndrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr. usenix 2005: 279-291 [doi]
Composing OS extensions safely and efficiently with BasculeAndrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt. eurosys 2013: 239-252 [doi]
A declarative language approach to device configurationAdrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter. asplos 2011: 119-132 [doi]
VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, virtual event [Lausanne, Switzerland], March 17, 2020Santosh Nagarakatte, Andrew Baumann, Baris Kasikci, editors, ACM, 2020. [doi]
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. hotos 2009: [doi]
A fork() in the roadAndrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe. hotos 2019: 14-22 [doi]
Shielding Applications from an Untrusted Cloud with HavenAndrew Baumann, Marcus Peinado, Galen C. Hunt. osdi 2014: 267-283 [doi]
Hardware is the new SoftwareAndrew Baumann. hotos 2017: 132-137 [doi]

runs on WebDSL