Nobuko Yoshida

According to our database, Nobuko Yoshida authored at least 238 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs.

Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang

CoRR, 2024

Less is More Revisit.

Nobuko Yoshida, Ping Hou

CoRR, 2024

Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses.

Thien Udomsrirungruang, Nobuko Yoshida

CoRR, 2024

Programming Language Implementations with Multiparty Session Types.

Nobuko Yoshida

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection.

Lorenzo Gheri, Nobuko Yoshida

Proc. ACM Program. Lang., April, 2023

Causal computational complexity of distributed processes.

Romain Demangeon, Nobuko Yoshida

Inf. Comput., January, 2023

Dynamically Updatable Multiparty Session Protocols (Artifact).

David Castro-Perez, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2023

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

Dagstuhl Artifacts Ser., 2023

Checkpoint-based rollback recovery in session programming.

Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

CoRR, 2023

Crash-Stop Failures in Asynchronous Multiparty Session Types.

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

CoRR, 2023

Hybrid Multiparty Session Types - Full Version.

Lorenzo Gheri, Nobuko Yoshida

CoRR, 2023

Multicompatibility for Multiparty-Session Composition.

Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida

Proceedings of the International Symposium on Principles and Practice of Declarative Programming, 2023

Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols.

David Castro-Perez, Nobuko Yoshida

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

Rollback Recovery in Session-Based Programming.

Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 2023

2022

A Type Discipline for Message Passing Parallel Programs.

Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., December, 2022

Introduction to the Special Issue on ESOP 2021.

Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2022

Generic go to go: dictionary-passing, monomorphisation, and hybrid.

Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song

Proc. ACM Program. Lang., 2022

Event structures for the reversible early internal <i>π</i>-calculus.

Eva Graversen, Iain Phillips, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2022

CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce.

Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2022

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact).

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2022

Design-by-Contract for Flexible Multiparty Session Protocols (Artifact).

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2022

On the Expressiveness of Mixed Choice Sessions.

Kirstin Peters, Nobuko Yoshida

Proceedings of the Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, 2022

On the Expressiveness of Mixed Choice Sessions (Technical Report).

Kirstin Peters, Nobuko Yoshida

CoRR, 2022

Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou

CoRR, 2022

Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version.

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

CoRR, 2022

Deadlock-free asynchronous message reordering in rust with multiparty session types.

Zak Cutner, Nobuko Yoshida, Martin Vassor

Proceedings of the PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2, 2022

Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Design-By-Contract for Flexible Multiparty Session Protocols.

Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida

Proceedings of the 36th European Conference on Object-Oriented Programming, 2022

Generalised Multiparty Session Types with Crash-Stop Failures.

Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.

Bernardo Toninho, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2021

Precise subtyping for asynchronous multiparty sessions.

Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida

Proc. ACM Program. Lang., 2021

A Sound Algorithm for Asynchronous Session Subtyping and its Implementation.

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Log. Methods Comput. Sci., 2021

Event structure semantics of (controlled) reversible CCS.

Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2021

Interviews with the 2021 CONCUR Test-of-Time Award Recipients.

Luca Aceto, Nathalie Bertrand, Nobuko Yoshida

Bull. EATCS, 2021

Zooid: a DSL for Certified Multiparty Computation.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

CoRR, 2021

Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes.

David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.

Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira

Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

Safe Session-Based Asynchronous Coordination in Rust.

Zak Cutner, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 2021

CONCUR Test-Of-Time Award 2021 (Invited Paper).

Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

Communication-safe web programming in TypeScript with routed multiparty session types.

Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou

Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020

Multiparty motion coordination: from choreographies to robotics programs.

Rupak Majumdar, Nobuko Yoshida, Damien Zufferey

Proc. ACM Program. Lang., 2020

Featherweight go.

Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

CAMP: cost-aware multiparty session protocols.

David Castro-Perez, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

Statically verified refinements for multiparty protocols.

Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Proc. ACM Program. Lang., 2020

A parametric framework for reversible <i>π</i>-calculi.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Inf. Comput., 2020

Multiparty Session Programming with Global Protocol Combinators (Artifact).

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Dagstuhl Artifacts Ser., 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact).

Julia Gabet, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2020

