Andrew Baumann
Andrew Baumann
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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, 2009
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
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
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
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
Hardware is the new software
A Baumann
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 132-137, 2017
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
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
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
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
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
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
Mind the Gap: Reconnecting Architecture and OS Research.
JC Mogul, A Baumann, T Roscoe, L Soares
HotOS, 2011
K42: an infrastructure for operating system research
DD Silva, O Krieger, RW Wisniewski, A Waterland, D Tam, A Baumann
ACM SIGOPS Operating Systems Review 40 (2), 34-42, 2006
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 …, 2015
The system can't perform the operation now. Try again later.
Articles 1–20