MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Publications

By year:2019 2018 2017 2017 2016 2015 2014 2014 2013 2012 2011 2010 2009 2008

2019

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro: A Sound Algorithm for Asynchronous Session Subtyping. To appear in CONCUR 19.
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Asynchronous Timed Session Types. ESOP 2019 : 583 - 610.
Simon Castellan, Nobuko Yoshida: Causality in Linear Logic. FoSSaCS 2019 : 150 - 168.
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino: Developing secure Bitcoin contracts with BitML.. To appear in ESEC/FSE 2019.
David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida: Distributed Programming Using Role Parametric Session Types in Go. POPL 2019 : 29:1 - 29:30.
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. TOPLAS : 1 - 38.
Rumyana Neykova, Nobuko Yoshida: Featherweight Scribble. ROCCO65 : 236 - 259.
Alceste Scalas, Nobuko Yoshida: Less Is More: Multiparty Session Types Revisited. POPL 2019 : 30:1 - 30:29.
Jonathan King, Nicholas Ng, Nobuko Yoshida: Multiparty Session Type-safe Web Development with Static Linearity. PLACES 2019 : 35 - 46.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: On the Relative Expressiveness of Higher-Order Session Processes. IC : 1 - 54.
Bernardo Toninho, Nobuko Yoshida: Polymorphic Session Processes as Morphisms. To appear in FC.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida: Precise subtyping for synchronous multiparty sessions. JLAMP : 127 - 173.
Simon Castellan, Hugo Paquet: Probabilistic Programming Inference via Intensional Semantics. ESOP 2019 : 322 - 349.
Assel Altayeva, Nobuko Yoshida: Service Equivalence via Multiparty Session Type Isomorphisms. PLACES 2019 : 1 - 11.
Keigo Imai, Nobuko Yoshida, Shoji Yuen: Session-Ocaml: a Session-based Library with Polarities and Lenses. scico : 1 - 50.
Eva Graversen, Iain Phillips, Nobuko Yoshida: Towards a Categorical Representation of Reversible Event Structures. JLAMP : 16 - 59.
Simon Castellan, Nobuko Yoshida: Two Sides of the Same Coin: Session Types and Game Semantics. POPL 2019 : 27:1 - 27:29.
Julien Lange, Nobuko Yoshida: Verifying Asynchronous Interactions via Communicating Session Automata. CAV 2019 : 117 - 97.
Alceste Scalas, Nobuko Yoshida, Elias Benussi: Verifying message-passing programs with dependent behavioural types. PLDI 2019 : 516 - 502.

2018

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida: A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS'18 : 87 - 103.
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal: A Session Type Provider: Compile-time API Generation for Distributed Protocols with Interaction Refinements in F#. CC 2018 : 128 - 138.
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida: A Static Verification Framework for Message Passing in Go using Behavioural Types. ICSE 2018 : 1137 - 1148.
Malte Viering, Tzu-Chun Chen, Patrick Eugster, Raymond Hu, Lukasz Ziarek: A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems. ESOP 2018 : 799 - 826.
Romain Demangeon, Nobuko Yoshida: Causal Computational Complexity of Distributed Processes. LICS 2018 : 344 - 353.
Juliana Franco, Sylvan Clebsch, Sophia Drossopoulou, Jan Vitek, Tobias Wrigstad: Correctness of a Concurrent Object Collector for Actor Languages. ESOP 2018 : 885 - 911.
Bernardo Toninho, Nobuko Yoshida: Depending On Session Typed Process. FoSSaCS 2018 : 128 - 145.
Eva Graversen, Iain Phillips, Nobuko Yoshida: Event Structure Semantics of (controlled) Reversible CCS. RC 2018 : 122 - 102.
Bernardo Toninho, Nobuko Yoshida: Interconnectability of Session Based Logical Processes. TOPLAS : 1 - 42.
Alceste Scalas, Nobuko Yoshida: Multiparty Session Types, Beyond Duality. JLAMP : 55 - 84.
Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel: Non Angelic Concurrent Game Semantics. FoSSaCS 2018 : 3 - 19.
Bernardo Toninho, Nobuko Yoshida: On Polymorphic Sessions And Functions: A Tale of Two (Fully Abstract) Encodings. ESOP 2018 : 827 - 855.
Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winksel: The Concurrent Game Semantics of Probabilistic PCF. LICS 2018 : 215 - 224.

2017

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida: Monitoring Networks through Multiparty Session Types. TCS : 33 - 58.
Rumyana Neykova, Laura Bocchi, Nobuko Yoshida: Timed Runtime Monitoring for Multiparty Conversations. FAOC : 1 - 34.
Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida: A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. ECOOP 2017 : 24:1 - 24:31.
Julien Lange, Emilio Tuosto, Nobuko Yoshida: A Tool for Choreography-Based Analysis of Message-Passing Software. Behavioural Types: from Theory to Tools : 125 - 146.
Bernardo Toninho, Nobuko Yoshida: Certifying data in multiparty session types. JLAMP .
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Characteristic Bisimulation for Higher-Order Session Processes. Acta Inf. : 271 - 341.
Simon Castellan: Concurrent Structures in Game Semantics. The Concurrency Column, EATCS Bulletin : 1 - 31.
Vasco T. Vasconcelos, Francisco Martins, Eduardo R.B. Marques, Nobuko Yoshida, Nicholas Ng: Deductive Verification of MPI Protocols. Behavioural Types: from Theory to Tools : 353 - 372.
Raymond Hu: Distributed Programming Using Java APIs Generated from Session Types. Behavioural Types: from Theory to Tools : 287 - 308.
Raymond Hu, Nobuko Yoshida: Explicit Connection Actions in Multiparty Session Types. FASE 2017 : 116 - 133.
Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida: Fencing off Go: Liveness and Safety for Channel-based Programming. POPL 2017 : 748 - 761.
Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino: Honesty by Typing. LMCS .
Rumyana Neykova, Nobuko Yoshida: How to Verify Your Python Conversations. Behavioural Types: from Theory to Tools : 77 - 98.
Rumyana Neykova, Nobuko Yoshida: Let It Recover: Multiparty Protocol-Induced Recovery. CC 2017 : 98 - 108.
Rumyana Neykova, Nobuko Yoshida: Multiparty Session Actors. LMCS : 1 - 30.
Alceste Scalas, Nobuko Yoshida: Multiparty Session Types, Beyond Duality. PLACES 2017 : 37 - 38.
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida: Multiparty session types as coherence proofs. Acta Inf. : 1 - 27.
Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida: On the Preciseness of Subtyping in Session Types. LMCS : 1 - 62.