Game Semantics: Easy as Pi.

Nobuko Yoshida, Simon Castellan, Léo Stefanesco

CoRR, 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version).

Julia Gabet, Nobuko Yoshida

CoRR, 2020

Generating Interactive WebSocket Applications in TypeScript.

Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020

Event structures for the reversible early internal Pi-calculus.

Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida

CoRR, 2020

EMTST: Engineering the Meta-theory of Session Types.

David Castro-Perez, Francisco Ferreira, Nobuko Yoshida

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Towards a Formal Account for Software Transactional Memory.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Proceedings of the Reversible Computation - 12th International Conference, 2020

Event Structures for the Reversible Early Internal π-Calculus.

Eva Graversen, Iain Phillips, Nobuko Yoshida

Proceedings of the Reversible Computation - 12th International Conference, 2020

A Very Gentle Introduction to Multiparty Session Types.

Nobuko Yoshida, Lorenzo Gheri

Proceedings of the Distributed Computing and Internet Technology, 2020

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.

Sung-Shik Jongmans, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2020

Multiparty Session Programming With Global Protocol Combinators.

Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Static Race Detection and Mutex Safety and Liveness for Go Programs.

Julia Gabet, Nobuko Yoshida

Proceedings of the 34th European Conference on Object-Oriented Programming, 2020

Implementing Multiparty Session Types in Rust.

Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 2020

Compiling first-order functions to session-typed parallel code.

David Castro-Perez, Nobuko Yoshida

Proceedings of the CC '20: 29th International Conference on Compiler Construction, 2020

2019

Dynamic Deadlock Verification for General Barrier Synchronisation.

Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2019

Session-ocaml: A session-based library with polarities and lenses.

Keigo Imai, Nobuko Yoshida, Shoji Yuen

Sci. Comput. Program., 2019

Less is more: multiparty session types revisited.

Alceste Scalas, Nobuko Yoshida

Proc. ACM Program. Lang., 2019

Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures.

David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida

Proc. ACM Program. Lang., 2019

Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side.

Simon Castellan, Nobuko Yoshida

Proc. ACM Program. Lang., 2019

Towards a categorical representation of reversible event structures.

Eva Graversen, Iain Phillips, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2019

Precise subtyping for synchronous multiparty sessions.

Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2019

On the relative expressiveness of higher-order session processes.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

Inf. Comput., 2019

A Sound Algorithm for Asynchronous Session Subtyping (extended version).

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

CoRR, 2019

Multiparty Session Type-safe Web Development with Static Linearity.

Jonathan King, Nicholas Ng, Nobuko Yoshida

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

Service Equivalence via Multiparty Session Type Isomorphisms.

Assel Altayeva, Nobuko Yoshida

Proceedings of the Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2019

Developing secure bitcoin contracts with BitML.

Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Effpi: verified message-passing programs in Dotty.

Alceste Scalas, Nobuko Yoshida, Elias Benussi

Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 2019

Verifying message-passing programs with dependent behavioural types.

Alceste Scalas, Nobuko Yoshida, Elias Benussi

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment).

Simon Castellan, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computation Structures, 2019

Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes.

Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2019

Motion Session Types for Robotic Interactions (Brave New Idea Paper).

Rupak Majumdar, Marcus Pirron, Nobuko Yoshida, Damien Zufferey

Proceedings of the 33rd European Conference on Object-Oriented Programming, 2019

A Sound Algorithm for Asynchronous Session Subtyping.

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Proceedings of the 30th International Conference on Concurrency Theory, 2019

Verifying Asynchronous Interactions via Communicating Session Automata.

Julien Lange, Nobuko Yoshida

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

Polymorphic Session Processes as Morphisms.

Bernardo Toninho, Nobuko Yoshida

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

Featherweight Scribble.

Rumyana Neykova, Nobuko Yoshida

Proceedings of the Models, Languages, and Tools for Concurrent and Distributed Programming, 2019

Towards Bidirectional Synchronization Between Communicating Processes and Session Types.

Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu

Proceedings of the IEEE International Conference on Big Data and Smart Computing, 2019

2018

Interconnectability of Session-Based Logical Processes.

Bernardo Toninho, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2018

