Research

Software

Documentation


Home

Software Artifacts

I have enjoyed working on software projects for research, industry, and leisure. Below are a few artifacts I am happy to share.

Research

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

Open Source