Artifacts

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida.
Dagstuhl Artifacts Series, 2017.

Articles and Book Contributions

Mungo and StMungo: Tools for Typechecking Protocols in Java
Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas, Roly Perera, Laura Voinea, and Florian Weber.
Behavioural Types: from Theory to Tools, To Appear.
Session Types Revisited
Ornela Dardha, Elena Giachino and Davide Sangiorgi.
Information and Comptutation, 2017.
Semantic Subtyping for Objects and Classes
Ornela Dardha, Daniele Gorla and Danile Varacca.
The Computer Journal, 2017.
Type Systems for Distributed Programs: Session Communication
Ornela Dardha.
Bulletin of the EATCS, 2015.

Conference and Workshop Proceedings

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Alceste Scalas, Ornela Dardha, Raymond Hu, and Nobuko Yoshida.
In Proceedings of the European Conference of Object-Oriented Programming (ECOOP) 2017.
Typechecking Protocols with Mungo and StMungo
Dimitrios Kouzapas, Ornela Dardha, Roly Perera and Simon J. Gay.
In Proceedings of Principles and Practice of Declarative Programming (PPDP) 2016.
Comparing Deadlock-Free Session Typed Processes
Ornela Dardha and Jorge A. Perez.
In Proceedings of Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS) 2015.
On duality relations for session types
Giovanni Bernardi, Ornela Dardha, Simon J. Gay and Dimitrios Kouzapas.
In Proceedings of Trustworthy Global Computing (TGC) 2014.
Recursive Session Types Revisited
Ornela Dardha.
In Proceedings of Behavioural Types (BEAT) 2014.
Progress as Compositional Lock-Freedom
Marco Carbone, Ornela Dardha and Fabrizio Montesi.
In Proceedings of Coordination Models and Languages (COORDINATION) 2014.
A Type System for Components
Ornela Dardha, Elena Giachino and Michael Lienhardt.
In Proceedings of Software Engineering and Formal Methods (SEFM) 2013.
Semantic Subtyping for Objects and Classes
Ornela Dardha, Daniele Gorla and Danile Varacca.
In Proceedings of Formal Techniques for Distributed Systems (FORTE/FMOODS) 2013.
Session Types Revisited
Ornela Dardha, Elena Giachino and Davide Sangiorgi.
In Proceedings of Principles and Practice of Declarative Programming (PPDP) 2012.

Books and Theses

Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha.
Atlantis Studies in Computing, Springer / Atlantis Press, 2016.
Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha.
PhD Thesis, University of Bologna, 2014.
Semantic Subtyping for Object-Oriented Languages (In Italian)
Ornela Dardha.
MSc Thesis, Sapienza University of Rome, 2010.
A New Type System for Information Flow (In Italian)
Ornela Dardha.
BSc Thesis, Sapienza University of Rome, 2010.

Poster Proceedings

Semantic Subtyping for Objects and Classes
Ornela Dardha, Daniele Gorla and Danile Varacca.
In Proceedings of the Work-in-Progress Session at the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ) 2010.