Ornela Dardha

57 papers A 3B 4C 13Journal 26Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
Design and Evaluation of Coconut: Typestates for C++.
Sci. Comput. Program.
Arwa Hameed Alsubhi, Ornela Dardha, Simon J. Gay
2025 — conf
Multiparty Session Types with a Bang!
ESOP (2)
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha
2025 J jnl
Multiparty Session Types with a Bang!
CoRR
Matthew Alan Le Brun, Simon Fowler, Ornela Dardha
2025 J jnl
Preface to special issue: EXPRESS/SOS 2019 and EXPRESS/SOS 2020.
Inf. Comput.
Ornela Dardha, Jorge A. Pérez, Jurriaan Rot
2025 J jnl
Preface.
Inf. Comput.
Valentina Castiglioni, Ornela Dardha, Claudio Antares Mezzina
2024 C conf
Coconut: Typestates for Embedded Systems.
COORDINATION
Arwa Hameed Alsubhi, Ornela Dardha
2024 J jnl
MAG π!: The Role of Replication in Typing Failure-Prone Communication.
CoRR
Matthew Alan Le Brun, Ornela Dardha
2024 C conf
MAGπ!: The Role of Replication in Typing Failure-Prone Communication.
FORTE
Matthew Alan Le Brun, Ornela Dardha
2024 — conf
Session Types for the Transport Layer: Towards an Implementation of TCP.
PLACES@ETAPS
Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha
2023 — conf
EXPRESSing Session Types.
EXPRESS/SOS
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
2023 A conf
MAGπ: Types for Failure-Prone Communication.
ESOP
Matthew Alan Le Brun, Ornela Dardha
2023 J jnl
MAGπ: Types for Failure-Prone Communication.
CoRR
Matthew Alan Le Brun, Ornela Dardha
2023 J jnl
Prioritise the Best Variation.
Log. Methods Comput. Sci.
Wen Kokke, Ornela Dardha
2023 J jnl
Separating Sessions Smoothly.
Log. Methods Comput. Sci.
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2023 J jnl
Structural Subtyping as Parametric Polymorphism.
CoRR
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
2023 J jnl
Structural Subtyping as Parametric Polymorphism.
Proc. ACM Program. Lang.
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
2023 J jnl
Traced Types for Safe Strategic Rewriting.
CoRR
Rongxiao Fu, Ornela Dardha, Michel Steuwer
2022 J jnl
Comparing type systems for deadlock freedom.
J. Log. Algebraic Methods Program.
Ornela Dardha, Jorge A. Pérez
2022 C conf
Session Types Revisited: A Decade Later.
PPDP
Ornela Dardha, Elena Giachino, Davide Sangiorgi
2021 C ed.
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
COORDINATION
Ferruccio Damiani, Ornela Dardha
2021 J jnl
Deadlock-Free Session Types in Linear Haskell.
CoRR
Wen Kokke, Ornela Dardha
2021 C conf
Deadlock-free session types in linear Haskell.
Haskell
Wen Kokke, Ornela Dardha
2021 J jnl
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact).
Dagstuhl Artifacts Ser.
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 J jnl
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version).
CoRR
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 A conf
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.
ECOOP
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
2021 J jnl
Papaya: Global Typestate Analysis of Aliased Objects Extended Version.
CoRR
Mathias Jakobsen, Alice Ravier, Ornela Dardha
2021 C conf
Papaya: Global Typestate Analysis of Aliased Objects.
PPDP
Mathias Jakobsen, Alice Ravier, Ornela Dardha
2021 C conf
Prioritise the Best Variation.
FORTE
Wen Kokke, Ornela Dardha
2021 J jnl
Prioritise the Best Variation.
CoRR
Wen Kokke, Ornela Dardha
2021 — ed.
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021.
EXPRESS/SOS
Ornela Dardha, Valentina Castiglioni
2021 J jnl
Row-Polymorphic Types for Strategic Rewriting.
CoRR
Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer
2021 B conf
Separating Sessions Smoothly.
CONCUR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2021 J jnl
Separating Sessions Smoothly.
CoRR
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
2021 C conf
π with Leftovers: A Mechanisation in Agda.
FORTE
Uma Zalakain, Ornela Dardha
2020 — ed.
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020.
EXPRESS/SOS
Ornela Dardha, Jurriaan Rot
2020 C conf
SFJ: An Implementation of Semantic Featherweight Java.
COORDINATION
Artem Usov, Ornela Dardha
2020 C conf
Typechecking Java Protocols with [St]Mungo.
FORTE
Adriana Laura Voinea, Ornela Dardha, Simon J. Gay
2020 J jnl
π with leftovers: a mechanisation in Agda.
CoRR
Uma Zalakain, Ornela Dardha
2019 B conf
Resource Sharing via Capability-Based Multiparty Session Types.
IFM
Adriana Laura Voinea, Ornela Dardha, Simon J. Gay
2018 B conf
A New Linear Logic for Deadlock-Free Session-Typed Processes.
FoSSaCS
Ornela Dardha, Simon J. Gay
2018 J jnl
Comparing Type Systems for Deadlock-Freedom.
CoRR
Ornela Dardha, Jorge A. Pérez
2018 J jnl
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.
Sci. Comput. Program.
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
2017 J jnl
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).
Dagstuhl Artifacts Ser.
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 A conf
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.
ECOOP
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
2017 J jnl
Semantic Subtyping for Objects and Classes.
Comput. J.
Ornela Dardha, Daniele Gorla, Daniele Varacca
2017 J jnl
Session types revisited.
Inf. Comput.
Ornela Dardha, Elena Giachino, Davide Sangiorgi
2016 — book
Type Systems for Distributed Programs: Components and Sessions.
Ornela Dardha
2016 C conf
Typechecking protocols with Mungo and StMungo.
PPDP
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
2015 — conf
Comparing Deadlock-Free Session Typed Processes.
EXPRESS/SOS
Ornela Dardha, Jorge A. Pérez
2015 J jnl
Type Systems for Distributed Programs: Session Communication.
Bull. EATCS
Ornela Dardha
2014 — conf
On Duality Relations for Session Types.
TGC
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
2014 C conf
Progress as Compositional Lock-Freedom.
COORDINATION
Marco Carbone, Ornela Dardha, Fabrizio Montesi
2014 — conf
Recursive Session Types Revisited.
BEAT
Ornela Dardha
2014 — —
Type Systems for Distributed Programs: Components and Sessions.
Ornela Dardha
2013 B conf
A Type System for Components.
SEFM
Ornela Dardha, Elena Giachino, Michael Lienhardt
2013 — conf
Semantic Subtyping for Objects and Classes.
FMOODS/FORTE
Ornela Dardha, Daniele Gorla, Daniele Varacca
2012 C conf
Session types revisited.
PPDP
Ornela Dardha, Elena Giachino, Davide Sangiorgi