Multiparty session types, beyond duality.

Alceste Scalas, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2018

A Parametric Framework for Reversible Pi-Calculi.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

Proceedings of the Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, 2018

A Parametric Framework for Reversible π-Calculi.

Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida

CoRR, 2018

A static verification framework for message passing in Go using behavioural types.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Proceedings of the 40th International Conference on Software Engineering, 2018

Depending on Session-Typed Processes.

Bernardo Toninho, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computation Structures, 2018

A session type provider: compile-time API generation of distributed protocols with refinements in F#.

Rumyana Neykova, Raymond Hu, Nobuko Yoshida, Fahd Abdeljallal

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

Monitoring networks through multiparty session types.

Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 2017

On the Preciseness of Subtyping in Session Types.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida

Log. Methods Comput. Sci., 2017

Certifying data in multiparty session types.

Bernardo Toninho, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2017

Guest editors' foreword.

Dominic A. Orchard, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact).

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2017

Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051).

Simon J. Gay, Vasco T. Vasconcelos, Philip Wadler, Nobuko Yoshida

Dagstuhl Reports, 2017

Multiparty Session Types, Beyond Duality (Abstract).

Alceste Scalas, Nobuko Yoshida

Proceedings of the Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2017

Characteristic bisimulation for higher-order session processes.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

Acta Informatica, 2017

Multiparty session types as coherence proofs.

Marco Carbone, Fabrizio Montesi, Carsten Schürmann, Nobuko Yoshida

Acta Informatica, 2017

Fencing off go: liveness and safety for channel-based programming.

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

On the Undecidability of Asynchronous Session Subtyping.

Julien Lange, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computation Structures, 2017

Explicit Connection Actions in Multiparty Session Types.

Raymond Hu, Nobuko Yoshida

Proceedings of the Fundamental Approaches to Software Engineering, 2017

A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming.

Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

Let it recover: multiparty protocol-induced recovery.

Rumyana Neykova, Nobuko Yoshida

Proceedings of the 26th International Conference on Compiler Construction, 2017

2016

On asynchronous eventful session semantics.

Dimitrios Kouzapas, Nobuko Yoshida, Raymond Hu, Kohei Honda

Math. Struct. Comput. Sci., 2016

Global progress for dynamically interleaved multiparty sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani

Math. Struct. Comput. Sci., 2016

Global escape in multiparty sessions.

Sara Capecchi, Elena Giachino, Nobuko Yoshida

Math. Struct. Comput. Sci., 2016

Multiparty Asynchronous Session Types.

Kohei Honda, Nobuko Yoshida, Marco Carbone

J. ACM, 2016

Behavioral Types in Programming Languages.

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

Found. Trends Program. Lang., 2016

Lightweight Session Programming in Scala (Artifact).

Alceste Scalas, Nobuko Yoshida

Dagstuhl Artifacts Ser., 2016

Fencing off Go: Liveness and Safety for Channel-based Programming (extended version).

Julien Lange, Nicholas Ng, Bernardo Toninho, Nobuko Yoshida

CoRR, 2016

Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion.

Søren Debois, Thomas T. Hildebrandt, Tijs Slaats, Nobuko Yoshida

Log. Methods Comput. Sci., 2016

Characteristic Formulae for Session Types.

Julien Lange, Nobuko Yoshida

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Reversing Single Sessions.

Francesco Tiezzi, Nobuko Yoshida

Proceedings of the Reversible Computation - 8th International Conference, 2016

Effects as sessions, sessions as effects.

Dominic A. Orchard, Nobuko Yoshida

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

EURECA compilation: Automatic optimisation of cycle-reconfigurable circuits.

Xinyu Niu, Nicholas Ng, Tomofumi Yuki, Shaojun Wang, Nobuko Yoshida, Wayne Luk

Proceedings of the 26th International Conference on Field Programmable Logic and Applications, 2016

Hybrid Session Verification Through Endpoint API Generation.

Raymond Hu, Nobuko Yoshida

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Lightweight Session Programming in Scala.

Alceste Scalas, Nobuko Yoshida

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

Static deadlock detection for concurrent go by global session graph synthesis.

Nicholas Ng, Nobuko Yoshida

