Research

Below are some of the on-going projects in our group. Most of these involve some combination of theory (e.g. program analysis, synthesis) and practice (e.g. concurrent algorithms, code discovery). If you are interested to find out more, please drop us a line.

Programming Tools based on Big Data

View Project

EventRacer: Analysis of Event-Driven Applications

View Project

Fender: Programming with Relaxed Memory Models

View Project

CORE: Foundations of Practical Concurrency Analysis

View Project

Architecture-Guided Program Analysis

View Project

Completed Projects:

Practical Lower Bounds for Concurrent Algorithms

View Project

Quality Virtual Machine


View Project

Paraglide: Synthesis of Concurrent Systems

View Project