Andrew Baumann
Andrew Baumann
Microsoft Research
Verified email at microsoft.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
10442009
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
6452015
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
1762005
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
1442008
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
1022009
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
742017
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
652007
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
582010
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
482013
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
382004
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
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
342005
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
322012
Mind the Gap: Reconnecting Architecture and OS Research.
JC Mogul, A Baumann, T Roscoe, L Soares
HotOS, 2011
312011
Rhizoma: a runtime for self-deploying, self-managing overlays
Q Yin, A Schüpbach, J Cappos, A Baumann, T Roscoe
ACM/IFIP/USENIX International Conference on Distributed Systems Platforms …, 2009
292009
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
292006
Hardware is the new software
A Baumann
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 132-137, 2017
252017
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
222015
30 seconds is not enough! A study of operating system timer usage
S Peter, A Baumann, T Roscoe, P Barham, R Isaacs
ACM SIGOPS Operating Systems Review 42 (4), 205-218, 2008
202008
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
182019
The system can't perform the operation now. Try again later.
Articles 1–20