Proceedings of the 25th International Conference on Compiler Construction, 2016

Denotational and Operational Preciseness of Subtyping: A Roadmap - Dedicated to Frank de Boer on the Occasion of His 60th Birthday.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Pabble: parameterised Scribble.

Nicholas Ng, Nobuko Yoshida

Serv. Oriented Comput. Appl., 2015

Reversible session-based pi-calculus.

Francesco Tiezzi, Nobuko Yoshida

J. Log. Algebraic Methods Program., 2015

Session typing and asynchronous subtyping for the higher-order π-calculus.

Dimitris Mostrous, Nobuko Yoshida

Inf. Comput., 2015

Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python.

Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Formal Methods Syst. Des., 2015

Using session types as an effect system.

Dominic A. Orchard, Nobuko Yoshida

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

Characteristic Formulae for Session Types (extended version).

Julien Lange, Nobuko Yoshida

CoRR, 2015

Core Higher-Order Session Processes: Tractable Equivalences and Relative Expressiveness.

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida

CoRR, 2015

Precise subtyping for synchronous multiparty sessions.

Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Nobuko Yoshida

Proceedings of the Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida

Proceedings of the Formal Methods for Multicore Programming, 2015

From Communicating Machines to Graphical Choreographies.

Julien Lange, Emilio Tuosto, Nobuko Yoshida

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

Protocol-based verification of message-passing parallel programs.

Hugo A. López, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, César Santos, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

On the Expressiveness of Multiparty Sessions.

Romain Demangeon, Nobuko Yoshida

Proceedings of the 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, 2015

Meeting Deadlines Together.

Laura Bocchi, Julien Lange, Nobuko Yoshida

Proceedings of the 26th International Conference on Concurrency Theory, 2015

Protocols by Default - Safe MPI Code Generation Based on Session Types.

Nicholas Ng, José Gabriel de Figueiredo Coutinho, Nobuko Yoshida

Proceedings of the Compiler Construction - 24th International Conference, 2015

2014

An observationally complete program logic for imperative higher-order functions.

Kohei Honda, Nobuko Yoshida, Martin Berger

Theor. Comput. Sci., 2014

Scaling Future Software: The Manycore Challenge.

Frank S. de Boer, Einar Broch Johnsen, Dave Clarke, Sophia Drossopoulou, Nobuko Yoshida, Tobias Wrigstad

ERCIM News, 2014

Towards Reversible Sessions.

Francesco Tiezzi, Nobuko Yoshida

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Multiparty Session Actors.

Rumyana Neykova, Nobuko Yoshida

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Timed Runtime Monitoring for Multiparty Conversations.

Rumyana Neykova, Laura Bocchi, Nobuko Yoshida

Proceedings of the Proceedings Third Workshop on Behavioural Types, 2014

Globally Governed Session Semantics.

Dimitrios Kouzapas, Nobuko Yoshida

Log. Methods Comput. Sci., 2014

Multiparty Session Nets.

Luca Fossati, Raymond Hu, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 9th International Symposium, 2014

Process Types as a Descriptive Tool for Interaction - Control and the Pi-Calculus.

Kohei Honda, Nobuko Yoshida, Martin Berger

Proceedings of the Rewriting and Typed Lambda Calculi - Joint International Conference, 2014

On the Preciseness of Subtyping in Session Types.

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Pabble: Parameterised Scribble for Parallel Programming.

Nicholas Ng, Nobuko Yoshida

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

Calculating communication costs with Sessions Types and Sizes.

Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida

Proceedings of the 2014 Imperial College Computing Student Workshop, 2014

Timed Multiparty Session Types.

Laura Bocchi, Weizhen Yang, Nobuko Yoshida

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Structuring Communication with Session Types.

Kohei Honda, Raymond Hu, Rumyana Neykova, Tzu-Chun Chen, Romain Demangeon, Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Concurrent Objects and Beyond, 2014

2013

The Scribble Protocol Language.

Nobuko Yoshida, Raymond Hu, Rumyana Neykova, Nicholas Ng

Proceedings of the Trustworthy Global Computing - 8th International Symposium, 2013

Scalable Session Programming for Heterogeneous High-Performance Systems.

