Projects
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