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

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

Open Source