Nicholas Ng, Nobuko Yoshida, Wayne Luk

Proceedings of the Software Engineering and Formal Methods, 2013

SPY: Local Verification of Global Protocols.

Rumyana Neykova, Nobuko Yoshida, Raymond Hu

Proceedings of the Runtime Verification - 4th International Conference, 2013

Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.

Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda

Proceedings of the Runtime Verification - 4th International Conference, 2013

Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.

Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

Compositional Choreographies.

Fabrizio Montesi, Nobuko Yoshida

Proceedings of the CONCUR 2013 - Concurrency Theory - 24th International Conference, 2013

2012

Structured Communication-Centered Programming for Web Services.

Marco Carbone, Kohei Honda, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2012

Session types: towards safe and fast reconfigurable programming.

Nicholas Ng, Nobuko Yoshida, Xinyu Niu, Kuen Hung Tsoi

SIGARCH Comput. Archit. News, 2012

Parameterised Multiparty Session Types

Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu

Log. Methods Comput. Sci., 2012

Multiparty Session C: Safe Parallel Programming with Message Optimisation.

Nicholas Ng, Nobuko Yoshida, Kohei Honda

Proceedings of the Objects, Models, Components, Patterns - 50th International Conference, 2012

A Multiparty Multi-session Logic.

Laura Bocchi, Romain Demangeon, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 7th International Symposium, 2012

Verification of MPI Programs Using Session Types.

Kohei Honda, Eduardo R. B. Marques, Francisco Martins, Nicholas Ng, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Recent Advances in the Message Passing Interface, 2012

Event Structure Semantics of Parallel Extrusion in the Pi-Calculus.

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Trustworthy Pervasive Healthcare Services via Multiparty Session Types.

Anders Starcke Henriksen, Lasse Nielsen, Thomas T. Hildebrandt, Nobuko Yoshida, Fritz Henglein

Proceedings of the Foundations of Health Information Engineering and Systems, 2012

Multiparty Session Types Meet Communicating Automata.

Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2012

Intensional and Extensional Characterisation of Global Progress in the π-Calculus.

Luca Fossati, Kohei Honda, Nobuko Yoshida

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

A Unified Theory of Program Logics: An Approach based on the π-Calculus.

Kohei Honda, Nobuko Yoshida

Comput. J., 2011

Asynchronous Distributed Monitoring for Multiparty Session Enforcement.

Tzu-Chun Chen, Laura Bocchi, Pierre-Malo Deniélou, Kohei Honda, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Dynamic multirole session types.

Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

Scribbling Interactions with a Formal Foundation.

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida

Proceedings of the Distributed Computing and Internet Technology, 2011

On Asynchronous Session Semantics.

Dimitrios Kouzapas, Nobuko Yoshida, Kohei Honda

Proceedings of the Formal Techniques for Distributed Systems, 2011

Safe Parallel Programming with Session Java.

Nicholas Ng, Nobuko Yoshida, Olivier Pernet, Raymond Hu, Yiannos Kryftis

Proceedings of the Coordination Models and Languages - 13th International Conference, 2011

2010

Typed event structures and the linear pi-calculus.

Daniele Varacca, Nobuko Yoshida

Theor. Comput. Sci., 2010

Secure Execution of Distributed Session Programs

Nuno Alves, Raymond Hu, Nobuko Yoshida, Pierre-Malo Deniélou

Proceedings of the Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, 2010

Multiparty Symmetric Sum Types

Lasse Nielsen, Nobuko Yoshida, Kohei Honda

Proceedings of the Proceedings 17th International Workshop on Expressiveness in Concurrency, 2010

Type-Safe Eventful Sessions in Java.

Raymond Hu, Dimitrios Kouzapas, Olivier Pernet, Nobuko Yoshida, Kohei Honda

Proceedings of the ECOOP 2010, 2010

Buffered Communication Analysis in Distributed Multiparty Sessions.

Pierre-Malo Deniélou, Nobuko Yoshida

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

A Theory of Design-by-Contract for Distributed Multiparty Interactions.

Laura Bocchi, Kohei Honda, Emilio Tuosto, Nobuko Yoshida

