• Please check out our group's source code at github.
  • GPUfs: Integrating a File System with GPUs. Code at github.
  • TxOS: Operating System Transactions
  • Airavat: Improved Security for MapReduce using mandatory access control and differential privacy
  • Laminar: Integrating OS and PL support for Decentralized Information Flow Control (DIFC)
  • OS support for transactional memory.  We have released TxLinux and MetaTM
  • Clarify
  • Mondriaan Memory Protection