Andrew Baumann

Dikutip oleh

	Semua	Sejak 2020
Kutipan	4026	1365
indeks-h	22	12
indeks-i10	26	14

340

170

255

20052006200720082009201020112012201320142015201620172018201920202021202220232024202517 20 35 48 92 148 173 216 222 200 203 296 323 287 295 321 271 267 259 224 23

Akses publik

Lihat semua

3 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Timothy RoscoeProfessor of Computer Science, ETH ZurichEmail yang diverifikasi di inf.ethz.ch
Simon PeterUniversity of WashingtonEmail yang diverifikasi di cs.washington.edu
Paul BarhamGoogle DeepMindEmail yang diverifikasi di acm.org
Rebecca IsaacsAmazonEmail yang diverifikasi di acm.org
Tim HarrisMicrosoftEmail yang diverifikasi di microsoft.com
Orran KriegerProfessor ECE, Boston UniversityEmail yang diverifikasi di bu.edu
Jonathan AppavooAssociate Professor of Computer Science, Boston UniversityEmail yang diverifikasi di bu.edu
Dilma Da SilvaTexas A&M UniversityEmail yang diverifikasi di cse.tamu.edu
Robert WisniewskiHPE Fellow, Chief Architect and VP HPC and AI SolutionsEmail yang diverifikasi di hpe.com
Pierre-Evariste DagandCNRSEmail yang diverifikasi di evr.ist
Galen C. HuntDistinguished Engineer, MicrosoftEmail yang diverifikasi di microsoft.com
Gernot HeiserProfessor of Computer Science, University of New South WalesEmail yang diverifikasi di unsw.edu.au
Ronghui GuAssociate Professor of Computer Science, Columbia UniversityEmail yang diverifikasi di columbia.edu
Bryan ParnoCarnegie Mellon UniversityEmail yang diverifikasi di cmu.edu
Andrew FerraiuoloCertora (Startup), Google, Cornell UniversityEmail yang diverifikasi di cornell.edu
Jacob LorchMicrosoft ResearchEmail yang diverifikasi di microsoft.com
James BornholtUniversity of Texas at AustinEmail yang diverifikasi di cs.utexas.edu
Emina TorlakAmazon Web Services, University of WashingtonEmail yang diverifikasi di alum.mit.edu
Xi WangUniversity of WashingtonEmail yang diverifikasi di cs.washington.edu
Justin CapposProfessor of Computer Science and Engineering, NYUEmail yang diverifikasi di nyu.edu

Ikuti

Andrew Baumann

SystemsResearch@Google

Email yang diverifikasi di google.com - Beranda

Operating Systems Security


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
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	1294	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	1111	2015
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	238	2017
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	202	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	167	2008
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	138	2019
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	121	2009
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	68	2013
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	62	2019
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	55	2017
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	46	2020
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	44	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
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	42	2004
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	38	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	37	2011
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
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	31	2006

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama