I'm a researcher in the Systems Group at Microsoft Research Redmond. My research interests include operating systems, distributed systems, multi-/many-core architectures, and a smattering of security.
I completed my BE (2002) and PhD (2007) in the Operating Systems Research Group at the School of Computer Science and Engineering, University of New South Wales, which is also the ERTOS program of National ICT Australia. I then spent three years as a postdoctoral researcher in the Systems Group at ETH Zurich, before moving to sunny Redmond at the end of 2010.
Much of my work has been part of the Barrelfish project, which is exploring how to structure an OS for future multi- and many-core systems. I led this project for its first three years as a postdoc at ETH Zurich, working with Timothy Roscoe and some talented students. Together with collaborators at MSR, we built an OS from scratch to exploit our observation that modern computers are increasingly structured as distributed systems, by mirroring that structure in the OS. For example, we used an asynchronous message-passing abstraction for all inter-core communication, rather than assuming shared memory. Today Barrelfish is a substantial prototype OS, and is still under active research and development.
I've also contributed code and research to Drawbridge, a new form of virtualization for application sandboxing based on a library OS version of Windows. As reported in the Bascule paper, my focus has been on generalising the architecture to permit other guest and host operating systems (including Barrelfish), and to support lightweight interposition of extensions that are independent of both host and guest. Haven exploits this ability, along with new hardware extensions (Intel SGX), to shield unmodified applications from an untrusted cloud host.
The result of a fruitful internship at IBM Research, my PhD work focused on dynamic updates in the K42 multiprocessor operating system. For my undergraduate thesis, and also much of my PhD, I did a lot of hacking on the Mungi single-address-space operating system.
You might also be interested in my old personal page.
- Sai Deep Tetali (2014) ported Ironclad apps to run in an SGX enclave
- Mihir Nanavati (2013) prototyped support for multiple address spaces in Drawbridge
- Dongyoon Lee (2012) created a prototype Linux LibOS for Drawbridge
- Pedro Fonseca (2011) helped bring up Drawbridge on Barrelfish, including checkpointing support
If you are interested in applying for an internship, please see the instructions on our group page.
- SOSP'15 program committee
- ASPLOS'15 program committee
- EuroSys'15 sponsorship chair
- ICDCS'14 program committee
- Conference on Timely Results in Operating Systems (TRIOS) program committee
- 5th Workshop on Hot Topics in Software Upgrades (HotSWUp'13) program committee
- 3rd Workshop on Systems for Future Multicore Architectures (SFMA'13) program committee
- EuroSys'11 program committee
- HotOS'11 program committee
- 2010 USENIX Annual Technical conference program committee
- 2010 ACM/IEEE Symposium on Architectures for Networking and Communications Systems program committee
- ICDCS 2010 Data Management and Data Centers track program committee
- 2nd Workshop on I/O Virtualization (WIOV '10) program committee
- 2009 EuroSys Doctoral Workshop organiser
- Andrew Baumann, Marcus Peinado, and Galen Hunt, Shielding applications from an untrusted cloud with Haven, in 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI '14), USENIX – Advanced Computing Systems Association, 6 October 2014.
- Andrew Baumann, Dongyoon Lee, Pedro Fonseca, Lisa Glendenning, Jacob R. Lorch, Barry Bond, Reuben Olinsky, and Galen C. Hunt, Composing OS extensions safely and efficiently with Bascule, in Eurosys, ACM, April 2013.
- Adrian Schüpbach, Andrew Baumann, Timothy Roscoe, and Simon Peter, A declarative language approach to device configuration, in ACM Transactions on Computer Systems (TOCS), vol. 30, no. 1, ACM, February 2012.
- Andrew Baumann, Paul Barham, Pierre-Evariste Dagand, Tim Harris, Rebecca Isaacs, Simon Peter, Timothy Roscoe, Adrian Schüpbach, and Akhilesh Singhania, The Multikernel: A new OS architecture for scalable multicore systems, in 22nd Symposium on Operating Systems Principles, Association for Computing Machinery, Inc., October 2009.
- Simon Peter, Andrew Baumann, Timothy Roscoe, Paul Barham, and Rebecca Isaacs, 30 seconds is not enough! A Study of Operating System Timer Usage, in Eurosys, ACM Eurosys, April 2008.
- Autumn 2014: PMP Operating Systems, with Simon Peter
At ETH Zurich, with Timothy Roscoe:
- Autumn 2010: Advanced Operating Systems
- Spring 2010: Lions' Commentary on 6th Edition UNIX Seminar
- Autumn 2009: Advanced Operating Systems
- Spring 2009: Advanced Operating Systems
- Autumn 2008: Data Processing Architectures for New Hardware Platforms Seminar
- Spring 2008: Advanced Operating Systems
- Autumn 2007: Advanced Topics in OS Kernel Design Seminar
Email: firstname.lastname at microsoft.com
Phone: +1 425 705 8418