MobilityReadingGroup

π-calculus, Session Types research at Imperial College

Publications

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

2017

Keigo Imai , Shoji Yuen , Nobuko Yoshida : セッション型のOCamlによるデザインと実装. To appear in Computer Software .
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 .
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 .
Bernardo Toninho , Nobuko Yoshida : Certifying data in multiparty session types. JLAMP .
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 : Let It Recover: Multiparty Protocol-Induced Recovery. CC 2017 : 98 - 108 .
Rumyana Neykova , Nobuko Yoshida : Multiparty Session Actors. To appear in LMCS .
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 .
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 .
Dimitrios Kouzapas , Jorge A. Pérez , Nobuko Yoshida : Characteristic Bisimulation for Higher-Order Session Processes. Acta Inf. : 1 - 71 .
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 .

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 .
Dimitris Mostrous , Nobuko Yoshida : Session Typing and Asynchronous Subtyping for the Higher-Order π-Calculus. Inform. Comput. : 227 - 263 .
Alceste Scalas , Massimo Bartoletti : The LTS WorkBench. ICE 2015 : 86 - 98 .
Dominic Orchard , Nobuko Yoshida : Using session types as an effect system. PLACES'15 : 1 - 12 .

2014

Massimo Bartoletti , Julien Lange , Alceste Scalas , Roberto Zunino : Choreographies in the Wild. SCP : 1 - 25 .
Vladimiro Sassone : ETAPS Award: Laudatio for Kohei Honda. Bulletin of the EATCS : 11 - 12 .
Sara Capecchi , Elena Giachino , Nobuko Yoshida : Global Escape in Multiparty Sessions. MSCS : 156 - 295 .
Rumyana Neykova , Nobuko Yoshida : Multiparty Session Actors. COORDINATION 2014 : 131 - 146 .
Luca Fossati , Raymond Hu , Nobuko Yoshida : Multiparty Session Nets. TGC 2014 : 112 - 127 .
Tzu-Chun Chen , Mariangiola Dezani-Ciancaglini , Nobuko Yoshida : On the Preciseness of Subtyping in Session Types. PPDP 2014 : 135 - 146 .
Nicholas Ng , Nobuko Yoshida : Pabble: Parameterised Scribble for Parallel Programming. PDP 2014 : 707 - 714 .
Kohei Honda , Nobuko Yoshida , Martin Berger : Process Types as a Descriptive Tool for Interaction: Control and the Pi-Calculus. RTA-TLCA 2014 : 1 - 20 .
Laura Bocchi , Hernán Melgratti , Emilio Tuosto : Resolving Non-determinism in Choreographies. ESOP 2014 : 512 - 493 .
Kohei Honda , Raymond Hu , Rumyana Neykova , Tzu-Chun Chen , Romain Demangeon , Pierre-Malo Deniélou , Nobuko Yoshida : Structuring Communication with Session Types. COB 2014 : 105 - 127 .
Laura Bocchi , Weizhen Yang , Nobuko Yoshida : Timed Multiparty Session Types. CONCUR 2014 : 419 - 434 .
Rumyana Neykova , Laura Bocchi , Nobuko Yoshida : Timed Runtime Monitoring for Multiparty Conversations. BEAT 2014 : 19 - 26 .
Søren Debois , Thomas Hildebrandt , Tijs Slaats , Nobuko Yoshida : Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion. FORTE 2014 : 1 - 16 .

2013

Kohei Honda , Nobuko Yoshida , Martin Berger : An observationally complete program logic for imperative higher-order functions. TCS : 75 - 101 .
Fabrizio Montesi , Nobuko Yoshida : Compositional Choreographies. CONCUR 2013 : 439 - 425 .
Dimitrios Kouzapas , Nobuko Yoshida : Globally Governed Session Semantics. CONCUR 2013 : 409 - 395 .
Mario Coppo , Mariangiola Dezani-Ciancaglini , Luca Padovani , Nobuko Yoshida : Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013 : 45 - 59 .
Laura Bocchi , Tzu-Chun Chen , Romain Demangeon , Kohei Honda , Nobuko Yoshida : Monitoring Networks through Multiparty Session Types. FMOODS/FORTE 2013 : 50 - 65 .
Pierre-Malo Deniélou , Nobuko Yoshida : Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. ICALP 2013 : 174 - 186 .
Raymond Hu , Rumyana Neykova , Nobuko Yoshida , Romain Demangeon : Practical interruptible conversations: Distributed Dynamic Veriﬁcation with Session Types and Python. RV 2013 : 148 - 130 .
Rumyana Neykova , Nobuko Yoshida , Raymond Hu : SPY: Local Verification of Global Protocols. RV 2013 : 363 - 358 .
Nicholas Ng , Nobuko Yoshida , Wayne Luk : Scalable Session Programming for Heterogeneous High-Performance Systems. SEFM Workshops 2013 : 82 - 98 .
Rumyana Neykova : Session Types Go Dynamic or How to Verify Your Python Conversations. PLACES'13 : 95 - 102 .
Nobuko Yoshida , Raymond Hu , Rumyana Neykova , Nicholas Ng : The Scribble Protocol Language. TGC 2013 : 22 - 41 .
Eduardo R. B. Marques , Francisco Martins , Vasco Thudichum Vasconcelos , Nicholas Ng , Nuno Dias Martins : Towards deductive verification of MPI programs against session types. PLACES'13 : 103 - 113 .

2012

Laura Bocchi , Romain Demangeon , Nobuko Yoshida : A Multiparty Multi-Session Logic. TGC 2012 : 111 - 97 .
Silvia Crafa , Daniele Varacca , Nobuko Yoshida : Event Structure Semantics of Parallel Extrusion in the Pi-Calculus. FoSSaCS 2012 : 225 - 239 .
Luca Fossati , Kohei Honda , Nobuko Yoshida : Intensional and Extensional Characterisation of Global Progress in the π-Calculus. CONCUR 2012 : 287 - 301 .
Nicholas Ng , Nobuko Yoshida , Kohei Honda : Multiparty Session C: Safe Parallel Programming with Message Optimisation. TOOLS 2012 : 202 - 218 .
Pierre-Malo Deniélou , Nobuko Yoshida : Multiparty Session Types Meet Communicating Automata. ESOP 2012 : 194 - 213 .
Romain Demangeon , Kohei Honda : Nested Protocols in Session Types. CONCUR 2012 : 272 - 286 .
Pierre-Malo Deniélou , Nobuko Yoshida , Andi Bejleri , Raymond Hu : Parameterised Multiparty Session Types. LMCS .
Kohei Honda : Session Types and Distributed Computing. ICALP (2) 2012 : 23 .
Nicholas Ng , Nobuko Yoshida , Xinyu Niu , Kuen Hung Tsoi , Wayne Luk : Session Types: Towards safe and fast reconfigurable programming. SIGARCH CAN : 22 - 27 .
Tzu-Chun Chen , Kohei Honda : Specifying Stateful Asynchronous Properties for Distributed Programs. CONCUR 2012 : 209 - 224 .
Marco Carbone , Kohei Honda , Nobuko Yoshida : Structured Communication-Centered Programming for Web Services. TOPLAS : 8:1 - 8:78 .
Laura Bocchi , Julien Lange , Emilio Tuosto : Three Algorithms and a Methodology for Amending Contracts for Choreographies. SACS : 61 - 104 .
Anders S. Henriksen , Lasse Nielsen , Thomas T. Hildebrandt , Nobuko Yoshida , Fritz Henglein : Trustworthy Pervasive Healthcare Services via Multiparty Session Types. FHIES 2012 : 124 - 141 .
Kohei Honda , Eduardo R. B. Marques , Francisco Martins , Nicholas Ng , Vasco Thudichum Vasconcelos , Nobuko Yoshida : Verification of MPI Programs Using Session Types. EuroMPI'12 : 291 - 293 .

2011

Kohei Honda , Nobuko Yoshida : A Unified Theory of Program Logics: An Approach based on the pi-calculus. Comput. J. : 88 - 107 .
Laura Bocchi , Julien Lange , Emilio Tuosto : Amending Contracts for Choreographies. ICE 2011 : 111 - 129 .
Tzu-Chun Chen , Laura Bocchi , Pierre-Malo Deniélou , Kohei Honda , Nobuko Yoshida : Asynchronous Distributed Monitoring for Multiparty Session Enforcement. TGC 2011 : 25 - 45 .
Pierre-Malo Deniélou , Nobuko Yoshida : Dynamic multirole session types. POPL 2011 : 435 - 446 .
Romain Demangeon , Kohei Honda : Full Abstraction in a Subtyped pi-Calculus with Linear Types. CONCUR 2011 : 280 - 296 .
Dimitrios Kouzapas , Nobuko Yoshida , Kohei Honda : On Asynchronous Session Semantics. FMOODS/FORTE 2011 : 228 - 243 .
Nicholas Ng , Nobuko Yoshida , Olivier Pernet , Raymond Hu , Yiannos Kryftis : Safe Parallel Programming with Session Java. COORDINATION 2011 : 110 - 126 .
Kohei Honda , Aybek Mukhamedov , Gary Brown , Tzu-Chun Chen , Nobuko Yoshida : Scribbling Interactions with a Formal Foundation. ICDCIT 2011 : 55 - 75 .
Kohei Honda : Understanding Distributed Services through the π-Calculus. WS-FM 2011 : 1 .

2010