Proceedings of the CONCUR 2010 - Concurrency Theory, 21th International Conference, 2010

2009

Objects and session types.

Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Dimitris Mostrous, Nobuko Yoshida

Inf. Comput., 2009

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

Andi Bejleri, Raymond Hu, Nobuko Yoshida

Proceedings of the Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2009

Session-Based Communication Optimisation for Higher-Order Mobile Processes.

Dimitris Mostrous, Nobuko Yoshida

Proceedings of the Typed Lambda Calculi and Applications, 9th International Conference, 2009

Asynchronous Session Types: Exceptions and Multiparty Interactions.

Marco Carbone, Nobuko Yoshida, Kohei Honda

Proceedings of the Formal Methods for Web Services, 2009

On Observing Dynamic Prioritised Actions in SOC.

Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida

Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009

Global Principal Typing in Partially Commutative Asynchronous Sessions.

Dimitris Mostrous, Nobuko Yoshida, Kohei Honda

Proceedings of the Programming Languages and Systems, 2009

2008

Logical Reasoning for Higher-Order Functions with Local State.

Nobuko Yoshida, Kohei Honda, Martin Berger

Log. Methods Comput. Sci., 2008

Preface.

Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

A Symbolic Semantics for a Calculus for Service-Oriented Computing.

Rosario Pugliese, Francesco Tiezzi, Nobuko Yoshida

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Type-Directed Compilation for Multicore Programming.

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Synchronous Multiparty Session Types.

Andi Bejleri, Nobuko Yoshida

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2008

Completeness and Logical Full Abstraction in Modal Logics for Typed Mobile Processes.

Martin Berger, Kohei Honda, Nobuko Yoshida

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Session-Based Compilation Framework for Multicore Programming.

Nobuko Yoshida, Vasco Thudichum Vasconcelos, Hervé Paulino, Kohei Honda

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Session-Based Distributed Programming in Java.

Raymond Hu, Nobuko Yoshida, Kohei Honda

Proceedings of the ECOOP 2008, 2008

Structured Interactional Exceptions in Session Types.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.

Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

A Unified Theory of Program Logics: An Approach based on the n-Calculus.

Kohei Honda, Nobuko Yoshida

Proceedings of the Visions of Computer Science, 2008

2007

A uniform type structure for secure information flow.

Kohei Honda, Nobuko Yoshida

ACM Trans. Program. Lang. Syst., 2007

Formalising Java RMI with explicit code mobility.

Alexander Joseph Ahern, Nobuko Yoshida

Theor. Comput. Sci., 2007

Linearity and bisimulation.

Nobuko Yoshida, Kohei Honda, Martin Berger

J. Log. Algebraic Methods Program., 2007

A logical analysis of aliasing in imperative higher-order functions.

Martin Berger, Kohei Honda, Nobuko Yoshida

J. Funct. Program., 2007

Probabilistic pi-Calculus and Event Structures.

Daniele Varacca, Nobuko Yoshida

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

Web Services, Mobile Processes and Types.

Kohei Honda, Nobuko Yoshida, Marco Carbone

Bull. EATCS, 2007

Two Session Typing Systems for Higher-Order Mobile Processes.

Dimitris Mostrous, Nobuko Yoshida

Proceedings of the Typed Lambda Calculi and Applications, 8th International Conference, 2007

On Progress for Structured Communications.

Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro, Nobuko Yoshida

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Asynchronous Session Types and Progress for Object Oriented Languages.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

Structured Communication-Centred Programming for Web Services.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2007

Compositional Event Structure Semantics for the Internal <i>pi</i> -Calculus.

Silvia Crafa, Daniele Varacca, Nobuko Yoshida

Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007

Timed, Distributed, Probabilistic, Typed Processes.

Martin Berger, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Editorial.

Philippa Gardner, Nobuko Yoshida

Theor. Comput. Sci., 2006

Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication.

Nobuko Yoshida, Vasco Thudichum Vasconcelos

Proceedings of the First International Workshop on Security and Rewriting Techniques, 2006

Typed Event Structures and the <i>pi</i>-Calculus: Extended Abstract.

Daniele Varacca, Nobuko Yoshida

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006

Theoretical Aspects of Communication-Centred Programming.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

