default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDOrnela Dardha
Person information
- affiliation: University of Glasgow, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c25]Arwa Hameed Alsubhi
, Ornela Dardha:
Coconut: Typestates for Embedded Systems. COORDINATION 2024: 219-238- [c24]Matthew Alan Le Brun, Ornela Dardha:
MAGπ!: The Role of Replication in Typing Failure-Prone Communication. FORTE 2024: 99-117 - [c23]Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha:
Session Types for the Transport Layer: Towards an Implementation of TCP. PLACES@ETAPS 2024: 22-36 - [i12]Matthew Alan Le Brun, Ornela Dardha:
MAG π!: The Role of Replication in Typing Failure-Prone Communication. CoRR abs/2404.16213 (2024) - 2023
- [j10]Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris:
Separating Sessions Smoothly. Log. Methods Comput. Sci. 19(3) (2023) - [j9]Wen Kokke, Ornela Dardha:
Prioritise the Best Variation. Log. Methods Comput. Sci. 19(4) (2023) - [j8]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): 1093-1121 (2023) - [c22]Matthew Alan Le Brun, Ornela Dardha:
MAGπ: Types for Failure-Prone Communication. ESOP 2023: 363-391 - [c21]Ilaria Castellani, Ornela Dardha, Luca Padovani, Davide Sangiorgi:
EXPRESSing Session Types. EXPRESS/SOS 2023: 8-25 - [i11]Matthew Alan Le Brun, Ornela Dardha:
MAGπ: Types for Failure-Prone Communication. CoRR abs/2301.10827 (2023) - [i10]Wenhao Tang, Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley:
Structural Subtyping as Parametric Polymorphism. CoRR abs/2304.08267 (2023) - [i9]Rongxiao Fu, Ornela Dardha, Michel Steuwer:
Traced Types for Safe Strategic Rewriting. CoRR abs/2304.14154 (2023) - 2022
- [j7]Ornela Dardha, Jorge A. Pérez:
Comparing type systems for deadlock freedom. J. Log. Algebraic Methods Program. 124: 100717 (2022) - [c20]Ornela Dardha, Elena Giachino, Davide Sangiorgi:
Session Types Revisited: A Decade Later. PPDP 2022: 12:1-12:4 - 2021
- [j6]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): 08:1-08:2 (2021) - [c19]Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris:
Separating Sessions Smoothly. CONCUR 2021: 36:1-36:18 - [c18]Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay:
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. ECOOP 2021: 10:1-10:30 - [c17]Wen Kokke, Ornela Dardha:
Prioritise the Best Variation. FORTE 2021: 100-119 - [c16]Uma Zalakain, Ornela Dardha:
π with Leftovers: A Mechanisation in Agda. FORTE 2021: 157-174 - [c15]Wen Kokke, Ornela Dardha:
Deadlock-free session types in linear Haskell. Haskell 2021: 1-13 - [c14]Mathias Jakobsen, Alice Ravier, Ornela Dardha:
Papaya: Global Typestate Analysis of Aliased Objects. PPDP 2021: 19:1-19:13 - [e3]Ferruccio Damiani, Ornela Dardha:
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. Lecture Notes in Computer Science 12717, Springer 2021, ISBN 978-3-030-78141-5 [contents] - [e2]Ornela Dardha, Valentina Castiglioni:
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. EPTCS 339, 2021 [contents] - [i8]Rongxiao Fu, Xueying Qin, Ornela Dardha, Michel Steuwer:
Row-Polymorphic Types for Strategic Rewriting. CoRR abs/2103.13390 (2021) - [i7]Wen Kokke, Ornela Dardha:
Prioritise the Best Variation. CoRR abs/2103.14466 (2021) - [i6]Wen Kokke, Ornela Dardha:
Deadlock-Free Session Types in Linear Haskell. CoRR abs/2103.14481 (2021) - [i5]Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay:
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). CoRR abs/2105.06973 (2021) - [i4]Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris:
Separating Sessions Smoothly. CoRR abs/2105.08996 (2021) - [i3]Mathias Jakobsen, Alice Ravier, Ornela Dardha:
Papaya: Global Typestate Analysis of Aliased Objects Extended Version. CoRR abs/2107.13101 (2021) - 2020
- [c13]Artem Usov, Ornela Dardha:
SFJ: An Implementation of Semantic Featherweight Java. COORDINATION 2020: 153-168 - [c12]A. Laura Voinea, Ornela Dardha, Simon J. Gay:
Typechecking Java Protocols with [St]Mungo. FORTE 2020: 208-224 - [e1]Ornela Dardha, Jurriaan Rot:
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. EPTCS 322, 2020 [contents] - [i2]Uma Zalakain, Ornela Dardha:
π with leftovers: a mechanisation in Agda. CoRR abs/2005.05902 (2020)
2010 – 2019
- 2019
- [c11]A. Laura Voinea, Ornela Dardha, Simon J. Gay:
Resource Sharing via Capability-Based Multiparty Session Types. IFM 2019: 437-455 - 2018
- [j5]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: 52-75 (2018) - [c10]Ornela Dardha, Simon J. Gay:
A New Linear Logic for Deadlock-Free Session-Typed Processes. FoSSaCS 2018: 91-109 - [i1]Ornela Dardha, Jorge A. Pérez:
Comparing Type Systems for Deadlock-Freedom. CoRR abs/1810.00635 (2018) - 2017
- [j4]Ornela Dardha, Daniele Gorla, Daniele Varacca:
Semantic Subtyping for Objects and Classes. Comput. J. 60(5): 636-656 (2017) - [j3]Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). Dagstuhl Artifacts Ser. 3(2): 03:1-03:2 (2017) - [j2]Ornela Dardha, Elena Giachino, Davide Sangiorgi:
Session types revisited. Inf. Comput. 256: 253-286 (2017) - [c9]Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida:
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017: 24:1-24:31 - 2016
- [b2]Ornela Dardha:
Type Systems for Distributed Programs: Components and Sessions. Atlantis Studies in Computing 7, Springer / Atlantis Press 2016, ISBN 978-94-6239-203-8 - [c8]Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay:
Typechecking protocols with Mungo and StMungo. PPDP 2016: 146-159 - 2015
- [j1]Ornela Dardha:
Type Systems for Distributed Programs: Session Communication. Bull. EATCS 117 (2015) - [c7]Ornela Dardha, Jorge A. Pérez:
Comparing Deadlock-Free Session Typed Processes. EXPRESS/SOS 2015: 1-15 - 2014
- [b1]Ornela Dardha:
Type Systems for Distributed Programs: Components and Sessions. University of Bologna, Italy, 2014 - [c6]Marco Carbone, Ornela Dardha, Fabrizio Montesi:
Progress as Compositional Lock-Freedom. COORDINATION 2014: 49-64 - [c5]Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas:
On Duality Relations for Session Types. TGC 2014: 51-66 - [c4]Ornela Dardha:
Recursive Session Types Revisited. BEAT 2014: 27-34 - 2013
- [c3]Ornela Dardha, Daniele Gorla, Daniele Varacca:
Semantic Subtyping for Objects and Classes. FMOODS/FORTE 2013: 66-82 - [c2]Ornela Dardha, Elena Giachino, Michael Lienhardt:
A Type System for Components. SEFM 2013: 167-181 - 2012
- [c1]Ornela Dardha, Elena Giachino, Davide Sangiorgi:
Session types revisited. PPDP 2012: 139-150
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
