Research

Projects

Safely Combining Concurrency Abstractions (since 2012)
Concurrent programming is hard, and we make it harder by using abstractions that cannot be combined safely.
In this project, we search for safe and efficient combinations.