Books and Book Chapters

Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha
Atlantis Studies in Computing, Springer / Atlantis Press, 2016
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

Journal Articles

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

Typechecking Java Protocols with [St]Mungo
A. Laura Voinea, Ornela Dardha, Simon J. Gay
In Proceedings of Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2020
SFJ: An Implementation of Semantic Featherweight Java
Artem Usov, Ornela Dardha
In Proceedings of Coordination Models and Languages (COORDINATION) 2020
Resource Sharing via Capability-Based Multiparty Session Types
A. Laura Voinea, Ornela Dardha, Simon J. Gay
In Proceedings of integrated Formal Methods (iFM) 2019
A New Linear Logic for Deadlock-Free Session-Typed Processes
Ornela Dardha, Simon J. Gay
In Proceedings of 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
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
Dagstuhl Artifacts Series, 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
Semantic Subtyping for Objects and Classes (Short Paper and Poster)
Ornela Dardha, Daniele Gorla, Daniele Varacca
In Proceedings of the Work-in-Progress Session at the International Conference on the Principles and Practice of Programming in Java (PPPJ) 2010

Drafts

π with leftovers: a mechanisation in Agda
Uma Zalakain, Ornela Dardha
Under Revision
Experience of Teaching Theory of Computation
Ornela Dardha
Report/Unpublished 2020
Comparing Type Systems for Deadlock Freedom
Ornela Dardha, Jorge A. Perez
Under Revision
A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
Ornela Dardha, Simon J. Gay
Abstract presented at the Women in Logic Workshop (WiL) 2018

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

Selected Talks

A New Linear Logic for Deadlock-Free Session-Typed Processes
Ornela Dardha (jww S. J. Gay)
Invited talk at University of Leicester, Leicester, UK, 2018
Session Types Revisited
Ornela Dardha (jww E. Giachino and D. Sangiorgi)
Invited talk at INRIA and Univeristy of Nice, Sophia-Antipolis, France, 2017
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
Ornela Dardha (jww A. Scalas, R. Hu and N. Yoshida)
Invited talk at Open Problems in Concurrency Theory (OPCT), Vien, Austria, 2017
Comparing Deadlock-Free Session Typed Processes
Ornela Dardha (jww J. A. Perez)
Paper presentation at ABCD project meeting, Glasgow, UK, 2015
Recursive Session Types Revisited
Ornela Dardha
Paper presentation at Behavioural Types (BEAT), Rome, Italy, 2014
Progress as Compositional Lock-Freedom
Ornela Dardha (jww M. Carbone and F. Montesi)
Paper presentation at Coordination Models and Languages (COORDINATION), Berlin, Germany, 2014
Type Systems for Distributed Programs: Components and Sessions
Ornela Dardha
PhD Thesis Defence, University of Bologna, Bologna, Italy, 19 May 2014