Simon J. Gay

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 26

Top Topics

Quantum Computing

Programming Language

Resource Sharing

Top Venues

Math. Struct. Comput. Sci.

Publications

Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay
A Session Type System for Asynchronous Unreliable Broadcast Communication. Log. Methods Comput. Sci. 20 (3) (2024)
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
Special Delivery: Programming with Mailbox Types (Extended Version). CoRR (2023)
Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder
Special Delivery: Programming with Mailbox Types. Proc. ACM Program. Lang. 7 (ICFP) (2023)
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
The Different Shades of Infinite Session Types. CoRR (2022)
Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos
The Different Shades of Infinite Session Types. FoSSaCS (2022)
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)
Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version). CoRR (2021)
Simon J. Gay
Cables, Trains and Types. From Lambda Calculus to Cybersecurity Through Program Analysis (2020)
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Typechecking Java Protocols with [St]Mungo. FORTE (2020)
Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos
Duality of Session Types: The Final Cut. PLACES@ETAPS (2020)
A. Laura Voinea, Ornela Dardha, Simon J. Gay
Resource Sharing via Capability-Based Multiparty Session Types. IFM (2019)
Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay
A Session Type System for Asynchronous Unreliable Broadcast Communication. CoRR (2019)
Ornela Dardha, Simon J. Gay
A New Linear Logic for Deadlock-Free Session-Typed Processes. FoSSaCS (2018)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Automated Equivalence Checking of Concurrent Quantum Systems. ACM Trans. Comput. Log. 19 (4) (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)
Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida
Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051). Dagstuhl Reports 7 (1) (2017)
Roly Perera, Simon J. Gay
Behavioural Prototypes. CoRR (2016)
Roly Perera, Julien Lange, Simon J. Gay
Multiparty Compatibility for Concurrent Objects. PLACES (2016)
Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay
Typechecking protocols with Mungo and StMungo. PPDP (2016)
Roly Perera, Simon J. Gay
Liveness for Verification. CoRR (2016)
Simon J. Gay
Subtyping Supports Safe Session Substitution. A List of Successes That Can Change the World (2016)
Simon J. Gay, António Ravara
Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26 (2) (2016)
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
Behavioral Types in Programming Languages. Found. Trends Program. Lang. 3 (2-3) (2016)
A. Laura Voinea, Simon J. Gay
Benefits of session types for software development. PLATEAU@SPLASH (2016)
Simon J. Gay, António Ravara
Preface to special issue: behavioural types. Math. Struct. Comput. Sci. 26 (3) (2016)
Manish Gaur, Simon J. Gay, Ian Mackie
A Routing Calculus with Flooding Updates. ICDCIT (2015)
Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos
Modular Session Types for Objects Log. Methods Comput. Sci. 11 (4) (2015)
Simon J. Gay, Ittoop Vergheese Puthoor
Equational Reasoning About Quantum Protocols. RC (2015)
Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor
Verification of Linear Optical Quantum Computing using Quantum Process Calculus. EXPRESS/SOS (2014)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Verification of Concurrent Quantum Protocols by Equivalence Checking. TACAS (2014)
Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay
Session Types for Broadcasting. PLACES (2014)
Simon J. Gay, Nils Gesbert, António Ravara
Session Types as Generic Process Types. EXPRESS/SOS (2014)
Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas
On Duality Relations for Session Types. TGC (2014)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Equivalence Checking of Quantum Protocols. TACAS (2013)
Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan
Automated Verification of Quantum Protocols by Equivalence Checking. CoRR (2013)
Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor
Quantum Process Calculus for Linear Optical Quantum Computing. RC (2013)
Simon J. Gay, Rajagopal Nagarajan
Techniques for Formal Modelling and Analysis of Quantum Systems. Computation, Logic, Games, and Quantum Foundations (2013)
Simon J. Gay, Ittoop Vergheese Puthoor
Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols QPL (2012)
Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou
Model Checking for Communicating Quantum Processes. Int. J. Unconv. Comput. 8 (1) (2012)
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor
Analysis of a Quantum Error Correcting Code using Quantum Process Calculus QPL (2011)
Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan
Formal Analysis of Quantum Systems using Process Calculus ICE (2011)
Simon J. Gay
Stabilizer States as a Basis for Density Matrices CoRR (2011)
Simon J. Gay, Vasco Thudichum Vasconcelos
Linear type theory for asynchronous session types. J. Funct. Program. 20 (1) (2010)
Alastair F. Donaldson, Simon J. Gay
Type inference and strong static type checking for Promela. Sci. Comput. Program. 75 (11) (2010)
Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira
Modular session types for distributed object-oriented programming. POPL (2010)
Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
QMC: A Model Checker for Quantum Systems. CAV (2008)
Simon J. Gay
Bounded polymorphism in session types. Math. Struct. Comput. Sci. 18 (5) (2008)
Simon J. Gay
Quantum programming languages: survey and bibliography. Math. Struct. Comput. Sci. 16 (4) (2006)
Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara
Type checking a multithreaded functional language with session types. Theor. Comput. Sci. 368 (1-2) (2006)
Simon J. Gay, Rajagopal Nagarajan
Types and typechecking for Communicating Quantum Processes. Math. Struct. Comput. Sci. 16 (3) (2006)
Simon J. Gay, Malcolm Hole
Subtyping for session types in the pi calculus. Acta Informatica 42 (2-3) (2005)
Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou
Probabilistic Model-Checking of Quantum Protocols CoRR (2005)
Simon J. Gay
Quantum Programming Languages: Survey and Bibliography. Bull. EATCS 86 (2005)
Simon J. Gay, Rajagopal Nagarajan
Communicating quantum processes. POPL (2005)
Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay
An Automated Analysis of the Security of Quantum Key Distribution CoRR (2005)
Alastair F. Donaldson, Simon J. Gay
Etch: An Enhanced Type Checking Tool for Promela. SPIN (2005)
Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay
Session Types for Functional Multithreading. CONCUR (2004)
Simon J. Gay, Rajagopal Nagarajan
Intensional and Extensional Semantics of Dataflow Programs. Formal Aspects Comput. 15 (4) (2003)
Simon J. Gay
A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL. TPHOLs (2001)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
A Specification Structure for Deadlock-Freedom of Synchronous Processes. Theor. Comput. Sci. 222 (1-2) (1999)
Simon J. Gay, Malcolm Hole
Types and Subtypes for Client-Server Interactions. ESOP (1999)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems. TACS (1997)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
Interaction categories and the foundations of typed concurrent programming. NATO ASI DPD (1996)
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan
Specification Structures and Propositions-as-Types for Concurrency. Banff Higher Order Workshop (1995)
Simon J. Gay, Rajagopal Nagarajan
A Typed Calculus of Synchronous Processes LICS (1995)
Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan
An Internal Language for Interaction Categories. Theory and Formal Methods (1994)
Simon J. Gay
Combinators for Interaction Nets. Theory and Formal Methods (1994)
Simon J. Gay
A Sort Inference Algorithm for the Polyadic Pi-Calculus. POPL (1993)
Simon J. Gay, Rajagopal Nagarajan
Modelling SIGNAL in Interaction Categories. Theory and Formal Methods (1993)