Publications

(2021). Papaya: Global Typestate Analysis of Aliased Objects Extended Version. Technical Report.

PDF

(2021). Scala-Mungo. Master Thesis.

PDF

(2020). Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. In APLAS.

PDF DOI

(2020). Typestate Inference for Mungo : Algorithm and Implementation. Technical Report.

PDF

(2015). Modular session types for objects. In LMCS.

PDF DOI

(2010). Modular Session Types for Distributed Object-Oriented Programming. In POPL.

PDF DOI