Andrew Baumann

Citado por

	Total	Desde 2019
Citas	3808	1450
Índice h	22	11
Índice i10	25	11

340

170

255

2005200620072008200920102011201220132014201520162017201820192020202120222023202417 20 35 48 91 148 172 219 220 199 203 296 322 287 300 318 266 268 252 45

Acceso público

Ver todo

3 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Timothy RoscoeProfessor of Computer Science, ETH ZurichDirección de correo verificada de inf.ethz.ch
Simon PeterUniversity of WashingtonDirección de correo verificada de cs.washington.edu
Paul BarhamGoogleDirección de correo verificada de acm.org
Rebecca IsaacsAmazonDirección de correo verificada de acm.org
Tim HarrisMicrosoftDirección de correo verificada de microsoft.com
Orran KriegerProfessor ECE, Boston UniversityDirección de correo verificada de bu.edu
Jonathan AppavooAssociate Professor of Computer Science, Boston UniversityDirección de correo verificada de bu.edu
Dilma Da SilvaTexas A&M UniversityDirección de correo verificada de cse.tamu.edu
Robert WisniewskiSVP and Chief Architect HPC, SamsungDirección de correo verificada de samsung.com
Pierre-Evariste DagandCNRSDirección de correo verificada de evr.ist
Galen C. HuntDistinguished Engineer, MicrosoftDirección de correo verificada de microsoft.com
Gernot HeiserProfessor of Computer Science, University of New South WalesDirección de correo verificada de unsw.edu.au
Ronghui GuAssociate Professor of Computer Science, Columbia UniversityDirección de correo verificada de columbia.edu
Jacob LorchMicrosoft ResearchDirección de correo verificada de microsoft.com
Bryan ParnoCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
Andrew FerraiuoloCertora (Startup), Google, Cornell UniversityDirección de correo verificada de cornell.edu
Justin CapposAssociate Professor of Computer Science and Engineering, NYUDirección de correo verificada de nyu.edu
James BornholtUniversity of Texas at AustinDirección de correo verificada de cs.utexas.edu
Emina TorlakAmazon Web Services, University of WashingtonDirección de correo verificada de alum.mit.edu
Xi WangUniversity of WashingtonDirección de correo verificada de cs.washington.edu

Seguir

Andrew Baumann

SystemsResearch@Google

Dirección de correo verificada de google.com - Página principal

Operating Systems Security


Título Ordenar por citas Ordenar por año Ordenar por 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	1262	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	1038	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	203	2005
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	202	2017
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	164	2008
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	119	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	114	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	71	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	65	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	60	2010
Hardware is the new software A Baumann Proceedings of the 16th Workshop on Hot Topics in Operating Systems, 132-137, 2017	51	2017
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	47	2019
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	43	2004
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	42	2012
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	42	2005
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	37	2020
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	37	2009
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	37	2009
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	36	2011
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	29	2015

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores