MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Publications

By year:2018 2017 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. To appear in LICS 2018.
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.
Alceste Scalas , Nobuko Yoshida : Multiparty Session Types, Beyond Duality. JLAMP : 37 - 38.
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 Talk of Two (Fully Abstract) Encodings. ESOP 2018 : 827 - 855.
Simon Castellan , Pierre Clairambault, Hugo Paquet, Glynn Winksel: The Concurrent Game Semantics of Probabilistic PCF. To appear in LICS 2018.

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.
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

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.
Massimo Bartoletti, Alceste Scalas , Emilio Tuosto, Roberto Zunino: Honesty by Typing. To appear in LMCS.
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida : Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. LMCS : 1 - 38.