Laura Bocchi , Emilio Tuosto : A Java Inspired Semantics for Transactions in SOC. TGC 2010 : 120 - 134 .
Laura Bocchi , Kohei Honda , Emilio Tuosto , Nobuko Yoshida : A Theory of Design-by-Contract for Distributed Multiparty Interactions. CONCUR 2010 : 162 - 176 .
Kohei Honda , Olivier Laurent : An exact correspondence between a typed pi-calculus and polarised proof-nets. TCS : 2223 - 2238 .
Pierre-Malo Deniélou , Nobuko Yoshida : Buffered Communication Analysis in Distributed Multiparty Sessions. CONCUR 2010 : 343 - 357 .
Sara Capecchi , Elena Giachino , Nobuko Yoshida : Global Escape in Multiparty Sessions. FTTCS 2010 : 338 - 351 .
Lasse Nielsen , Nobuko Yoshida , Kohei Honda : Multiparty Symmetric Sum Types. EXPRESS'10 : 121 - 135 .
Nuno Alves , Raymond Hu , Nobuko Yoshida , Pierre-Malo Deniélou : Secure Execution of Distributed Session Programs. PLACES 2010 : 1 - 11 .
Laura Bocchi , Emilio Tuosto : Testing Attribute-Based Transactions in SOC. FMOODS/FORTE 2010 : 87 - 94 .
Raymond Hu , Dimitrios Kouzapas , Olivier Pernet , Nobuko Yoshida , Kohei Honda : Type-Safe Eventful Sessions in Java. ECOOP 2010 : 329 - 353 .
Daniele Varacca , Nobuko Yoshida : Typed event structures and the linear pi-calculus. TCS : 1949 - 1973 .

2009

Rosario Pugliese , Francesco Tiezzi , Nobuko Yoshida : A Symbolic Semantics for a Calculus for Service-Oriented Computing. ENTCS : 135 - 164 .
Marco Carbone , Nobuko Yoshida , Kohei Honda : Asynchronous Session Types: Exceptions and Multiparty Interactions. SFM 2009 : 187 - 212 .
Dimitris Mostrous , Nobuko Yoshida , Kohei Honda : Global Principal Typing in Partially Commutative Asynchronous Sessions. ESOP 2009 : 316 - 332 .
Mariangiola Dezani-Ciancaglini , Sophia Drossopoulou , Dimitris Mostrous , Nobuko Yoshida : Objects and session types. IC 2009 : 595 - 641 .
Rosario Pugliese , Francesco Tiezzi , Nobuko Yoshida : On Observing Dynamic Prioritised Actions in SOC. ICALP (2) 2009 : 558 - 570 .
Dimitris Mostrous , Nobuko Yoshida : Session-Based Communication Optimisation for Higher-Order Mobile Processes. TLCA 2009 : 203 - 218 .
Andi Bejleri , Raymond Hu , Nobuko Yoshida : Session-Based Programming for Parallel Algorithms: Expressiveness and Performance. PLACES 2009 : 17 - 29 .
Andi Bejleri , Nobuko Yoshida : Synchronous Multiparty Session Types. ENTCS : 3 - 33 .
Kohei Honda , Vasco Thudichum Vasconcelos , Nobuko Yoshida : Type-Directed Compilation for Multicore Programming. ENTCS : 101 - 111 .

2008

Kohei Honda , Nobuko Yoshida : A Unified Theory of Program Logics: An Approach based on the n-Calculus. BCS Int. Acad. Conf. 2008 : 259 - 274 .
Martin Berger , Kohei Honda , Nobuko Yoshida : Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes. ICALP (2) 2008 : 99 - 111 .
Lorenzo Bettini , Mario Coppo , Loris D'Antoni , Marco De Luca , Mariangiola Dezani-Ciancaglini , Nobuko Yoshida : Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008 : 418 - 433 .
Nobuko Yoshida , Kohei Honda , Martin Berger : Logical Reasoning for Higher-Order Functions with Local State. CoRR : 68 - 1 .
Kohei Honda , Nobuko Yoshida , Marco Carbone : Multiparty Asynchronous Session Types. POPL '08 : 273 - 284 .
Nobuko Yoshida , Vasco Thudichum Vasconcelos , Hervé Paulino , Kohei Honda : Session-Based Compilation Framework for Multicore Programming. FMCO 2008 : 226 - 246 .
Raymond Hu , Nobuko Yoshida , Kohei Honda : Session-Based Distributed Programming in Java. ECOOP 2008 : 516 - 541 .
Marco Carbone , Kohei Honda , Nobuko Yoshida : Structured Interactional Exceptions in Session Types. CONCUR 2008 : 402 - 417 .
Marco Carbone , Kohei Honda , Nobuko Yoshida : Theoretical Aspects of Communication-Centred Programming. ENTCS : 125 - 133 .