Segueix
Andrew Baumann
Andrew Baumann
SystemsResearch@Google
Correu electrònic verificat a google.com - Pàgina d'inici
Títol
Citada per
Citada per
Any
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
12942009
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
11112015
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
2382017
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
1672008
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
1402019
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
1212009
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
682013
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
622019
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
552017
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
462020
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
442012
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
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
382009
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
372011
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
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
312006
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20