Books

Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha
Atlantis Studies in Computing, Springer / Atlantis Press, 2016

Journal Articles and Book Chapters

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

Conference and Workshop Proceedings

A New Linear Logic for Deadlock-Free Session-Typed Processes
Ornela Dardha, Simon J. Gay
In Proceedings of 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2018
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Alceste Scalas, Ornela Dardha, Raymond Hu, 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, Simon J. Gay
In Proceedings of Principles and Practice of Declarative Programming (PPDP) 2016
Comparing Deadlock-Free Session Typed Processes
Ornela Dardha, 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, 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, Fabrizio Montesi
In Proceedings of Coordination Models and Languages (COORDINATION) 2014
A Type System for Components
Ornela Dardha, Elena Giachino, Michael Lienhardt
In Proceedings of Software Engineering and Formal Methods (SEFM) 2013
Semantic Subtyping for Objects and Classes
Ornela Dardha, Daniele Gorla, Daniele Varacca
In Proceedings of Formal Techniques for Distributed Systems (FORTE/FMOODS) 2013
Session Types Revisited
Ornela Dardha, Elena Giachino, Davide Sangiorgi
In Proceedings of Principles and Practice of Declarative Programming (PPDP) 2012

Artifacts

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

Theses

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, Daniele 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