Proceedings Papers

MAGπ: Types for Failure-Prone Communication
Matthew Alan Le Brun, Ornela Dardha
In Proceedings of the European Symposium on Programming (ESOP) 2023
Session Types Revisited: A Decade Later
Ornela Dardha, Elena Giachino, Davide Sangiorgi
In Proceedings of the International Symposium on Principles and Practice of Declarative Programming (PPDP) 2022
Invited paper for the 10 Year Most Influential Paper Award of Session Types Revisited at PPDP'12
Papaya: Global Typestate Analysis of Aliased Objects
Mathias Jakobsen, Alice Ravier, Ornela Dardha
In Proceedings of the International Symposium on Principles and Practice of Declarative Programming (PPDP) 2021
Separating Sessions Smoothly
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
In Proceedings of the International Conference on Concurrency Theory (CONCUR) 2021
Best Paper Award Nominee
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
In Proceedings of the European Conference of Object-Oriented Programming (ECOOP) 2021
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact)
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
Dagstuhl Artifacts Series (DARTS) 2021
Deadlock-Free Session Types in Linear Haskell
Wen Kokke, Ornela Dardha
In Proceedings of the ACM SIGPLAN International Symposium on Haskell (Haskell) 2021
Prioritise the Best Variation
Wen Kokke, Ornela Dardha
In Proceedings of Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2021
π with leftovers: a mechanisation in Agda
Uma Zalakain, Ornela Dardha
In Proceedings of Formal Techniques for Distributed Objects, Components, and Systems (FORTE) 2021
SFJ: An Implementation of Semantic Featherweight Java
Artem Usov, Ornela Dardha
In Proceedings of Coordination Models and Languages (COORDINATION) 2020
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
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 (DARTS) 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
10 Year Most Influential Paper Award

Journal Articles

Comparing Type Systems for Deadlock Freedom
Ornela Dardha, Jorge A. Perez
Journal of Logical and Algebraic Methods in Programming 2022
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

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

Edited Books

Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics
Valentina Castiglioni, Ornela Dardha (eds.)
EPTCS 339, 2021
Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021, Proceedings
Ferruccio Damiani, Ornela Dardha (eds.)
LNCS 12717, Springer 2021, ISBN 978-3-030-78141-5
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics
Ornela Dardha, Jurriaan Rot (eds.)
EPTCS 322, 2020

Unpublished

MAGπ: Types for Failure-Prone Communication
Matthew Alan Le Brun, Ornela Dardha
Extended Abstract at the 14th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software (PLACES) 2023
Session Type Systems Compared: The Case of Deadlock Freedom
Ornela Dardha, Jorge A. Perez
Extended Abstract at the 28th International Conference on Types for Proofs and Programs (TYPES) 2022
Coconut: Typestates for C++
Arwa Hameed Alsubhi, Ornela Dardha
Extended Abstract at the 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software (PLACES) 2022
Capable GV: Capabilities for Session Types in GV
Magdalena J. Latifa, Ornela Dardha
Extended Abstract at the 13th Workshop on Programming Language Approaches to Concurrency- & Communication-cEntric Software (PLACES) 2022
Co-Contextual Typing Inference for the Linear π-Calculus in Agda (Extended Abstract)
Uma Zalakain, Ornela Dardha
Extended Abstract at the Workshop on Type-Driven Development (TyDe) 2021
Row-Polymorphic Types for Strategic Rewriting
Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer
Unpublished Report 2021
Experience of Teaching Theory of Computation
Ornela Dardha
Unpublished Report 2020
A New Linear Logic for Deadlock-Free Session-Typed Processes (Talk Abstract)
Ornela Dardha, Simon J. Gay
Talk Abstract at Women in Logic Workshop (WiL) 2018
Semantic Subtyping for Objects and Classes
Ornela Dardha, Daniele Gorla, Daniele Varacca
Short Paper and Poster in Work-in-Progress Session at the International Conference on the Principles and Practice of Programming in Java (PPPJ) 2010

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