Current Projects

My research develops better abstractions for managing concurrency and security, primarily in the operating system, and extending these abstractions to other portions of the technology stack as appropriate.


  • BetrFS - A write-optimized, general purpose Linux file system.
  • HOSS - A pedagogical hypervisor.
  • Graphene - A rich Linux library OS, including support for multi-process applications.
  • Protego - Practical techniques to obviate setuid-to-root binaries on Linux.
  • TxOS - Adding transactions to the system call API.
  • Laminar - Practical, fine-grained decentralized information flow control (DIFC) support in both the JVM and Linux kernel.
  • Syncchar - Analyzing and tuning the performance of transactional memory workloads.
  • MetaTM/TxLinux - Using hardware transactional memory in the OS kernel.


(Presented in reverse chronological order, horizonal lines separate years).


  • Modeling Transactional Memory Workload Performance
    Donald E. Porter  and Emmett Witchel
    (Summary PDF, Poster PDF)
    In the Proceedings of the 15th ACM Annual Symposium on Principles and Practice of Parallel Programming (PPoPP '10), Bangalore, India, January 2010.
  • Operating System Transactions
    Donald E. Porter,  Indrajit Roy, and Emmett Witchel
    Appeared at the 8th USENIX Symposium on Operating Systems Design and Implementation (OSDI '08), San Diego, CA, December 2008.

Technical Reports and other non-reviewed publications