I have enjoyed working on software projects for research,
industry, and leisure. Below are a few artifacts I am happy to share.
- 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.