MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Publications

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

2019

Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Asynchronous Timed Session Types. To appear in ESOP 2019.
Simon Castellan, Nobuko Yoshida: Causality in Linear Logic. To appear in FoSSaCS 2019.
David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida: Distributed Programming Using Role Parametric Session Types in Go. POPL 2019 : 1 - 30.
Alceste Scalas, Nobuko Yoshida: Less Is More: Multiparty Session Types Revisited. POPL 2019 : 1 - 29.
Simon Castellan, Hugo Paquet: Probabilistic Programming Inference via Intensional Semantics. To appear in ESOP 2019.
Simon Castellan, Nobuko Yoshida: Two Sides of the Same Coin: Session Types and Game Semantics. POPL 2019 : 1 - 29.
Alceste Scalas, Nobuko Yoshida, Elias Benussi: Verifying message-passing programs with dependent behavioural types. To appear in PLDI 2019.

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.
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. To appear in TOPLAS.
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.
Keigo Imai, Nobuko Yoshida, Shoji Yuen: Session-Ocaml: a Session-based Library with Polarities and Lenses . scico : 1 - 50.
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.
Julien Lange, Nobuko Yoshida: On the Undecidability of Asynchronous Session Subtyping. FoSSaCS 2017 : 441 - 457.
Nicholas Ng, Nobuko Yoshida: Protocol-Driven MPI Program Generation. Behavioural Types: from Theory to Tools : 329 - 352.
Dominic Orchard, Nobuko Yoshida: Session Types with Linearity in Haskell. Behavioural Types: from Theory to Tools : 219 - 242.
Keigo Imai, Nobuko Yoshida, Shoji Yuen: Session-ocaml: a session-based library with polarities and lenses . COORDINATION 2017 : 99 - 118.
Eva Graversen, Iain Phillips, Nobuko Yoshida: Towards a Categorical Representation of Reversible Event Structures. PLACES 2017 : 49 - 60.

2016

Dominic Orchard, Nobuko Yoshida: Effects as sessions, sessions as effects. POPL 2016 : 568 - 581.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida: Denotational and Operational Preciseness of Subtyping: A Roadmap. Theory and Practice of Formal Methods : 155 - 172.
Alceste Scalas, Nobuko Yoshida: Lightweight Session Programming in Scala. ECOOP 2016 : 21:1 - 21:28.
Francesco Tiezzi, Nobuko Yoshida: Reversing Single Session. RC 2016 : 52 - 69.
Nicholas Ng, Nobuko Yoshida: Static Deadlock Detection for Concurrent Go by Global Session Graph Synthesis. CC 2016 : 174 - 184.