MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Publications

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

2018

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.
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida: Multiparty session types as coherence proofs. Acta Inf. : 1 - 27.
Alceste Scalas, Nobuko Yoshida: Multiparty Session Types, Beyond Duality. PLACES 2017 : 37 - 38.
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

Kohei Honda, Nobuko Yoshida, Marco Carbone: Multiparty Asynchronous Session Types. JACM : 1 - 67.
Hao Zhou, Xinyu Niu, Junqi Yuan, Lingli Wang, Wayne Luk: Connect On the Fly: Enhancing and Prototyping of Cycle-Reconfigurable Modules. FPL 2016 : 1 - 8.
Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk: EURECA Compilation: Automatic Optimisation of Cycle-Reconfigurable Circuits. FPL 2016 : 1 - 4.
Julien Lange, Nobuko Yoshida: Characteristic Formulae for Session Types. TACAS 2016 : 833 - 850.
Raymond Hu, Nobuko Yoshida: Hybrid Session Verification through Endpoint API Generation. FASE 2016 : 401 - 418.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: On the Relative Expressiveness of Higher-Order Session Processes. ESOP 2016 : 446 - 475.
Bernardo Toninho, Nobuko Yoshida: Certifying Data in Multiparty Session Types. WadlerFest : 433 - 458.
Dominic Orchard, Nobuko Yoshida: Effects as sessions, sessions as effects. POPL 2016 : 568 - 581.
Luís Caires, Frank Pfenning, Bernardo Toninho: Linear logic propositions as session types. MSCS : 367 - 423.
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.
Roly Perera, Julien Lange, Simon Gay: Multiparty Compatibility for Concurrent Objects. PLACES'16 : 1 - 10.
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. FTPL : 95 - 230.