default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrew Baumann
2020 – today
- 2023
[c21]Ziqiao Zhou, Yizhou Shan, Weidong Cui, Xinyang Ge, Marcus Peinado, Andrew Baumann:
Core slicing: closing the gap between leaky confidential VMs and bare-metal cloud. OSDI 2023: 247-267- [e2]Malte Schwarzkopf, Andrew Baumann, Natacha Crooks:
Proceedings of the 19th Workshop on Hot Topics in Operating Systems, HOTOS 2023, Providence, RI, USA, June 22-24, 2023. ACM 2023 [contents] - 2020
- [c20]Meni Orenbach, Andrew Baumann, Mark Silberstein:
Autarky: closing controlled channels with self-paging enclaves. EuroSys 2020: 7:1-7:16 - [e1]Santosh Nagarakatte, Andrew Baumann, Baris Kasikci:
VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, virtual event [Lausanne, Switzerland], March 17, 2020. ACM 2020, ISBN 978-1-4503-7554-2 [contents]
2010 – 2019
- 2019
- [c19]Andrew Baumann, Jonathan Appavoo, Orran Krieger, Timothy Roscoe:
A fork() in the road. HotOS 2019: 14-22 - [c18]Luke Nelson, James Bornholt, Ronghui Gu, Andrew Baumann, Emina Torlak, Xi Wang:
Scaling symbolic evaluation for automated verification of systems code with Serval. SOSP 2019: 225-242 - 2017
- [c17]Andrew Baumann:
Hardware is the new Software. HotOS 2017: 132-137 - [c16]Andrew Ferraiuolo, Andrew Baumann, Chris Hawblitzel, Bryan Parno:
Komodo: Using verification to disentangle secure-enclave hardware from software. SOSP 2017: 287-305 - 2015
- [j5]Andrew Baumann, Marcus Peinado, Galen C. Hunt:
Shielding Applications from an Untrusted Cloud with Haven. ACM Trans. Comput. Syst. 33(3): 8:1-8:26 (2015) - [c15]Jacob R. Lorch, Andrew Baumann, Lisa Glendenning, Dutch T. Meyer, Andrew Warfield:
Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct Fault-Tolerant Services. NSDI 2015: 575-588 - 2014
- [c14]Andrew Baumann, Chris Hawblitzel, Kornilios Kourtis, Tim Harris, Timothy Roscoe:
Cosh: Clear OS Data Sharing In An Incoherent World. TRIOS 2014 - [c13]Andrew Baumann, Marcus Peinado, Galen C. Hunt:
Shielding Applications from an Untrusted Cloud with Haven. OSDI 2014: 267-283 - 2013
- [c12]Andrew Baumann, Dongyoon Lee
, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, Galen C. Hunt:
Composing OS extensions safely and efficiently with Bascule. EuroSys 2013: 239-252 - 2012
- [j4]Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter:
A Declarative Language Approach to Device Configuration. ACM Trans. Comput. Syst. 30(1): 5:1-5:35 (2012) - 2011
- [c11]Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, Simon Peter:
A declarative language approach to device configuration. ASPLOS 2011: 119-132 - [c10]Jeffrey C. Mogul, Andrew Baumann, Timothy Roscoe, Livio Soares:
Mind the Gap: Reconnecting Architecture and OS Research. HotOS 2011
2000 – 2009
- 2009
- [j3]Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe:
Filet-o-fish: practical and dependable domain-specific languages for OS development. ACM SIGOPS Oper. Syst. Rev. 43(4): 35-39 (2009) - [c9]Andrew Baumann, Simon Peter, Adrian Schüpbach, Akhilesh Singhania, Timothy Roscoe, Paul Barham, Rebecca Isaacs:
Your computer is already a distributed system. Why isn't your OS? HotOS 2009 - [c8]Qin Yin, Adrian Schüpbach, Justin Cappos, Andrew Baumann, Timothy Roscoe:
Rhizoma: A Runtime for Self-deploying, Self-managing Overlays. Middleware 2009: 184-204 - [c7]Pierre-Évariste Dagand, Andrew Baumann, Timothy Roscoe:
Filet-o-Fish: practical and dependable domain-specific languages for OS development. PLOS@SOSP 2009: 5:1-5:5 - [c6]Andrew Baumann, Paul Barham, Pierre-Évariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, Akhilesh Singhania:
The multikernel: a new OS architecture for scalable multicore systems. SOSP 2009: 29-44 - 2008
- [j2]Gustavo Alonso, Donald Kossmann, Timothy Roscoe, Nesime Tatbul, Andrew Baumann, Carsten Binnig, Peter M. Fischer, Oriana Riva, Jens Teubner:
The ETH Zurich systems group and enterprise computing center. SIGMOD Rec. 37(4): 94-99 (2008) - [c5]Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, Rebecca Isaacs:
30 seconds is not enough!: a study of operating system timer usage. EuroSys 2008: 205-218 - [c4]Qin Yin, Justin Cappos, Andrew Baumann, Timothy Roscoe:
Dependable Self-Hosting Distributed Systems Using Constraints. HotDep 2008 - 2007
- [b1]Andrew Baumann:
Dynamic update for operating systems. University of New South Wales, Sydney, Australia, 2007 - [c3]Andrew Baumann, Jonathan Appavoo, Robert W. Wisniewski, Dilma Da Silva, Orran Krieger, Gernot Heiser:
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly. USENIX ATC 2007: 337-350 - 2006
- [j1]Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Amos Waterland, David K. Tam, Andrew Baumann:
K42: an infrastructure for operating system research. ACM SIGOPS Oper. Syst. Rev. 40(2): 34-42 (2006) - 2005
- [c2]Andrew Baumann, Jonathan Appavoo:
Improving dynamic update for operating systems. SOSP 2005: 1-2 - [c1]Andrew Baumann, Gernot Heiser, Jonathan Appavoo, Dilma Da Silva, Orran Krieger, Robert W. Wisniewski, Jeremy Kerr:
Providing Dynamic Update in an Operating System. USENIX ATC, General Track 2005: 279-291
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
[+][–] Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
[+][–] Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 20:18 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
