Button to scroll to the top of the page.

Emmett Witchel

Department of Computer Science

Computer Architecture, Operating Systems, Distributed Systems, and Networking Security


Phone: 512-232-7889

Office Location
GDC 6.432

Postal Address
AUSTIN, TX 78712

Research Interests 

Witchel is interested in operating systems and architecture, and more generally in low-level systems. Most of his current research is about concurrent systems and security.

Selected Publications 

Indrajit Roy , Srinath Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel Airavat: Security and Privacy for MapReduce (PDF paper)(slides pptx pdf) In Proceedings of the 7th USENIX Symposium on Networked Systems Design and Implementation (NSDI), San Jose, CA April, 2010.

Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alex Benn, Emmett Witchel Operating System Transactions In Proceedings of the 22nd ACM Symposium on Operating Systems Principles (SOSP), Big Sky, MT October 2009

Indrajit Roy , Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel Laminar: Practical Fine-Grained Decentralized Information Flow Control (PDF paper) (slides pptx pdf) In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Dublin, Ireland June 2009.

C. J. Rossbach, O. S. Hofmann, D. E. Porter, H. E. Ramadan, A. Bhandari, E. Witchel. TxLinux: Using and Managing Transactional Memory in an Operating System In Proceedings of the 21st ACM Symposium on Operating Systems Principles (SOSP), Stevenson, WA October 2007. Audience choice award. A shorter article appears in Communications of the ACM as a research higlight. This work was also chosen as an IEEEMicro top pick.

E. Witchel, J. Rhee, and K. Asanovìc Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection In Proceedings of the 20th ACM Symposium on Operating Systems Principles (SOSP), Brighton, United Kingdom October 2005.