Research

Below are some of the on-going projects in our group. Most of these are fairly interdisciplinary and tend to involve machine learning, probabilistic reasoning and synthesis.

Safe Artificial Intelligence via Abstract Interpretation

View Project

Machine Learning for Programming

View Project

Probabilistic Programming

View Project

Programmable Networks with Synthesis

View Project

Query-Guided Network Captioning

View Project

Blockchain Security


View Project

Probabilistic Programming for Security and Privacy

View Project

Fender: Programming with Relaxed Memory Models

View Project

Fast Numerical Abstract Domains

View Project

An Interactive Data Structure Development System

View Project

Completed Projects:

CORE: Foundations of Practical Concurrency Analysis

View Project

EventRacer: Analysis of Event-Driven Applications

View Project

Practical Lower Bounds for Concurrent Algorithms

View Project

Quality Virtual Machine


View Project

Paraglide: Synthesis of Concurrent Systems

View Project