Here is the list of software that I recently developed as part
of my research activities:
- EasyJoin – Concurrent Typestate-Oriented Programming in Java
Join pattern compiler and code
generator enabling concurrent TSOP
in Java with runtime detection of protocol violations.
- MC² – the Mailbox Calculus Checker
Mailbox conformance and deadlock analysis in the
Mailbox Calculus, an extension of the actor
model where processes communicate through
Protocol and deadlock analysis in the Objective
OCaml library of binary
sessions featuring equi-recursive, polymorphic,
context-free session types, delegation, subtyping, session
Session type inference, deadlock- and lock-freedom analysis in
the linear π-calculus.