Ornela Dardha

ORCID

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 39

Top Venues

University of Bologna, Italy (PHD)

Education History

University of Bologna, Italy

PHD

Publications

Matthew Alan Le Brun, Ornela Dardha
MAG π!: The Role of Replication in Typing Failure-Prone Communication. CoRR (2024)
Arwa Hameed Alsubhi, Ornela Dardha
Coconut: Typestates for Embedded Systems. COORDINATION (2024)
Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha
Session Types for the Transport Layer: Towards an Implementation of TCP. PLACES@ETAPS (2024)
Matthew Alan Le Brun, Ornela Dardha
MAGπ!: The Role of Replication in Typing Failure-Prone Communication. FORTE (2024)
Matthew Alan Le Brun, Ornela Dardha
MAGπ: Types for Failure-Prone Communication. ESOP (2023)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. Log. Methods Comput. Sci. 19 (3) (2023)
Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi
EXPRESSing Session Types. EXPRESS/SOS (2023)
Matthew Alan Le Brun, Ornela Dardha
MAGπ: Types for Failure-Prone Communication. CoRR (2023)
Rongxiao Fu, Ornela Dardha, Michel Steuwer
Traced Types for Safe Strategic Rewriting. CoRR (2023)
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Structural Subtyping as Parametric Polymorphism. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Wen Kokke, Ornela Dardha
Prioritise the Best Variation. Log. Methods Comput. Sci. 19 (4) (2023)
Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley
Structural Subtyping as Parametric Polymorphism. CoRR (2023)
Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session Types Revisited: A Decade Later. PPDP (2022)
Ornela Dardha, Jorge A. Pérez
Comparing type systems for deadlock freedom. J. Log. Algebraic Methods Program. 124 (2022)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CoRR (2021)
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. ECOOP (2021)
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact). Dagstuhl Artifacts Ser. 7 (2) (2021)
Wen Kokke, Ornela Dardha
Prioritise the Best Variation. FORTE (2021)
Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer
Row-Polymorphic Types for Strategic Rewriting. CoRR (2021)
Wen Kokke, Ornela Dardha
Deadlock-Free Session Types in Linear Haskell. CoRR (2021)
Wen Kokke, Ornela Dardha
Deadlock-free session types in linear Haskell. Haskell (2021)
Mathias Jakobsen, Alice Ravier, Ornela Dardha
Papaya: Global Typestate Analysis of Aliased Objects Extended Version. CoRR (2021)
Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris
Separating Sessions Smoothly. CONCUR (2021)
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). CoRR (2021)
Uma Zalakain, Ornela Dardha
π with Leftovers: A Mechanisation in Agda. FORTE (2021)
Mathias Jakobsen, Alice Ravier, Ornela Dardha
Papaya: Global Typestate Analysis of Aliased Objects. PPDP (2021)
Wen Kokke, Ornela Dardha
Prioritise the Best Variation. CoRR (2021)
Artem Usov, Ornela Dardha
SFJ: An Implementation of Semantic Featherweight Java. COORDINATION (2020)
Uma Zalakain, Ornela Dardha
π with leftovers: a mechanisation in Agda. CoRR (2020)
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Typechecking Java Protocols with [St]Mungo. FORTE (2020)
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Resource Sharing via Capability-Based Multiparty Session Types. IFM (2019)
Ornela Dardha, Simon J. Gay
A New Linear Logic for Deadlock-Free Session-Typed Processes. FoSSaCS (2018)
Ornela Dardha, Jorge A. Pérez
Comparing Type Systems for Deadlock-Freedom. CoRR (2018)
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java. Sci. Comput. Program. 155 (2018)
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP (2017)
Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session types revisited. Inf. Comput. 256 (2017)
Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes. Comput. J. 60 (5) (2017)
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
Typechecking protocols with Mungo and StMungo. PPDP (2016)
Ornela Dardha, Jorge A. Pérez
Comparing Deadlock-Free Session Typed Processes. EXPRESS/SOS (2015)
Ornela Dardha
Type Systems for Distributed Programs: Session Communication. Bull. EATCS 117 (2015)
Ornela Dardha
Recursive Session Types Revisited. BEAT (2014)
Marco Carbone, Ornela Dardha, Fabrizio Montesi
Progress as Compositional Lock-Freedom. COORDINATION (2014)
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
On Duality Relations for Session Types. TGC (2014)
Ornela Dardha, Daniele Gorla, Daniele Varacca
Semantic Subtyping for Objects and Classes. FMOODS/FORTE (2013)
Ornela Dardha, Elena Giachino, Michael Lienhardt
A Type System for Components. SEFM (2013)
Ornela Dardha, Elena Giachino, Davide Sangiorgi
Session types revisited. PPDP (2012)

Ornela Dardha.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ornela Dardha