I have enjoyed working on software projects for research,
industry, and leisure. Below are a few artifacts I am happy to share.
- 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.
- Using hardware transactional memory in the OS kernel.