Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Andrew Baumann
@inproceedings{DBLP:conf/osdi/ZhouSCGPB23,
author = {Ziqiao Zhou and
Yizhou Shan and
Weidong Cui and
Xinyang Ge and
Marcus Peinado and
Andrew Baumann},
editor = {Roxana Geambasu and
Ed Nightingale},
title = {Core slicing: closing the gap between leaky confidential VMs and bare-metal
cloud},
booktitle = {17th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} 2023, Boston, MA, USA, July 10-12, 2023},
pages = {247--267},
publisher = {{USENIX} Association},
year = {2023},
url = {https://www.usenix.org/conference/osdi23/presentation/zhou-ziqiao},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/osdi/ZhouSCGPB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hotos/2023,
editor = {Malte Schwarzkopf and
Andrew Baumann and
Natacha Crooks},
title = {Proceedings of the 19th Workshop on Hot Topics in Operating Systems,
{HOTOS} 2023, Providence, RI, USA, June 22-24, 2023},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3593856?af=R},
doi = {10.1145/3593856?AF=R},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotos/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/OrenbachBS20,
author = {Meni Orenbach and
Andrew Baumann and
Mark Silberstein},
editor = {Angelos Bilas and
Kostas Magoutis and
Evangelos P. Markatos and
Dejan Kostic and
Margo I. Seltzer},
title = {Autarky: closing controlled channels with self-paging enclaves},
booktitle = {EuroSys '20: Fifteenth EuroSys Conference 2020, Heraklion, Greece,
April 27-30, 2020},
pages = {7:1--7:16},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3342195.3387541},
doi = {10.1145/3342195.3387541},
timestamp = {Thu, 10 Sep 2020 09:33:09 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/OrenbachBS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vee/2020,
editor = {Santosh Nagarakatte and
Andrew Baumann and
Baris Kasikci},
title = {{VEE} '20: 16th {ACM} {SIGPLAN/SIGOPS} International Conference on
Virtual Execution Environments, virtual event [Lausanne, Switzerland],
March 17, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3381052},
doi = {10.1145/3381052},
isbn = {978-1-4503-7554-2},
timestamp = {Fri, 20 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vee/2020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/BaumannAKR19,
author = {Andrew Baumann and
Jonathan Appavoo and
Orran Krieger and
Timothy Roscoe},
title = {A fork() in the road},
booktitle = {Proceedings of the Workshop on Hot Topics in Operating Systems, HotOS
2019, Bertinoro, Italy, May 13-15, 2019},
pages = {14--22},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3317550.3321435},
doi = {10.1145/3317550.3321435},
timestamp = {Wed, 29 May 2019 13:38:37 +0200},
biburl = {https://dblp.org/rec/conf/hotos/BaumannAKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/NelsonBGBTW19,
author = {Luke Nelson and
James Bornholt and
Ronghui Gu and
Andrew Baumann and
Emina Torlak and
Xi Wang},
editor = {Tim Brecht and
Carey Williamson},
title = {Scaling symbolic evaluation for automated verification of systems
code with Serval},
booktitle = {Proceedings of the 27th {ACM} Symposium on Operating Systems Principles,
{SOSP} 2019, Huntsville, ON, Canada, October 27-30, 2019},
pages = {225--242},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3341301.3359641},
doi = {10.1145/3341301.3359641},
timestamp = {Tue, 06 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sosp/NelsonBGBTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/Baumann17,
author = {Andrew Baumann},
editor = {Alexandra Fedorova and
Andrew Warfield and
Ivan Beschastnikh and
Rachit Agarwal},
title = {Hardware is the new Software},
booktitle = {Proceedings of the 16th Workshop on Hot Topics in Operating Systems,
HotOS 2017, Whistler, BC, Canada, May 8-10, 2017},
pages = {132--137},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3102980.3103002},
doi = {10.1145/3102980.3103002},
timestamp = {Tue, 06 Nov 2018 11:07:19 +0100},
biburl = {https://dblp.org/rec/conf/hotos/Baumann17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/FerraiuoloBHP17,
author = {Andrew Ferraiuolo and
Andrew Baumann and
Chris Hawblitzel and
Bryan Parno},
title = {Komodo: Using verification to disentangle secure-enclave hardware
from software},
booktitle = {Proceedings of the 26th Symposium on Operating Systems Principles,
Shanghai, China, October 28-31, 2017},
pages = {287--305},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3132747.3132782},
doi = {10.1145/3132747.3132782},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/FerraiuoloBHP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/BaumannPH15,
author = {Andrew Baumann and
Marcus Peinado and
Galen C. Hunt},
title = {Shielding Applications from an Untrusted Cloud with Haven},
journal = {{ACM} Trans. Comput. Syst.},
volume = {33},
number = {3},
pages = {8:1--8:26},
year = {2015},
url = {https://doi.org/10.1145/2799647},
doi = {10.1145/2799647},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/BaumannPH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nsdi/LorchBGMW15,
author = {Jacob R. Lorch and
Andrew Baumann and
Lisa Glendenning and
Dutch T. Meyer and
Andrew Warfield},
title = {Tardigrade: Leveraging Lightweight Virtual Machines to Easily and
Efficiently Construct Fault-Tolerant Services},
booktitle = {12th {USENIX} Symposium on Networked Systems Design and Implementation,
{NSDI} 15, Oakland, CA, USA, May 4-6, 2015},
pages = {575--588},
publisher = {{USENIX} Association},
year = {2015},
url = {https://www.usenix.org/conference/nsdi15/technical-sessions/presentation/lorch},
timestamp = {Tue, 02 Feb 2021 08:05:03 +0100},
biburl = {https://dblp.org/rec/conf/nsdi/LorchBGMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/BaumannHKHR14,
author = {Andrew Baumann and
Chris Hawblitzel and
Kornilios Kourtis and
Tim Harris and
Timothy Roscoe},
editor = {Ken Birman},
title = {Cosh: Clear {OS} Data Sharing In An Incoherent World},
booktitle = {2014 Conference on Timely Results in Operating Systems, {TRIOS} '14,
Broomfield, CO, USA, October 5, 2014},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/trios14/technical-sessions/presentation/baumann},
timestamp = {Tue, 02 Feb 2021 08:06:00 +0100},
biburl = {https://dblp.org/rec/conf/osdi/BaumannHKHR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/osdi/BaumannPH14,
author = {Andrew Baumann and
Marcus Peinado and
Galen C. Hunt},
editor = {Jason Flinn and
Hank Levy},
title = {Shielding Applications from an Untrusted Cloud with Haven},
booktitle = {11th {USENIX} Symposium on Operating Systems Design and Implementation,
{OSDI} '14, Broomfield, CO, USA, October 6-8, 2014},
pages = {267--283},
publisher = {{USENIX} Association},
year = {2014},
url = {https://www.usenix.org/conference/osdi14/technical-sessions/presentation/baumann},
timestamp = {Tue, 02 Feb 2021 08:05:58 +0100},
biburl = {https://dblp.org/rec/conf/osdi/BaumannPH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/BaumannLFGLBOH13,
author = {Andrew Baumann and
Dongyoon Lee and
Pedro Fonseca and
Lisa Glendenning and
Jacob R. Lorch and
Barry Bond and
Reuben Olinsky and
Galen C. Hunt},
editor = {Zdenek Hanz{\'{a}}lek and
Hermann H{\"{a}}rtig and
Miguel Castro and
M. Frans Kaashoek},
title = {Composing {OS} extensions safely and efficiently with Bascule},
booktitle = {Eighth Eurosys Conference 2013, EuroSys '13, Prague, Czech Republic,
April 14-17, 2013},
pages = {239--252},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465351.2465375},
doi = {10.1145/2465351.2465375},
timestamp = {Wed, 06 Jul 2022 14:43:33 +0200},
biburl = {https://dblp.org/rec/conf/eurosys/BaumannLFGLBOH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocs/SchupbachBRP12,
author = {Adrian Sch{\"{u}}pbach and
Andrew Baumann and
Timothy Roscoe and
Simon Peter},
title = {A Declarative Language Approach to Device Configuration},
journal = {{ACM} Trans. Comput. Syst.},
volume = {30},
number = {1},
pages = {5:1--5:35},
year = {2012},
url = {https://doi.org/10.1145/2110356.2110361},
doi = {10.1145/2110356.2110361},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocs/SchupbachBRP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/SchupbachBRP11,
author = {Adrian Sch{\"{u}}pbach and
Andrew Baumann and
Timothy Roscoe and
Simon Peter},
editor = {Rajiv Gupta and
Todd C. Mowry},
title = {A declarative language approach to device configuration},
booktitle = {Proceedings of the 16th International Conference on Architectural
Support for Programming Languages and Operating Systems, {ASPLOS}
2011, Newport Beach, CA, USA, March 5-11, 2011},
pages = {119--132},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1950365.1950382},
doi = {10.1145/1950365.1950382},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asplos/SchupbachBRP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/MogulBRS11,
author = {Jeffrey C. Mogul and
Andrew Baumann and
Timothy Roscoe and
Livio Soares},
editor = {Matt Welsh},
title = {Mind the Gap: Reconnecting Architecture and {OS} Research},
booktitle = {13th Workshop on Hot Topics in Operating Systems, HotOS XIII, Napa,
California, USA, May 9-11, 2011},
publisher = {{USENIX} Association},
year = {2011},
url = {https://www.usenix.org/conference/hotosxiii/mind-gap-reconnecting-architecture-and-os-research},
timestamp = {Wed, 04 Jul 2018 13:06:34 +0200},
biburl = {https://dblp.org/rec/conf/hotos/MogulBRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/DagandBR09,
author = {Pierre{-}{\'{E}}variste Dagand and
Andrew Baumann and
Timothy Roscoe},
title = {Filet-o-fish: practical and dependable domain-specific languages for
{OS} development},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {43},
number = {4},
pages = {35--39},
year = {2009},
url = {https://doi.org/10.1145/1713254.1713263},
doi = {10.1145/1713254.1713263},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/DagandBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/BaumannPSSRBI09,
author = {Andrew Baumann and
Simon Peter and
Adrian Sch{\"{u}}pbach and
Akhilesh Singhania and
Timothy Roscoe and
Paul Barham and
Rebecca Isaacs},
editor = {Armando Fox},
title = {Your computer is already a distributed system. Why isn't your OS?},
booktitle = {Proceedings of HotOS'09: 12th Workshop on Hot Topics in Operating
Systems, May 18-20, 2009, Monte Verit{\`{a}}, Switzerland},
publisher = {{USENIX} Association},
year = {2009},
url = {http://www.usenix.org/events/hotos09/tech/full\_papers/baumann/baumann.pdf},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/BaumannPSSRBI09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/middleware/YinSCBR09,
author = {Qin Yin and
Adrian Sch{\"{u}}pbach and
Justin Cappos and
Andrew Baumann and
Timothy Roscoe},
editor = {Jean Bacon and
Brian F. Cooper},
title = {Rhizoma: {A} Runtime for Self-deploying, Self-managing Overlays},
booktitle = {Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference,
Urbana, IL, USA, November 30 - December 4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5896},
pages = {184--204},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10445-9\_10},
doi = {10.1007/978-3-642-10445-9\_10},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/middleware/YinSCBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/DagandBR09,
author = {Pierre{-}{\'{E}}variste Dagand and
Andrew Baumann and
Timothy Roscoe},
editor = {Gilles Muller},
title = {Filet-o-Fish: practical and dependable domain-specific languages for
{OS} development},
booktitle = {Proceedings of the Fifth Workshop on Programming Languages and Operating
Systems, PLOS@SOSP 2009, Big Sky, Montana, USA, October 11, 2009},
pages = {5:1--5:5},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1745438.1745446},
doi = {10.1145/1745438.1745446},
timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
biburl = {https://dblp.org/rec/conf/sosp/DagandBR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sosp/BaumannBDHIPRSS09,
author = {Andrew Baumann and
Paul Barham and
Pierre{-}{\'{E}}variste Dagand and
Tim Harris and
Rebecca Isaacs and
Simon Peter and
Timothy Roscoe and
Adrian Sch{\"{u}}pbach and
Akhilesh Singhania},
editor = {Jeanna Neefe Matthews and
Thomas E. Anderson},
title = {The multikernel: a new {OS} architecture for scalable multicore systems},
booktitle = {Proceedings of the 22nd {ACM} Symposium on Operating Systems Principles
2009, {SOSP} 2009, Big Sky, Montana, USA, October 11-14, 2009},
pages = {29--44},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1629575.1629579},
doi = {10.1145/1629575.1629579},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sosp/BaumannBDHIPRSS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/AlonsoKRTBBFRT08,
author = {Gustavo Alonso and
Donald Kossmann and
Timothy Roscoe and
Nesime Tatbul and
Andrew Baumann and
Carsten Binnig and
Peter M. Fischer and
Oriana Riva and
Jens Teubner},
title = {The {ETH} Zurich systems group and enterprise computing center},
journal = {{SIGMOD} Rec.},
volume = {37},
number = {4},
pages = {94--99},
year = {2008},
url = {https://doi.org/10.1145/1519103.1519120},
doi = {10.1145/1519103.1519120},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/AlonsoKRTBBFRT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/PeterBRBI08,
author = {Simon Peter and
Andrew Baumann and
Timothy Roscoe and
Paul Barham and
Rebecca Isaacs},
editor = {Joseph S. Sventek and
Steven Hand},
title = {30 seconds is not enough!: a study of operating system timer usage},
booktitle = {Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK,
April 1-4, 2008},
pages = {205--218},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1352592.1352614},
doi = {10.1145/1352592.1352614},
timestamp = {Fri, 30 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/PeterBRBI08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotdep/YinCBR08,
author = {Qin Yin and
Justin Cappos and
Andrew Baumann and
Timothy Roscoe},
editor = {Lorenzo Alvisi and
Petros Maniatis},
title = {Dependable Self-Hosting Distributed Systems Using Constraints},
booktitle = {Proceedings of the Fourth Workshop on Hot Topics in System Dependability,
HotDep 2008, San Diego, CA, USA, December 7, 2008},
publisher = {{USENIX} Association},
year = {2008},
url = {http://www.usenix.org/events/hotdep08/tech/full\_papers/yin/yin.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotdep/YinCBR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BaumannAWSKH07,
author = {Andrew Baumann and
Jonathan Appavoo and
Robert W. Wisniewski and
Dilma Da Silva and
Orran Krieger and
Gernot Heiser},
editor = {Jeff Chase and
Srinivasan Seshan},
title = {Reboots Are for Hardware: Challenges and Solutions to Updating an
Operating System on the Fly},
booktitle = {Proceedings of the 2007 {USENIX} Annual Technical Conference, Santa
Clara, CA, USA, June 17-22, 2007},
pages = {337--350},
publisher = {{USENIX}},
year = {2007},
url = {http://www.usenix.org/events/usenix07/tech/baumann.html},
timestamp = {Mon, 01 Feb 2021 08:43:36 +0100},
biburl = {https://dblp.org/rec/conf/usenix/BaumannAWSKH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/SilvaKWWTB06,
author = {Dilma Da Silva and
Orran Krieger and
Robert W. Wisniewski and
Amos Waterland and
David K. Tam and
Andrew Baumann},
title = {{K42:} an infrastructure for operating system research},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {40},
number = {2},
pages = {34--42},
year = {2006},
url = {https://doi.org/10.1145/1131322.1131333},
doi = {10.1145/1131322.1131333},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/SilvaKWWTB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/usenix/BaumannHASKWK05,
author = {Andrew Baumann and
Gernot Heiser and
Jonathan Appavoo and
Dilma Da Silva and
Orran Krieger and
Robert W. Wisniewski and
Jeremy Kerr},
title = {Providing Dynamic Update in an Operating System},
booktitle = {Proceedings of the 2005 {USENIX} Annual Technical Conference, April
10-15, 2005, Anaheim, CA, {USA}},
pages = {279--291},
publisher = {{USENIX}},
year = {2005},
url = {http://www.usenix.org/events/usenix05/tech/general/baumann.html},
timestamp = {Mon, 01 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/usenix/BaumannHASKWK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2023-09-27 22:48 CEST 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:
