Complete publications, most recent first (Projects, Funding)
Publication list in bibtex format


  • Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, Thomas Anderson
    Strata: A Cross Media File System
  • Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, Emmett Witchel
    Ingens: Huge Page Support for the OS and Hypervisor
  • Yige Hu, Youngjin Kwon, Vijay Chidambaram, Emmett Witchel
    From Crash Consistency to Transactions  (slides PDF)
  • Zhiting Zhu, Sangman Kim, Yuri Rozhanski, Yige Hu, Emmett Witchel
    Understanding The Security of Discrete GPUs  (slides PDF)

  • Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, Emmett Witchel
    Ryoan: A Distributed Sandbox for Untrusted Computation on Secret Data  (slides PDF, pptx)  usenix
  • Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, Emmett Witchel
    Coordinated and Efficient Huge Page Management with Ingens  (slides PDF, key)  usenix
  • Mark Silberstein, Sangman Kim, Seonggu Huh, Xinya Zhang, Yige Hu, Amir Watad, Emmett Witchel
    [Improved version of OSDI 14]    TOCS 16
    GPUnet: Networking Abstractions for GPU Programs
  • Youngjin Kwon, Alan M. Dunn, Michael Z. Lee, Owen S. Hofmann Yuanzhong Xu, Emmett Witchel
    Sego: Pervasive Trusted Metadata for Efficiently Verified Untrusted System Services  (slides PDF, key)
  • Yuanzhong Xu, Tyler Hunt, Youngjin Kwon, Martin Georgiev, Vitaly Shmatikov, Emmett Witchel
    Earp: Principled Storage, Sharing, and Protection for Mobile Apps  (slides PDF, key )

  • Yuanzhong Xu, Emmett Witchel
    Maxoid: Transparently Confining Mobile Applications with Custom Views of State  (slides PDF key)

  • Mark Silberstein, Bryan Ford, Emmett Witchel
    GPUfs: The Case for Operating System Services on GPUs
  • Donald E. Porter, Michael D. Bond, Indrajit Roy, Kathryn S. McKinley, Emmett Witchel
    [Improved version of PLDI 09]   TOPLAS 14
    Practical Fine-Grained Information Flow Control Using Laminar
  • Sangman Kim, Seonggu Huh, Yige Hu, Xinya Zhang, Amir Watad, Emmett Witchel Mark Silberstein
    GPUnet: Networking Abstractions for GPU Programs  (slides)
  • Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, Emmett Witchel
    Anon-Pass: Practical Anonymous Subscriptions
  • Yuanzhong Xu Alan M. Dunn, Owen S. Hofmann, Michael Z. Lee, Syed Akbar Mehdi, Emmett Witchel
    Application-Defined Decentralized Access Control  (slides pptx PDF) (code)
  • Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel
    TOCS 14
    GPUfs: Integrating a File System with GPUs

  • Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, Emmett Witchel
    Anon-Pass: Practical Anonymous Subscriptions  (slides PDF, pptx)
  • Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Michael Z. Lee, Emmett Witchel
    InkTag: Secure Applications on an Untrusted Operating System  (slides)
  • Mark Silberstein, Bryan Ford, Idit Keidar, Emmett Witchel
    [Runner-up best paper] ASPLOS 13
    GPUfs: Integrating a File System with GPUs  (slides)

  • Alan M. Dunn, Michael Z. Lee, Suman Jana, Sangman Kim, Mark Silberstein, Yuanzhong Xu, Vitaly Shmatikov, Emmett Witchel
    [Runner-up PET award] OSDI 12
    Eternal Sunshine of the Spotless Machine: Protecting Privacy with Ephemeral Channels
  • (slides PDF, pptx) (video)
  • Emmett Witchel
    Keynote SYSTOR 12
    ACID: The Wrong Way To Think About Concurrency   (pptx)
  • Sangman Kim, Michael Z. Lee, Alan M. Dunn, Owen S. Hofmann, Xuan Wang, Emmett Witchel, Donald E. Porter
    Improving Server Applications with System Transactions  (slides PDF, pptx)

  • Christopher J. Rossbach, Jon Currey, Mark Silberstein, Baishakhi Ray, Emmett Witchel
    PTask: Operating System Abstractions To Manage GPUs as Compute Devices  (one-col (for ereader))   (slides PDF, pptx)
  • Alan M. Dunn, Owen S. Hofmann, Brent Waters, Emmett Witchel
    Cloaking Malware with the Trusted Platform Module  (slides PDF, pptx)
  • Christopher J. Rossbach, Jon Currey, Emmett Witchel
    Operating Systems Must Support GPU Abstractions  (slides PDF, pptx)
  • Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel
    Ensuring Operating System Kernel Integrity with OSck  (slides PDF, pptx)

  • Donald E. Porter , Emmett Witchel
    Transactional System Calls on Linux
  • Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel
    Airavat: Security and Privacy for MapReduce (slides PDF, pptx)
  • Donald E. Porter, Emmett Witchel
    Understanding Transactional Memory Performance  (slides PDF, pptx)
  • Scott Wolchok*, Owen S. Hofmann*, Nadia Heninger, Edward W. Felten, J. Alex Halderman, Christopher J. Rossbach, Brent Waters, Emmett Witchel    * Both authors contributed equally
    Defeating Vanish with Low-Cost Sybil Attacks Against Large DHTs  (slides PDF, pptx)
  • This work was reported in the New York Times, a UT press release, and Communications of the ACM.
  • Christopher J. Rossbach, Owen S. Hofmann, Emmett Witchel
    Is Transactional Memory Programming Actually Easier?  (slides PDF, pptx)

  • Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alex Benn, Emmett Witchel
    Operating System Transactions  (slides PDF,pptx)
  • Christopher J. Rossbach, Owen S. Hofmann, Emmett Witchel
    Is Transactional Memory Programming Actually Easier?  (slides PDF, pptx)
  • Emmett Witchel
    Considerations for Mondriaan-like Systems  (slides PDF, pptx)
  • Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel
    Laminar: Practical Fine-Grained Decentralized Information Flow Control  (slides PDF, pptx)
  • Donald E. Porter, Emmett Witchel
    Operating Systems Should Provide Transactions  (html)  (slides PDF, pptx)
  • Owen S.Hofmann, Christopher J. Rossbach, Emmett Witchel
    Maximum Benefit from a Minimal HTM  (slides PDF, pptx) )
  • Hany E. Ramadan, Emmett Witchel
    The Xfork in the Road to Coordinated Sibling Transactions  (slides PDF, ppt)
  • Hany E. Ramadan, Indrajit Roy , Maurice Herlihy, Emmett Witchel
    Committing Conflicting Transactions in an STM  (slides PDF, ppt)

  • Hany E. Ramadan, Christopher J. Rossbach , Emmett Witchel
    Dependence-Aware Transactions for Increased Concurrency  (slides PDF, ppt)
  • Christopher J. Rossbach  gave the talk.
  • Christopher J. Rossbach, Owen S. Hofmann, Donald E. PorterHany E. Ramadan, Aditya Bhandari, Emmett Witchel
    CACM 08
    TxLinux and MetaTM: Transactional Memory and the Operating System
  • Hany E. Ramadan, Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Aditya Bhandari, Emmett Witchel
    MetaTM/TxLinux: Transactional Memory For An Operating System

  • Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Aditya Bhandari, Emmett Witchel
    [Audience choice award]  SOSP 07
    TxLinux: Using and Managing Transactional Memory in an Operating System  (slides PDF, ppt)
  • Justin Brickell, Donald E. Porter, Vitaly Shmatikov, Emmett Witchel
    Privacy-Preserving Remote Diagnostics  (slides PDF, ppt)
  • Owen S. Hofmann, Donald E. Porter, Christopher J. Rossbach, Hany E. Ramadan, Emmett Witchel
    Solving Difficult HTM Problems Without Difficult Hardware  (slides PDF, ppt)
  • Hany E. Ramadan, Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Aditya Bhandari, Emmett Witchel
    MetaTM/TxLinux: Transactional Memory For An Operating System  (slides PDF, ppt)
  • Jungwoo Ha, Christopher J. Rossbach, Jason V. Davis, Indrajit Roy, David L. Chen, Hany E. Ramadan, Emmett Witchel
    Improved Error Reporting for Software that Uses Black-Box Components  (slides PDF, ppt)
  • Donald E. Porter, Owen S. Hofmann, Emmett Witchel
    Is The Optimism in Optimistic Concurrency Warranted?  (slides PDF, key)
  • Jonathan Wildstrom, Peter Stone, Emmett Witchel, Mike Dahlin
    Machine Learning for On-Line Hardware Reconfiguration

  • Jason V. Davis, Jungwoo Ha, Christopher J. Rossbach, Hany E. Ramadan, Emmett Witchel
    Cost-Sensitive Decision Tree Learning for Forensic Classification (short paper)
  • Hany E. Ramadan, Christopher J. Rossbach, Emmett Witchel
    The Linux Kernel: A Challenging Workload for Transactional Memory  (slides PDF, ppt)

  • Emmett Witchel, Junghwan Rhee, Krste Asanovìc
    Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection  (slides PDF, ppt)
  • Andrew Ayers, Chris Metcalf, Junghwan Rhee, Richard Schooler, Anant Agarwal, Emmett Witchel
    TraceBack: First Fault Diagnosis by Reconstruction of Distributed Control Flow  (slides PDF, ppt)
  • Jonathan Wildstrom, Peter Stone, Emmett Witchel, Raymond J. Mooney, Mike Dahlin
    Towards Self-Configuring Hardware for Distributed Computer Systems

  • Emmett Witchel
    Ph.D. dissertation, MIT 04
    Mondriaan Memory Protection
  • Honorable Mention, ACM Doctoral Disseration Award
  • Winner of the MIT George M. Sprowls award for outstanding doctoral dissertation.
  • Emmett Witchel, Krste Asanovìc
    Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection  (slides PDF, ppt )

  • Emmett Witchel, Josh Cates, Krste Asanovìc
    Mondrian Memory Protection  (slides PDF, ppt)
  • Sam Larsen, Emmett Witchel, Saman Amarasinghe
    Increasing and Detecting Memory Address Congruence.
  • Krste Asanovìc, Mark Hampton, Ronny Krashinsky, Emmett Witchel
    Chapter from Power Aware Computing
    Energy-Exposed Instruction Sets
  • Emmett Witchel, Sam Larsen, C. Scott Ananian, Krste Asanovìc
    Direct Addressed Caches for Reduced Power Consumption  (slides)
  • Emmett Witchel, Krste Asanovìc
    The Span Cache: Software Controlled Tag Checks and Cache Line Size
  • David Mazières, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel.
    Separating key management from file system security
  • Emmett Witchel, M. Frans Kaashoek.
    MIT Tech Report
    Using Software-Extended Architectures for Software Simultaneous Multithreading  (notes)

    While getting my masters, and for a year after, I worked for Mendel Rosenblum, in the SimOS simulation group, which is part of the FLASH project at Stanford university, where I helped write these papers. They deal with fast machine simulation via dynamic binary translation, a characterization of operating system services based on the machine simulation technology, and a paper about the entire machine simulation system, not just the part I wrote.

  • Emmett Witchel, Mendel Rosenblum
    Embra: Fast and Flexible Machine Simulation
  • Visit the archive of the Embra website.
  • Mendel Rosenblum, Edouard Bugnion, Stephen A. Herrod, Emmett Witchel, Anoop Gupta
    The Impact of Architectural Trends on Operating System Performance
  • Mendel Rosenblum, Stephen A. Herrod, Emmett Witchel, Anoop Gupta
    Complete Computer Simulation: The SimOS Approach

  • My graduate student web site.