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.
EventRacer: Analysis of Event-Driven Applications
CORE: Foundations of Practical Concurrency Analysis
An Interactive Data Structure Development System
Practical Lower Bounds for Concurrent Algorithms