Follow
Andrew Baumann
Andrew Baumann
SystemsResearch@Google
Verified email at google.com - Homepage
Title
Cited by
Cited by
Year
The multikernel: a new OS architecture for scalable multicore systems
A Baumann, P Barham, PE Dagand, T Harris, R Isaacs, S Peter, T Roscoe, ...
Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles …, 2009
12852009
Shielding applications from an untrusted cloud with haven
A Baumann, M Peinado, G Hunt
ACM Transactions on Computer Systems (TOCS) 33 (3), 1-26, 2015
10872015
Komodo: Using verification to disentangle secure-enclave hardware from software
A Ferraiuolo, A Baumann, C Hawblitzel, B Parno
Proceedings of the 26th Symposium on Operating Systems Principles, 287-305, 2017
2292017
Providing dynamic update in an operating system.
A Baumann, G Heiser, J Appavoo, D Da Silva, O Krieger, RW Wisniewski, ...
USENIX Annual Technical Conference, General Track, 279-291, 2005
2032005
Embracing diversity in the Barrelfish manycore operating system
A Schüpbach, S Peter, A Baumann, T Roscoe, P Barham, T Harris, ...
Proceedings of the Workshop on Managed Many-Core Systems 27, 2008
1642008
Scaling symbolic evaluation for automated verification of systems code with Serval
L Nelson, J Bornholt, R Gu, A Baumann, E Torlak, X Wang
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 225-242, 2019
1312019
Your computer is already a distributed system. Why isn't your OS?
A Baumann, S Peter, A Schüpbach, A Singhania, T Roscoe, P Barham, ...
HotOS 9, 12-12, 2009
1202009
Reboots Are for Hardware: Challenges and Solutions to Updating an Operating System on the Fly.
A Baumann, J Appavoo, RW Wisniewski, D Da Silva, O Krieger, G Heiser
USENIX Annual Technical Conference, 337-350, 2007
712007
Composing OS extensions safely and efficiently with Bascule
A Baumann, D Lee, P Fonseca, L Glendenning, JR Lorch, B Bond, ...
Proceedings of the 8th ACM European Conference on Computer Systems, 239-252, 2013
672013
Design principles for end-to-end multicore schedulers
S Peter, A Schüpbach, P Barham, A Baumann, R Isaacs, T Harris, ...
Proceedings of the 2nd USENIX conference on Hot topics in parallelism …, 2010
602010
A fork () in the road
A Baumann, J Appavoo, O Krieger, T Roscoe
Proceedings of the Workshop on Hot Topics in Operating Systems, 14-22, 2019
562019
Hardware is the new software
A Baumann
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 132-137, 2017
532017
A declarative language approach to device configuration
A Schüpbach, A Baumann, T Roscoe, S Peter
ACM Transactions on Computer Systems (TOCS) 30 (1), 1-35, 2012
432012
Autarky: Closing controlled channels with self-paging enclaves
M Orenbach, A Baumann, M Silberstein
Proceedings of the Fifteenth European Conference on Computer Systems, 1-16, 2020
422020
Module hot-swapping for dynamic update and reconfiguration in K42
A Baumann, J Kerr, J Appavoo, D Da Silva, O Krieger, RW Wisniewski
6th Linux. Conf. Au, 2005
422005
Improving operating system availability with dynamic update
A Baumann, J Appavoo, D Da Silva, O Krieger, RW Wisniewski
Proceedings of the 1st Workshop on Operating System and Architectural …, 2004
422004
Filet-o-Fish: practical and dependable domain-specific languages for OS development
PE Dagand, A Baumann, T Roscoe
Proceedings of the Fifth Workshop on Programming Languages and Operating …, 2009
372009
Rhizoma: a runtime for self-deploying, self-managing overlays
Q Yin, A Schüpbach, J Cappos, A Baumann, T Roscoe
Middleware 2009: ACM/IFIP/USENIX, 10th International Middleware Conference …, 2009
372009
Mind the Gap: Reconnecting Architecture and {OS} Research
JC Mogul, A Baumann, T Roscoe, L Soares
13th Workshop on Hot Topics in Operating Systems (HotOS XIII), 2011
362011
Tardigrade: Leveraging Lightweight Virtual Machines to Easily and Efficiently Construct {Fault-Tolerant} Services
JR Lorch, A Baumann, L Glendenning, D Meyer, A Warfield
12th USENIX Symposium on Networked Systems Design and Implementation (NSDI …, 2015
292015
The system can't perform the operation now. Try again later.
Articles 1–20