Publications

Mathias Jakobsen, Alice Ravier, Ornela Dardha (2021). Papaya: Global Typestate Analysis of Aliased Objects Extended Version. Technical Report.

Alice Ravier (2021). Scala-Mungo. Master Thesis.

João Mota (2021). Coping with the reality: adding crucial features to a typestate-oriented language. Master Thesis.

Mario Bravetti, Adrian Francalanza, Iaroslav Golovanov, Hans Hüttel, Mathias Jakobsen, Mikkel Kettunen, António Ravara (2020). Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language. In APLAS.

André Trindade, João Mota, António Ravara (2020). Typestates to Automata and back: a tool. In ICE.

Mathias Jakobsen, Iaroslav Golovanov, Mikkel Kettunen (2020). Behavioural Separation with Parallel Usages for a Core Object-Oriented Language. Master Thesis.

Laura Voinea, Ornela Dardha, Simon Gay (2020). Typechecking Java Protocols with [St]Mungo. In FORTE.

Iaroslav Golovanov, Mathias Jakobsen, Mikkel Kettunen (2020). Typestate Inference for Mungo : Algorithm and Implementation. Technical Report.

Laura Voinea, Ornela Dardha, Simon Gay (2019). Resource Sharing via Capability-Based Multiparty Session Types. In iFM.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon Gay (2018). Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. In Science of Computer Programming.

Ornela Dardha, Simon Gay, Dimitrios Kouzapas, Roly Perera, Laura Voinea, Florian Weber (2017). Mungo and StMungo: Tools for Typechecking Protocols in Java. In Behavioural Types from Theory to Tools.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon Gay (2016). Typechecking Protocols with Mungo and StMungo. In PPDP.

Simon Gay, Nils Gesbert, António Ravara, Vasco Vasconcelos (2015). Modular session types for objects. In LMCS.

Simon Gay, Vasco Vasconcelos, António Ravara, Nils Gesbert, Alexandre Caldeira (2010). Modular Session Types for Distributed Object-Oriented Programming. In POPL.