Complete publications, most recent first (Google scholar, dblp, Funding)
Publication list in bibtex format

  • Henrique Fingler, Zhiting Zhu, Esther Yoon, Zhipeng Jia, Emmett Witchel, Christopher J. Rossbach
    IPDPS 22

    DGSF: Disaggregated GPUs for Serverless Functions

  • Zhipeng Jia, Emmett Witchel
    SOSP 21

    Boki: Stateful Serverless Computing with Shared Logs  (slides)  (code)  (video)

  • Jongyul Kim, Insu Jang, Weleed Reda, Jaeseong Im, Marco Canini, Dejan Kostić, Youngjin Kwon, Simon Peter, Emmett Witchel
    [best paper] SOSP 21

    LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism
     (slides)  (video)

  • Zhipeng Jia, Emmett Witchel
    ASPLOS 21

    Nightcore: Efficient and Scalable Serverless Computing for Latency-Sensitive, Interactive Microservices   (slides) (code) (video)

  • Thomas Anderson, Marco Canini, Jongyul Kim, Dejan Kostić, Youngjin Kwon, Simon Peter, Weleed Reda, Henry Schuh, Emmett Witchel,
    OSDI 20

    Assise: Performance and Availability via Client-local NVM in a Distributed File System  (slides PDF)  ( video)

  • Tyler Hunt, Zhipeng Jia, Vance Miller, Ariel Szekely, Yige Hu, Christopher J. Rossbach, Emmett Witchel
      NSDI 20

    Telekine: Secure Computing with Cloud GPUs  (slides pptx PDF)

  • Tyler Hunt, Zhipeng Jia, Vance Miller, Christopher J. Rossbach, Emmett Witchel
      HotOS 19

    Isolation and Beyond: Challenges for System Security  (slides PDF)

  • Yige Hu, Zhiting Zhu, Ian Neal, Youngjin Kwon, Tianyu Cheng, Vijay Chidambaram, Emmett Witchel
    [best paper]   ATC 18

    TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions  (slides PDF)

  • Tyler Hunt, Congzheng Song, Reza Shokri, Vitaly Shmatikov, Emmett Witchel
    [ZDNet]   Arxiv

    Chiron: Privacy-preserving Machine Learning as a Service

  • Youngjin Kwon, Henrique Fingler, Tyler Hunt, Simon Peter, Emmett Witchel, Thomas Anderson
    SOSP 17

    Strata: A Cross Media File System

  • Youngjin Kwon, Hangchen Yu, Simon Peter, Christopher J. Rossbach, Emmett Witchel
    OSR 17

    Ingens: Huge Page Support for the OS and Hypervisor

  • Yige Hu, Youngjin Kwon, Vijay Chidambaram, Emmett Witchel
    HotOS 17

    From Crash Consistency to Transactions  (slides PDF)

  • Zhiting Zhu, Sangman Kim, Yuri Rozhanski, Yige Hu, Emmett Witchel
    GPGPU-10

    Understanding The Security of Discrete GPUs  (slides PDF)

  • Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, Emmett Witchel
    [best paper] OSDI 16

    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
    OSDI 16

    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 from 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
    ASPLOS 16

    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
    NSDI 16

    Earp: Principled Storage, Sharing, and Protection for Mobile Apps  (slides PDF, key )

  • Yuanzhong Xu, Emmett Witchel
    EuroSys 15

    Maxoid: Transparently Confining Mobile Applications with Custom Views of State  (slides PDF key)

  • Mark Silberstein, Bryan Ford, Emmett Witchel
    CACM 14

    GPUfs: The Case for Operating System Services on GPUs

    • ACM DL Author-ize serviceMark Silberstein, Bryan Ford, Emmett Witchel
  • 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
    OSDI 14

    GPUnet: Networking Abstractions for GPU Programs  (slides)

  • Michael Z. Lee, Alan M. Dunn, Jonathan Katz, Brent Waters, Emmett Witchel
    S&P Magazine 14

    Anon-Pass: Practical Anonymous Subscriptions

  • Yuanzhong Xu Alan M. Dunn, Owen S. Hofmann, Michael Z. Lee, Syed Akbar Mehdi, Emmett Witchel
    USENIX ATC 14

    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
    IEEE S&P 13

    Anon-Pass: Practical Anonymous Subscriptions  (slides PDF, pptx)

  • Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Michael Z. Lee, Emmett Witchel
    ASPLOS 13

    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
    EuroSys 12

    Improving Server Applications with System Transactions  (slides PDF, pptx)

  • Christopher J. Rossbach, Jon Currey, Mark Silberstein, Baishakhi Ray, Emmett Witchel
    SOSP 11

    PTask: Operating System Abstractions To Manage GPUs as Compute Devices  (one-col)   (slides PDF, pptx)

  • Alan M. Dunn, Owen S. Hofmann, Brent Waters, Emmett Witchel
    USENIX Security 11

    Cloaking Malware with the Trusted Platform Module  (slides PDF, pptx)

  • Christopher J. Rossbach, Jon Currey, Emmett Witchel
    HotOS 11

    Operating Systems Must Support GPU Abstractions  (slides PDF, pptx)

  • Owen S. Hofmann, Alan M. Dunn, Sangman Kim, Indrajit Roy, Emmett Witchel
    ASPLOS 11

    Ensuring Operating System Kernel Integrity with OSck  (slides PDF, pptx)

  • Donald E. Porter , Emmett Witchel
    Linux Symposium 10

    Transactional System Calls on Linux

  • Indrajit Roy, Srinath Setty, Ann Kilzer, Vitaly Shmatikov, Emmett Witchel
    NSDI 10

    Airavat: Security and Privacy for MapReduce (slides PDF, pptx)

  • Donald E. Porter, Emmett Witchel
    ISPASS 10

    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
    NDSS 10

    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
    PPoPP 10

    Is Transactional Memory Programming Actually Easier?  (slides PDF, pptx)

  • Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alex Benn, Emmett Witchel
    SOSP 09

    Operating System Transactions  (slides PDF, pptx)

  • Christopher J. Rossbach, Owen S. Hofmann, Emmett Witchel
    WDDD 09

    Is Transactional Memory Programming Actually Easier?  (slides PDF, pptx)

  • Emmett Witchel
    WDDD 09

    Considerations for Mondriaan-like Systems  (slides PDF, pptx)

  • Indrajit Roy, Donald E. Porter, Michael D. Bond, Kathryn S. McKinley, Emmett Witchel
    PLDI 09

    Laminar: Practical Fine-Grained Decentralized Information Flow Control  (slides PDF, pptx)

  • Donald E. Porter, Emmett Witchel
    HotOS 09

    Operating Systems Should Provide Transactions  (html)  (slides PDF, pptx)

  • Owen S.Hofmann, Christopher J. Rossbach, Emmett Witchel
    ASPLOS 09

    Maximum Benefit from a Minimal HTM  (slides PDF, pptx) )

  • Hany E. Ramadan, Emmett Witchel
    TRANSACT 09

    The Xfork in the Road to Coordinated Sibling Transactions  (slides PDF, ppt)

  • Hany E. Ramadan, Indrajit Roy , Maurice Herlihy, Emmett Witchel
    PPoPP 09

    Committing Conflicting Transactions in an STM  (slides PDF, ppt)

  • Hany E. Ramadan, Christopher J. Rossbach , Emmett Witchel
    MICRO 08

    Dependence-Aware Transactions for Increased Concurrency  (slides PDF, ppt)

    • Christopher J. Rossbach  gave the talk.

  • Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter,  Hany 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
    IEEE Micro Top Picks 08

    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
    CCS 07

    Privacy-Preserving Remote Diagnostics  (slides PDF, ppt)

  • Owen S. Hofmann, Donald E. Porter, Christopher J. Rossbach, Hany E. Ramadan, Emmett Witchel
    TRANSACT 07

    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
    ISCA 07

    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
    PLDI 07

    Improved Error Reporting for Software that Uses Black-Box Components  (slides PDF, ppt)

  • Donald E. Porter, Owen S. Hofmann, Emmett Witchel
    HotOS 07

    Is The Optimism in Optimistic Concurrency Warranted?  (slides PDF, key)

  • Jonathan Wildstrom, Peter Stone, Emmett Witchel, Mike Dahlin
    IJCAI 07

    Machine Learning for On-Line Hardware Reconfiguration

  • Jason V. Davis, Jungwoo Ha, Christopher J. Rossbach, Hany E. Ramadan, Emmett Witchel
    ECML 06

    Cost-Sensitive Decision Tree Learning for Forensic Classification (short paper)

  • Hany E. Ramadan, Christopher J. Rossbach, Emmett Witchel
    Transactional Memory Workloads 06

    The Linux Kernel: A Challenging Workload for Transactional Memory  (slides PDF, ppt)

  • Emmett Witchel, Junghwan Rhee, Krste Asanović
    SOSP 05

    Mondrix: Memory Isolation for Linux using Mondriaan Memory Protection  (slides PDF, ppt)

  • Andrew Ayers, Chris Metcalf, Junghwan Rhee, Richard Schooler, Anant Agarwal, Emmett Witchel
    PLDI 05

    TraceBack: First Fault Diagnosis by Reconstruction of Distributed Control Flow  (slides PDF, ppt)

  • Jonathan Wildstrom, Peter Stone, Emmett Witchel, Raymond J. Mooney, Mike Dahlin
    ICAC 05

    Towards Self-Configuring Hardware for Distributed Computer Systems

  • Emmett Witchel
    Ph.D. dissertation, MIT 04

    Mondriaan Memory Protection

    Honorable Mention, ACM Doctoral Dissertation Award

    Winner of the MIT George M. Sprowls award for outstanding doctoral dissertation.

  • Emmett Witchel, Krste Asanović
    HotOS 03

    Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection  (slides PDF, ppt )

  • Emmett Witchel, Josh Cates, Krste Asanović
    ASPLOS 02

    Mondrian Memory Protection  (slides PDF, ppt)

  • Sam Larsen, Emmett Witchel, Saman Amarasinghe
    PACT 02

    Increasing and Detecting Memory Address Congruence.

  • Krste Asanović, Mark Hampton, Ronny Krashinsky, Emmett Witchel
    Chapter from Power Aware Computing

    Energy-Exposed Instruction Sets

  • Emmett Witchel, Sam Larsen, C. Scott Ananian, Krste Asanović
    MICRO 01

    Direct Addressed Caches for Reduced Power Consumption  (slides)

  • Emmett Witchel, Krste Asanović
    ISCA Workshop on Complexity Effective Design

    The Span Cache: Software Controlled Tag Checks and Cache Line Size

  • David Mazières, Michael Kaminsky, M. Frans Kaashoek, Emmett Witchel.
    SOSP 99

    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
    SIGMETRICS 96

    Embra: Fast and Flexible Machine Simulation

    Visit the archive of the Embra website.

  • Mendel Rosenblum, Edouard Bugnion, Stephen A. Herrod, Emmett Witchel, Anoop Gupta
    SOSP 95

    The Impact of Architectural Trends on Operating System Performance

  • Mendel Rosenblum, Stephen A. Herrod, Emmett Witchel, Anoop Gupta
    IEEE Parallel and Distributed Technology

    Complete Computer Simulation: The SimOS Approach

    • My graduate student web site.