Seguir
Andrew Baumann
Andrew Baumann
SystemsResearch@Google
Dirección de correo verificada de google.com - Página principal
Título
Citado por
Citado por
Año
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
12682009
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
10642015
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
2132017
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
2022005
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
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
1192009
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
1162019
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
Hardware is the new software
A Baumann
Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 132-137, 2017
522017
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
492019
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
422012
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
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
382020
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
352011
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20