| 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 | 1213 | 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 | 948 | 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 | 195 | 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 | 163 | 2008 |
| 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 | 153 | 2017 |
| 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 | 116 | 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 | 73 | 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 | 70 | 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 | 61 | 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 | 43 | 2017 |
| 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 |
| 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 |
| 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 | 40 | 2005 |
| 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 | 37 | 2019 |
| 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 |
| 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 | 36 | 2009 |
| Mind the Gap: Reconnecting Architecture and OS Research. JC Mogul, A Baumann, T Roscoe, L Soares HotOS, 2011 | 34 | 2011 |
| 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 | 30 | 2006 |
| 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 | 29 | 2015 |
Timothy RoscoeProfessor of Computer Science, ETH ZurichVerified email at inf.ethz.ch
