Current SSL projects:
- KVM/ARM: An Open-Source ARM Virtualization System
- eXplode: Effective Model Checking of Real Systems
- Guanyin: A Cloud Computing Infrastructure for Perpetual Checking of Deployed Software
- Scribe: Transparent, Deterministic Record-Replay
- RacePro: Detecting Process Races in Deployed Systems
- Cells: Lightweight Virtual Smartphones
- Teaching Operating Systems at Columbia University
- DASH: Concurrency Attacks and Defenses
- Reliable, Secure, and Efficient Multithreading
- CleanOS: Mobile OS Abstractions for Managing Sensitive Data
- Harden: Transparently Extending Programs at Compilation to Prevent Bugs
- Loom: Bypassing Races in Live Applications with Execution Filters
- NeonGoby: Effective Dynamic Detection of Alias Analysis Errors
- THINC: Thin-Client Internet Computing
- ZAP: Transparent Checkpoint-Restart and Migration Using Operating System Virtualization
- MobiDesk: A Hosted Desktop Computing Utility
- Past Projects