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.

Machine Learning for Programming

View Project

Probabilistic Programming

View Project

Programmable Networks with Synthesis

View Project

Blockchain Security

View Project

Probabilistic Programming for Security and Privacy

View Project

Fender: Programming with Relaxed Memory Models

View Project

CORE: Foundations of Practical Concurrency Analysis

View Project

Fast Numerical Abstract Domains

View Project

An Interactive Data Structure Development System

View Project

Completed Projects:

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