Ornela Dardha

According to our database, Ornela Dardha authored at least 39 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Preface.

Valentina Castiglioni, Ornela Dardha, Claudio Antares Mezzina

Inf. Comput., 2025

2024

MAG π!: The Role of Replication in Typing Failure-Prone Communication.

Matthew Alan Le Brun, Ornela Dardha

CoRR, 2024

Session Types for the Transport Layer: Towards an Implementation of TCP.

Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha

Proceedings of the Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2024

MAGπ!: The Role of Replication in Typing Failure-Prone Communication.

Matthew Alan Le Brun, Ornela Dardha

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

Coconut: Typestates for Embedded Systems.

Arwa Hameed Alsubhi, Ornela Dardha

Proceedings of the Coordination Models and Languages, 2024

2023

Structural Subtyping as Parametric Polymorphism.

Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley

Proc. ACM Program. Lang., October, 2023

Prioritise the Best Variation.

Wen Kokke, Ornela Dardha

Log. Methods Comput. Sci., 2023

Separating Sessions Smoothly.

Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris

Log. Methods Comput. Sci., 2023

EXPRESSing Session Types.

Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Traced Types for Safe Strategic Rewriting.

Rongxiao Fu, Ornela Dardha, Michel Steuwer

CoRR, 2023

MAGπ: Types for Failure-Prone Communication.

Matthew Alan Le Brun, Ornela Dardha

Proceedings of the Programming Languages and Systems, 2023

2022

Comparing type systems for deadlock freedom.

Ornela Dardha, Jorge A. Pérez

J. Log. Algebraic Methods Program., 2022

Session Types Revisited: A Decade Later.

Ornela Dardha, Elena Giachino, Davide Sangiorgi

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact).

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

Dagstuhl Artifacts Ser., 2021

Papaya: Global Typestate Analysis of Aliased Objects Extended Version.

Mathias Jakobsen, Alice Ravier, Ornela Dardha

CoRR, 2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version).

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

CoRR, 2021

Row-Polymorphic Types for Strategic Rewriting.

Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer

CoRR, 2021

Papaya: Global Typestate Analysis of Aliased Objects.

Mathias Jakobsen, Alice Ravier, Ornela Dardha

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

Deadlock-free session types in linear Haskell.

Wen Kokke, Ornela Dardha

Proceedings of the Haskell 2021: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell, 2021

π with Leftovers: A Mechanisation in Agda.

Uma Zalakain, Ornela Dardha

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Typechecking Java Protocols with [St]Mungo.

A. Laura Voinea, Ornela Dardha, Simon J. Gay

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

SFJ: An Implementation of Semantic Featherweight Java.

Artem Usov, Ornela Dardha

Proceedings of the Coordination Models and Languages, 2020

2019

Resource Sharing via Capability-Based Multiparty Session Types.

A. Laura Voinea, Ornela Dardha, Simon J. Gay

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Sci. Comput. Program., 2018

A New Linear Logic for Deadlock-Free Session-Typed Processes.

Ornela Dardha, Simon J. Gay

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Session types revisited.

Ornela Dardha, Elena Giachino, Davide Sangiorgi

Inf. Comput., 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2017

Semantic Subtyping for Objects and Classes.

Ornela Dardha, Daniele Gorla, Daniele Varacca

Comput. J., 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2016

Type Systems for Distributed Programs: Components and Sessions.

Ornela Dardha

Atlantis Studies in Computing 7, Springer / Atlantis Press, ISBN: 978-94-6239-204-5, 2016

Typechecking protocols with Mungo and StMungo.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

2015

Type Systems for Distributed Programs: Session Communication.

Ornela Dardha

Bull. EATCS, 2015

Comparing Deadlock-Free Session Typed Processes.

Ornela Dardha, Jorge A. Pérez

Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, 2015

2014

Type Systems for Distributed Programs: Components and Sessions.

Ornela Dardha

PhD thesis, 2014

Recursive Session Types Revisited.

Ornela Dardha

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

On Duality Relations for Session Types.

Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Progress as Compositional Lock-Freedom.

Marco Carbone, Ornela Dardha, Fabrizio Montesi

Proceedings of the Coordination Models and Languages, 2014

2013

A Type System for Components.

Ornela Dardha, Elena Giachino, Michael Lienhardt

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013