About Me



Current Projects

My research develops better abstractions for managing concurrency and security, primarily in the OS, and extending to other portions of the technology stack as appropriate. My thesis work develops a transaction abstraction for the system call API in Linux in a system called TxOS. System transactions provide a simple interface by which applications can manage concurrency and consistency for OS-managed resources.

I am supervised by Emmett Witchel.


  • 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.