| 2022 | FOSSACS | The Different Shades of Infinite Session Types. | Simon J. Gay, Diogo Poas, Vasco T. Vasconcelos |
| 2021 | ECOOP | Multiparty Session Types for Safe Runtime Adaptation in an Actor Language. | Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay |
| 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 |
| 2016 | OOPSLA | Benefits of session types for software development. | Adriana Laura Voinea, Simon J. Gay |
| 2016 | PPDP | Typechecking protocols with Mungo and StMungo. | Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay |
| 2015 | ICDCIT | A Routing Calculus with Flooding Updates. | Manish Gaur, Simon J. Gay, Ian Mackie |
| 2015 | RC | Equational Reasoning About Quantum Protocols. | Simon J. Gay, Ittoop Vergheese Puthoor |
| 2014 | TACAS | Verification of Concurrent Quantum Protocols by Equivalence Checking. | Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan |
| 2013 | RC | Quantum Process Calculus for Linear Optical Quantum Computing. | Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor |
| 2013 | TACAS | Equivalence Checking of Quantum Protocols. | Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan |
| 2010 | POPL | Modular session types for distributed object-oriented programming. | Simon J. Gay, Vasco Thudichum Vasconcelos, Antnio Ravara, Nils Gesbert, Alexandre Z. Caldeira |
| 2008 | CAV | QMC: A Model Checker for Quantum Systems. | Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou |
| 2005 | POPL | Communicating quantum processes. | Simon J. Gay, Rajagopal Nagarajan |
| 2004 | CONCUR | Session Types for Functional Multithreading. | Vasco Thudichum Vasconcelos, Antnio Ravara, Simon J. Gay |
| 1999 | ESOP | Types and Subtypes for Client-Server Interactions. | Simon J. Gay, Malcolm Hole |
| 1995 | LICS | A Typed Calculus of Synchronous Processes | Simon J. Gay, Rajagopal Nagarajan |
| 1993 | POPL | A Sort Inference Algorithm for the Polyadic Pi-Calculus. | Simon J. Gay |