Current Projects
Snugglebug: Symbolic analysis of Java programs
CLOSER: Automatic resource management in Java
Khasiana: Deployment of Bug Finding Tools
Recent Projects
SAFE: Verification of Java programs
Percolator: Interface inference for Java libraries
EGRET: Communication and Coordination in Multi-Site Software Development
Older Projects