Simon J. Gay

75 papers A* 5A 4B 4C 4Misc 1Journal 33Unranked 21
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 J jnl
The Duality of λ-Abstraction.
Proc. ACM Program. Lang.
Vikraman Choudhury, Simon J. Gay
2024 J jnl
A Session Type System for Asynchronous Unreliable Broadcast Communication.
Log. Methods Comput. Sci.
Dimitrios Kouzapas, Ramunas Gutkovas, Adriana Laura Voinea, Simon J. Gay
2023 J jnl
Special Delivery: Programming with Mailbox Types (Extended Version).
CoRR
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
2023 J jnl
Special Delivery: Programming with Mailbox Types.
Proc. ACM Program. Lang.
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
2022 B conf
The Different Shades of Infinite Session Types.
FoSSaCS
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
2022 J jnl
The Different Shades of Infinite Session Types.
CoRR
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
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
2020 — conf
Cables, Trains and Types.
From Lambda Calculus to Cybersecurity Through Program Analysis
Simon J. Gay
2020 — conf
Duality of Session Types: The Final Cut.
PLACES@ETAPS
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
2020 C conf
Typechecking Java Protocols with [St]Mungo.
FORTE
Adriana Laura Voinea, Ornela Dardha, Simon J. Gay
2019 J jnl
A Session Type System for Asynchronous Unreliable Broadcast Communication.
CoRR
Dimitrios Kouzapas, Ramunas Gutkovas, Adriana Laura Voinea, Simon J. Gay
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
Automated Equivalence Checking of Concurrent Quantum Systems.
ACM Trans. Comput. Log.
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
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
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).
Dagstuhl Reports
Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida
2016 J jnl
Behavioral Types in Programming Languages.
Found. Trends Program. Lang.
Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos, Nobuko Yoshida
2016 J jnl
Behavioural Prototypes.
CoRR
Roly Perera, Simon J. Gay
2016 — conf
Benefits of session types for software development.
PLATEAU@SPLASH
Adriana Laura Voinea, Simon J. Gay
2016 J jnl
Liveness for Verification.
CoRR
Roly Perera, Simon J. Gay
2016 — conf
Multiparty Compatibility for Concurrent Objects.
PLACES
Roly Perera, Julien Lange, Simon J. Gay
2016 J jnl
Preface to special issue: behavioural types.
Math. Struct. Comput. Sci.
Simon J. Gay, António Ravara
2016 J jnl
Preface to special issue: behavioural types.
Math. Struct. Comput. Sci.
Simon J. Gay, António Ravara
2016 — conf
Subtyping Supports Safe Session Substitution.
A List of Successes That Can Change the World
Simon J. Gay
2016 C conf
Typechecking protocols with Mungo and StMungo.
PPDP
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
2015 Misc conf
A Routing Calculus with Flooding Updates.
ICDCIT
Manish Gaur, Simon J. Gay, Ian Mackie
2015 C conf
Equational Reasoning About Quantum Protocols.
RC
Simon J. Gay, Ittoop Vergheese Puthoor
2015 J jnl
Modular Session Types for Objects
Log. Methods Comput. Sci.
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
2014 — conf
On Duality Relations for Session Types.
TGC
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
2014 — conf
Session Types as Generic Process Types.
EXPRESS/SOS
Simon J. Gay, Nils Gesbert, António Ravara
2014 — conf
Session Types for Broadcasting.
PLACES
Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay
2014 A conf
Verification of Concurrent Quantum Protocols by Equivalence Checking.
TACAS
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
2014 — conf
Verification of Linear Optical Quantum Computing using Quantum Process Calculus.
EXPRESS/SOS
Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor
2013 J jnl
Automated Verification of Quantum Protocols by Equivalence Checking.
CoRR
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
2013 A conf
Equivalence Checking of Quantum Protocols.
TACAS
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
2013 C conf
Quantum Process Calculus for Linear Optical Quantum Computing.
RC
Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor
2013 — conf
Techniques for Formal Modelling and Analysis of Quantum Systems.
Computation, Logic, Games, and Quantum Foundations
Simon J. Gay, Rajagopal Nagarajan
2012 — conf
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols
QPL
Simon J. Gay, Ittoop Vergheese Puthoor
2012 J jnl
Model Checking for Communicating Quantum Processes.
Int. J. Unconv. Comput.
Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou
2012 — ed.
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012.
PLACES
Simon J. Gay, Paul Kelly
2011 — conf
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus
QPL
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor
2011 — conf
Formal Analysis of Quantum Systems using Process Calculus
ICE
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan
2011 J jnl
Stabilizer States as a Basis for Density Matrices
CoRR
Simon J. Gay
2010 J jnl
Linear type theory for asynchronous session types.
J. Funct. Program.
Simon J. Gay, Vasco Thudichum Vasconcelos
2010 A* conf
Modular session types for distributed object-oriented programming.
POPL
Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
2010 J jnl
Type inference and strong static type checking for Promela.
Sci. Comput. Program.
Alastair F. Donaldson, Simon J. Gay
2009 — ed.
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009.
PLACES
Alastair R. Beresford, Simon J. Gay
2008 J jnl
Bounded polymorphism in session types.
Math. Struct. Comput. Sci.
Simon J. Gay
2008 A* conf
QMC: A Model Checker for Quantum Systems.
CAV
Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
2006 J jnl
Quantum programming languages: survey and bibliography.
Math. Struct. Comput. Sci.
Simon J. Gay
2006 J jnl
Type checking a multithreaded functional language with session types.
Theor. Comput. Sci.
Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
2006 J jnl
Types and typechecking for Communicating Quantum Processes.
Math. Struct. Comput. Sci.
Simon J. Gay, Rajagopal Nagarajan
2005 J jnl
An Automated Analysis of the Security of Quantum Key Distribution
CoRR
Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay
2005 A* conf
Communicating quantum processes.
POPL
Simon J. Gay, Rajagopal Nagarajan
2005 — conf
Etch: An Enhanced Type Checking Tool for Promela.
SPIN
Alastair F. Donaldson, Simon J. Gay
2005 J jnl
Probabilistic Model-Checking of Quantum Protocols
CoRR
Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
2005 J jnl
Quantum Programming Languages: Survey and Bibliography.
Bull. EATCS
Simon J. Gay
2005 J jnl
Subtyping for session types in the pi calculus.
Acta Informatica
Simon J. Gay, Malcolm Hole
2004 B conf
Session Types for Functional Multithreading.
CONCUR
Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
2003 J jnl
Intensional and Extensional Semantics of Dataflow Programs.
Formal Aspects Comput.
Simon J. Gay, Rajagopal Nagarajan
2001 — conf
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL.
TPHOLs
Simon J. Gay
1999 J jnl
A Specification Structure for Deadlock-Freedom of Synchronous Processes.
Theor. Comput. Sci.
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
1999 A conf
Types and Subtypes for Client-Server Interactions.
ESOP
Simon J. Gay, Malcolm Hole
1997 — conf
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems.
TACS
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
1996 — conf
Interaction categories and the foundations of typed concurrent programming.
NATO ASI DPD
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
1995 A* conf
A Typed Calculus of Synchronous Processes
LICS
Simon J. Gay, Rajagopal Nagarajan
1995 — conf
Specification Structures and Propositions-as-Types for Concurrency.
Banff Higher Order Workshop
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
1994 — conf
An Internal Language for Interaction Categories.
Theory and Formal Methods
Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
1994 — conf
Combinators for Interaction Nets.
Theory and Formal Methods
Simon J. Gay
1993 A* conf
A Sort Inference Algorithm for the Polyadic Pi-Calculus.
POPL
Simon J. Gay
1993 — conf
Modelling SIGNAL in Interaction Categories.
Theory and Formal Methods
Simon J. Gay, Rajagopal Nagarajan
1993 — ed.
Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993
Theory and Formal Methods
Geoffrey Livingston Burn, Simon J. Gay, Mark Ryan