MobilityReadingGroup

π-calculus, Session Types research at the University of Oxford

Publications

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

2017

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.
Søren Debois, Thomas Hildebrandt, Tijs Slaats, Nobuko Yoshida: Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. LMCS : 1 - 38.

2015

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida: A Gentle Introduction to Multiparty Asynchronous Session Types. SFM-15:MP : 146 - 178.
Junyi Xie, Xinyu Niu, Andy K.S. Lau, Kevin K Tsia, Haden K.H. So: Accelerated cell imaging and classification on FPGAs for quantitative-phase asymmetric-detection time-stretch optical microscopy. FPT 2015 : 1 - 8.
Laura Bocchi, Emilio Tuosto: Attribute-Based Transactions in Service Oriented Computing. MSCS : 619 - 665.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Characteristic Bisimulations for Higher-Order Session Processes. CONCUR 2015 : 398 - 411.
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida: Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness. ArXiv : 1 - 20.
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida: Dynamic deadlock verification for general barrier synchronisation. PPoPP 2015 : 150 - 160.
Julien Lange, Emilio Tuosto, Nobuko Yoshida: From communicating machines to graphical choreographies. POPL 2015 : 221 - 232.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani: Global Progress for Dynamically Interleaved Multiparty Sessions. MSCS : 238 - 302.
Dimitrios Kouzapas, Nobuko Yoshida: Globally Governed Session Semantics. LMCS .
Laura Bocchi, Julien Lange, Nobuko Yoshida: Meeting Deadlines Together. CONCUR 2015 : 283 - 296.
Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida: Multiparty Session Types as Coherence Proofs. CONCUR 2015 : 412 - 426.
Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda: On Asynchronous Eventful Session Semantics. MSCS : 1 - 62.
Romain Demangeon, Nobuko Yoshida: On the Expressiveness of Multiparty Session Types. FSTTCS 2015 : 560 - 574.
Nicholas Ng, Nobuko Yoshida: Pabble: parameterised Scribble. SOCA : 269 - 284.
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida: Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python. FMSD : 1 - 29.
Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida: Protocol-Based Verification of Message-Passing Parallel Programs. OOPSLA'15 : 280 - 298.
Nicholas Ng, Jose G.F. Coutinho, Nobuko Yoshida: Protocols by Default: Safe MPI Code Generation based on Session Types. CC 2015 : 212 - 232.
Francesco Tiezzi, Nobuko Yoshida: Reversible Session-Based Pi-Calculus. JLAMP : 684 - 707.