A Calculus of Global Interaction based on Session Types.

Marco Carbone, Kohei Honda, Nobuko Yoshida

Proceedings of the Second International Workshop on Developments in Computational Models, 2006

Descriptive and Relative Completeness of Logics for Higher-Order Functions.

Kohei Honda, Martin Berger, Nobuko Yoshida

Proceedings of the Automata, Languages and Programming, 33rd International Colloquium, 2006

Bounded Session Types for Object Oriented Languages.

Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, Nobuko Yoshida

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

Session Types for Object-Oriented Languages.

Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, Sophia Drossopoulou

Proceedings of the ECOOP 2006, 2006

2005

Noninterference through flow analysis.

Kohei Honda, Nobuko Yoshida

J. Funct. Program., 2005

Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness.

Nobuko Yoshida

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

safeDpi: a language for controlling mobile code.

Matthew Hennessy, Julian Rathke, Nobuko Yoshida

Acta Informatica, 2005

Genericity and the pi-calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

Acta Informatica, 2005

A Distributed Object-Oriented Language with Session Types.

Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Joseph Ahern, Sophia Drossopoulou

Proceedings of the Trustworthy Global Computing, International Symposium, 2005

An Observationally Complete Program Logic for Imperative Higher-Order Frame Rules.

Kohei Honda, Nobuko Yoshida, Martin Berger

Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004

Strong normalisation in the pi -calculus.

Nobuko Yoshida, Martin Berger, Kohei Honda

Inf. Comput., 2004

A compositional logic for polymorphic higher-order functions.

Kohei Honda, Nobuko Yoshida

Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

Channel dependent types for higher-order mobile processes.

Nobuko Yoshida

Proceedings of the 31st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2004

A Distributed Abstract Machine for Boxed Ambient Calculi.

Andrew Phillips, Nobuko Yoshida, Susan Eisenbach

Proceedings of the Programming Languages and Systems, 2004

2002

Minimality and separation results on asynchronous mobile processes - representability theorems by concurrent combinators.

Nobuko Yoshida

Theor. Comput. Sci., 2002

Assigning Types to Processes.

Nobuko Yoshida, Matthew Hennessy

Inf. Comput., 2002

Dynamic Channel Screening in the Higher Order pi-Calculus.

José-Luis Vivas, Nobuko Yoshida

Proceedings of the Foundations of Wide Area Network Computing, 2002

2001

Sequentiality and the pi-Calculus.

Martin Berger, Kohei Honda, Nobuko Yoshida

Proceedings of the Typed Lambda Calculi and Applications, 5th International Conference, 2001

2000

Secure Information Flow as Typed Process Behaviour.

Kohei Honda, Vasco Thudichum Vasconcelos, Nobuko Yoshida

Proceedings of the Programming Languages and Systems, 2000

1999

Game-Theoretic Analysis of Call-by-Value Computation.

Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 1999

Suptyping and Locality in Distributed Higher Order Processes (extended abstract).

Nobuko Yoshida, Matthew Hennessy

Proceedings of the CONCUR '99: Concurrency Theory, 1999

1998

Minimality and Separation Results on Asynchronous Mobile Processes: Representability Theorems by Concurrent Combinators (Extended Abstract).

Nobuko Yoshida

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1996

Graph Types for Monadic Mobile Processes.

Nobuko Yoshida

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995

On Reduction-Based Process Semantics.

Kohei Honda, Nobuko Yoshida

Theor. Comput. Sci., 1995

1994

Graph Notation for Concurrent Combinators.

Nobuko Yoshida

Proceedings of the Theory and Practice of Parallel Programming, 1994

Replication in Concurrent Combinators.

Kohei Honda, Nobuko Yoshida

Proceedings of the Theoretical Aspects of Computer Software, 1994

Combinatory Representation of Mobile Processes.

Kohei Honda, Nobuko Yoshida

Proceedings of the Conference Record of POPL'94: 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1994

1993

On Reduction-Based Semantics.

Kohei Honda, Nobuko Yoshida

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

Optimal Reduction in Weak-λ-calculus with Shared Environments.

Nobuko Yoshida

Proceedings of the conference on Functional programming languages and computer architecture, 1993