Simon J. Gay

According to our database, Simon J. Gay authored at least 66 papers between 1993 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Special Delivery: Programming with Mailbox Types.

Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

Proc. ACM Program. Lang., August, 2023

Special Delivery: Programming with Mailbox Types (Extended Version).

Simon Fowler, Duncan Paul Attard, Franciszek Sowul, Simon J. Gay, Phil Trinder

CoRR, 2023

2022

The Different Shades of Infinite Session Types.

Simon J. Gay, Diogo Poças, Vasco T. Vasconcelos

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Artifact).

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

Dagstuhl Artifacts Ser., 2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language (Extended version).

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

CoRR, 2021

Multiparty Session Types for Safe Runtime Adaptation in an Actor Language.

Paul Harvey, Simon Fowler, Ornela Dardha, Simon J. Gay

Proceedings of the 35th European Conference on Object-Oriented Programming, 2021

2020

Duality of Session Types: The Final Cut.

Simon J. Gay, Peter Thiemann, Vasco T. Vasconcelos

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

Typechecking Java Protocols with [St]Mungo.

A. Laura Voinea, Ornela Dardha, Simon J. Gay

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2020

Cables, Trains and Types.

Simon J. Gay

Proceedings of the From Lambda Calculus to Cybersecurity Through Program Analysis, 2020

2019

A Session Type System for Asynchronous Unreliable Broadcast Communication.

Dimitrios Kouzapas, Ramunas Gutkovas, A. Laura Voinea, Simon J. Gay

CoRR, 2019

Resource Sharing via Capability-Based Multiparty Session Types.

A. Laura Voinea, Ornela Dardha, Simon J. Gay

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

2018

Automated Equivalence Checking of Concurrent Quantum Systems.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

ACM Trans. Comput. Log., 2018

Typechecking protocols with Mungo and StMungo: A session type toolchain for Java.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Sci. Comput. Program., 2018

A New Linear Logic for Deadlock-Free Session-Typed Processes.

Ornela Dardha, Simon J. Gay

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).

Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida

Dagstuhl Reports, 2017

2016

Preface to special issue: behavioural types.

Simon J. Gay, António Ravara

Math. Struct. Comput. Sci., 2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

Multiparty Compatibility for Concurrent Objects.

Roly Perera, Julien Lange, Simon J. Gay

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Liveness for Verification.

Roly Perera, Simon J. Gay

CoRR, 2016

Behavioural Prototypes.

Roly Perera, Simon J. Gay

CoRR, 2016

Typechecking protocols with Mungo and StMungo.

Dimitrios Kouzapas, Ornela Dardha, Roly Perera, Simon J. Gay

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Benefits of session types for software development.

A. Laura Voinea, Simon J. Gay

Proceedings of the 7th International Workshop on Evaluation and Usability of Programming Languages and Tools, 2016

Subtyping Supports Safe Session Substitution.

Simon J. Gay

Proceedings of the A List of Successes That Can Change the World, 2016

2015

Modular Session Types for Objects

Simon J. Gay, Nils Gesbert, António Ravara, Vasco Thudichum Vasconcelos

Log. Methods Comput. Sci., 2015

Equational Reasoning About Quantum Protocols.

Simon J. Gay, Ittoop Vergheese Puthoor

Proceedings of the Reversible Computation - 7th International Conference, 2015

A Routing Calculus with Flooding Updates.

Manish Gaur, Simon J. Gay, Ian Mackie

Proceedings of the Distributed Computing and Internet Technology, 2015

2014

Session Types for Broadcasting.

Dimitrios Kouzapas, Ramunas Gutkovas, Simon J. Gay

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Session Types as Generic Process Types.

Simon J. Gay, Nils Gesbert, António Ravara

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

Verification of Linear Optical Quantum Computing using Quantum Process Calculus.

Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor

Proceedings of the Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, 2014

On Duality Relations for Session Types.

Giovanni Bernardi, Ornela Dardha, Simon J. Gay, Dimitrios Kouzapas

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Verification of Concurrent Quantum Protocols by Equivalence Checking.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

2013

Automated Verification of Quantum Protocols by Equivalence Checking.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

CoRR, 2013

Equivalence Checking of Quantum Protocols.

Ebrahim Ardeshir-Larijani, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Quantum Process Calculus for Linear Optical Quantum Computing.

Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor

Proceedings of the Reversible Computation - 5th International Conference, 2013

Techniques for Formal Modelling and Analysis of Quantum Systems.

Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky, 2013

2012

Model Checking for Communicating Quantum Processes.

Timothy A. S. Davidson, Simon J. Gay, Hynek Mlnarik, Rajagopal Nagarajan, Nick Papanikolaou

Int. J. Unconv. Comput., 2012

Application of Quantum Process Calculus to Higher Dimensional Quantum Protocols

Simon J. Gay, Ittoop Vergheese Puthoor

Proceedings of the Proceedings 9th Workshop on Quantum Physics and Logic, 2012

2011

Analysis of a Quantum Error Correcting Code using Quantum Process Calculus

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan, Ittoop Vergheese Puthoor

Proceedings of the Proceedings 8th International Workshop on Quantum Physics and Logic, 2011

Stabilizer States as a Basis for Density Matrices

Simon J. Gay

CoRR, 2011

Formal Analysis of Quantum Systems using Process Calculus

Timothy A. S. Davidson, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Proceedings Fourth Interaction and Concurrency Experience, 2011

2010

Type inference and strong static type checking for Promela.

Alastair F. Donaldson, Simon J. Gay

Sci. Comput. Program., 2010

Linear type theory for asynchronous session types.

Simon J. Gay, Vasco Thudichum Vasconcelos

J. Funct. Program., 2010

Modular session types for distributed object-oriented programming.

Simon J. Gay, Vasco Thudichum Vasconcelos, António Ravara, Nils Gesbert, Alexandre Z. Caldeira

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2008

Bounded polymorphism in session types.

Simon J. Gay

Math. Struct. Comput. Sci., 2008

QMC: A Model Checker for Quantum Systems.

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2006

Type checking a multithreaded functional language with session types.

Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara

Theor. Comput. Sci., 2006

Types and typechecking for Communicating Quantum Processes.

Simon J. Gay, Rajagopal Nagarajan

Math. Struct. Comput. Sci., 2006

Quantum programming languages: survey and bibliography.

Simon J. Gay

Math. Struct. Comput. Sci., 2006

2005

Probabilistic Model-Checking of Quantum Protocols

Simon J. Gay, Rajagopal Nagarajan, Nikolaos Papanikolaou

CoRR, 2005

An Automated Analysis of the Security of Quantum Key Distribution

Rajagopal Nagarajan, Nikolaos Papanikolaou, Garry Bowen, Simon J. Gay

CoRR, 2005

Subtyping for session types in the pi calculus.

Simon J. Gay, Malcolm Hole

Acta Informatica, 2005

Etch: An Enhanced Type Checking Tool for Promela.

Alastair F. Donaldson, Simon J. Gay

Proceedings of the Model Checking Software, 2005

Communicating quantum processes.

Simon J. Gay, Rajagopal Nagarajan

Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2005

2004

Session Types for Functional Multithreading.

Vasco Thudichum Vasconcelos, António Ravara, Simon J. Gay

Proceedings of the CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31, 2004

2003

Intensional and Extensional Semantics of Dataflow Programs.

Simon J. Gay, Rajagopal Nagarajan

Formal Aspects Comput., 2003

2001

A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL.

Simon J. Gay

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

1999

A Specification Structure for Deadlock-Freedom of Synchronous Processes.

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Theor. Comput. Sci., 1999

Types and Subtypes for Client-Server Interactions.

Simon J. Gay, Malcolm Hole

Proceedings of the Programming Languages and Systems, 1999

1997

A Type-Theoretic Approach to Deadlock-Freedom of Asynchronous Systems.

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Interaction categories and the foundations of typed concurrent programming.

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the NATO Advanced Study Institute on Deductive Program Design, 1996

1995

A Typed Calculus of Synchronous Processes

Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Proceedings, 1995

Specification Structures and Propositions-as-Types for Concurrency.

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Logics for Concurrency, 1995

1994

Combinators for Interaction Nets.

Simon J. Gay

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

An Internal Language for Interaction Categories.

Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

1993

A Sort Inference Algorithm for the Polyadic Pi-Calculus.

Simon J. Gay

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Modelling SIGNAL in Interaction Categories.

Simon J. Gay, Rajagopal Nagarajan

Proceedings of the Theory and Formal Methods 1993, 1993