- 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