Travelled to:1 × France
1 × Italy
1 × Spain
1 × The Netherlands
4 × USA
Collaborated with:R.Nagarajan E.Ardeshir-Larijani M.Hole ∅ A. Laura Voinea N.Papanikolaou D.Kouzapas O.Dardha R.Perera V.T.Vasconcelos A.Ravara N.Gesbert A.Z.Caldeira
Talks about:quantum (4) type (4) protocol (3) calculus (2) session (2) process (2) equival (2) mungo (2) check (2) typecheck (1)
Person: Simon J. Gay
DBLP: Gay:Simon_J=
Contributed to:
20142013
2010
20082005
1999
19951993
2016
2016Wrote 10 papers:
- TACAS-2014-Ardeshir-LarijaniGN #concurrent #equivalence #protocol #quantum #verification
- Verification of Concurrent Quantum Protocols by Equivalence Checking (EAL, SJG, RN), pp. 500–514.
- TACAS-2013-Ardeshir-LarijaniGN #equivalence #protocol #quantum
- Equivalence Checking of Quantum Protocols (EAL, SJG, RN), pp. 478–492.
- POPL-2010-GayVRGC #composition #distributed #object-oriented #programming
- Modular session types for distributed object-oriented programming (SJG, VTV, AR, NG, AZC), pp. 299–312.
- CAV-2008-GayNP #model checking #named #quantum
- QMC: A Model Checker for Quantum Systems (SJG, RN, NP), pp. 543–547.
- POPL-2005-GayN #communication #process #quantum
- Communicating quantum processes (SJG, RN), pp. 145–157.
- ESOP-1999-GayH #interactive #type system
- Types and Subtypes for Client-Server Interactions (SJG, MH), pp. 74–90.
- LICS-1995-GayN #calculus #process
- A Typed Calculus of Synchronous Processes (SJG, RN), pp. 210–220.
- POPL-1993-Gay #algorithm #π-calculus
- A Sort Inference Algorithm for the Polyadic π-Calculus (SJG), pp. 429–438.
- PLATEAU-2016-VoineaG #development
- Benefits of session types for software development (ALV, SJG), pp. 26–29.
- PPDP-2016-KouzapasDPG #protocol
- Typechecking protocols with Mungo and StMungo (DK, OD, RP, SJG), pp. 146–159.