Why?

Existing concurrent programming practices leave practitioners with no choice but to
program using unbridled concurrency mechanisms, and then find and remove concurrency errors.
We believe that this path is untenable. The Panini project investigates an alternative:
create abstractions that eliminate classes of concurrency errrors by construction.
Our work focusses on an abstraction called a capsule,
a boundary within which you can write and reuse sequential code as is.
We work on increasing the class of concurrency errors that can be eliminated
from capsule-oriented programs by construction.