Current Projects

Safe and Interpretable Artificial Intelligence
View Project
Machine Learning for Programming
View Project
Probabilistic Programming and Applications
View Project
Programmable Networks
View Project
Blockchain Security
View Project
Fast Numerical Abstract Domains
View Project

Completed Projects

Fender: Programming with Relaxed Memory Models
View Project
An Interactive Data Structure Development System
View Project
CORE: Foundations of Practical Concurrency Analysis
View Project
EventRacer: Analysis of Event-Driven Applications
View Project
Quality Virtual Machine
View Project
Paraglide: Synthesis of Concurrent Systems
View Project