Current SSL projects:
- KVM/ARM: An Open-Source ARM Virtualization System
- eXplode: Effective Model Checking of Real Systems
- OS Abstractions
- 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
- Cycada: Native Execution of iOS Apps on Android
- PlayDrone: A Measurement Study of Google Play
- Cycada: Native Execution of iOS Apps on Android
- OS Abstractions
- Synapse
- Flux: Multi-Surface Computing in Android
- THINC: Thin-Client Internet Computing
- ZAP: Transparent Checkpoint-Restart and Migration Using Operating System Virtualization
- MobiDesk: A Hosted Desktop Computing Utility
- Past Projects