| 2025 | ESOP | Multiparty Session Types with a Bang! | Matthew Alan Le Brun, Simon Fowler, Ornela Dardha |
| 2024 | Coordination | Coconut: Typestates for Embedded Systems. | Arwa Hameed Alsubhi, Ornela Dardha |
| 2024 | FORTE | MAGπ!: The Role of Replication in Typing Failure-Prone Communication. | Matthew Alan Le Brun, Ornela Dardha |
| 2023 | ESOP | MAGπ: Types for Failure-Prone Communication. | Matthew Alan Le Brun, Ornela Dardha |
| 2022 | PPDP | Session Types Revisited: A Decade Later. | Ornela Dardha, Elena Giachino, Davide Sangiorgi |
| 2021 | CONCUR | Separating Sessions Smoothly. | Simon Fowler, Wen Kokke, Ornela Dardha, Sam Lindley, J. Garrett Morris |
| 2021 | ECOOP | Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. | Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay |
| 2021 | FORTE | Prioritise the Best Variation. | Wen Kokke, Ornela Dardha |
| 2021 | FORTE | π with Leftovers: A Mechanisation in Agda. | Uma Zalakain, Ornela Dardha |
| 2021 | HASKELL | Deadlock-free session types in linear Haskell. | Wen Kokke, Ornela Dardha |
| 2021 | PPDP | Papaya: Global Typestate Analysis of Aliased Objects. | Mathias Jakobsen, Alice Ravier, Ornela Dardha |
| 2020 | Coordination | SFJ: An Implementation of Semantic Featherweight Java. | Artem Usov, Ornela Dardha |
| 2020 | FORTE | Typechecking Java Protocols with [St]Mungo. | Adriana Laura Voinea, Ornela Dardha, Simon J. Gay |
| 2019 | IFM | Resource Sharing via Capability-Based Multiparty Session Types. | Adriana Laura Voinea, Ornela Dardha, Simon J. Gay |
| 2018 | FOSSACS | A New Linear Logic for Deadlock-Free Session-Typed Processes. | Ornela Dardha, Simon J. Gay |
| 2017 | ECOOP | A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. | Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida |
| 2016 | PPDP | Typechecking protocols with Mungo and StMungo. | Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay |
| 2014 | Coordination | Progress as Compositional Lock-Freedom. | Marco Carbone, Ornela Dardha, Fabrizio Montesi |
| 2013 | FORTE | Semantic Subtyping for Objects and Classes. | Ornela Dardha, Daniele Gorla, Daniele Varacca |
| 2013 | SEFM | A Type System for Components. | Ornela Dardha, Elena Giachino, Michael Lienhardt |
| 2012 | PPDP | Session types revisited. | Ornela Dardha, Elena Giachino, Davide Sangiorgi |