Nobuko Yoshida

ORCID

Publication Activity (10 Years)

Years Active: 1993-2024
Publications (10 Years): 153

Top Venues

CoRR

Proc. ACM Program. Lang.

ECOOP

J. Log. Algebraic Methods Program.

Publications

Nobuko Yoshida, Ping Hou
Less is More Revisit. CoRR (2024)
Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Legesse Tirore, Martin Vassor, Nobuko Yoshida, Daniel Zackon
The Concurrent Calculi Formalisation Benchmark. COORDINATION (2024)
Mengting He, Shihao Xia, Boqin Qin, Nobuko Yoshida, Tingting Yu, Linhai Song, Yiying Zhang
How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs. CoRR (2024)
Kirstin Peters, Nobuko Yoshida
Separation and Encodability in Mixed Choice Multiparty Sessions. LICS (2024)
Thien Udomsrirungruang, Nobuko Yoshida
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. CoRR (2024)
Thien Udomsrirungruang, Nobuko Yoshida
Three Subtyping Algorithms for Binary Session Types and their Complexity Analyses. PLACES@ETAPS (2024)
Martin Vassor, Nobuko Yoshida
Refinements for Multiparty Message-Passing Protocols: Specification-agnostic theory and implementation. CoRR (2024)
Ping Hou, Nicolas Lagaillardie, Nobuko Yoshida
Fearless Asynchronous Communications with Timed Multiparty Session Protocols. CoRR (2024)
Ari Hernawan, Nobuko Yoshida
Protocol Conformance of Collaborative SPARQL Using Multiparty Session Types. TASE (2024)
Kirstin Peters, Nobuko Yoshida
Separation and Encodability in Mixed Choice Multiparty Sessions (Technical Report). CoRR (2024)
Kirstin Peters, Nobuko Yoshida
Mixed choice in session types. Inf. Comput. 298 (2024)
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
Rollback Recovery in Session-Based Programming. COORDINATION (2023)
Romain Demangeon, Nobuko Yoshida
Causal computational complexity of distributed processes. Inf. Comput. 290 (2023)
Claudio Antares Mezzina, Francesco Tiezzi, Nobuko Yoshida
Checkpoint-based rollback recovery in session programming. CoRR (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP (2023)
David Castro-Perez, Nobuko Yoshida
Dynamically Updatable Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Lorenzo Gheri, Nobuko Yoshida
Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Franco Barbanera, Mariangiola Dezani-Ciancaglini, Lorenzo Gheri, Nobuko Yoshida
Multicompatibility for Multiparty-Session Composition. PPDP (2023)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. ACM Trans. Comput. Log. 24 (2) (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR (2023)
David Castro-Perez, Nobuko Yoshida
Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols. ECOOP (2023)
Lorenzo Gheri, Nobuko Yoshida
Hybrid Multiparty Session Types - Full Version. CoRR (2023)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types. CoRR (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP (2022)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types. ECOOP (2022)
Kirstin Peters, Nobuko Yoshida
On the Expressiveness of Mixed Choice Sessions. EXPRESS/SOS (2022)
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song
Generic go to go: dictionary-passing, monomorphisation, and hybrid. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). CoRR (2022)
Stephen Ellis, Shuofei Zhu, Nobuko Yoshida, Linhai Song
Generic Go to Go: Dictionary-Passing, Monomorphisation, and Hybrid. CoRR (2022)
Zak Cutner, Nobuko Yoshida, Martin Vassor
Deadlock-free asynchronous message reordering in rust with multiparty session types. PPoPP (2022)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Adam D. Barwell, Francisco Ferreira, Nobuko Yoshida
CONCUR test-of-time award for the period 1994-97 interview with Uwe Nestmann and Benjamin C. Pierce. J. Log. Algebraic Methods Program. 125 (2022)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR (2022)
Eva Graversen, Iain Phillips, Nobuko Yoshida
-calculus. J. Log. Algebraic Methods Program. 124 (2022)
Kirstin Peters, Nobuko Yoshida
On the Expressiveness of Mixed Choice Sessions (Technical Report). CoRR (2022)
Nobuko Yoshida
Introduction to the Special Issue on ESOP 2021. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8 (2) (2022)
Vasco T. Vasconcelos, Francisco Martins, Hugo-Andrés López, Nobuko Yoshida
A Type Discipline for Message Passing Parallel Programs. ACM Trans. Program. Lang. Syst. 44 (4) (2022)
Bernardo Toninho, Nobuko Yoshida
On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings. ACM Trans. Program. Lang. Syst. 43 (2) (2021)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17 (1) (2021)
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. CoRR (2021)
Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida
Event structure semantics of (controlled) reversible CCS. J. Log. Algebraic Methods Program. 121 (2021)
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes. PLDI (2021)
Luca Aceto, Nathalie Bertrand, Nobuko Yoshida
Interviews with the 2021 CONCUR Test-of-Time Award Recipients. Bull. EATCS 135 (2021)
Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. FCT (2021)
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
Communication-safe web programming in TypeScript with routed multiparty session types. CC (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for asynchronous multiparty sessions. Proc. ACM Program. Lang. 5 (POPL) (2021)
Zak Cutner, Nobuko Yoshida, Martin Vassor
Deadlock-free asynchronous message reordering in Rust with multiparty session types. CoRR (2021)
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Nobuko Yoshida
Zooid: a DSL for Certified Multiparty Computation. CoRR (2021)
Nathalie Bertrand, Luca de Alfaro, Rob van Glabbeek, Catuscia Palamidessi, Nobuko Yoshida
CONCUR Test-Of-Time Award 2021 (Invited Paper). CONCUR (2021)
Zak Cutner, Nobuko Yoshida
Safe Session-Based Asynchronous Coordination in Rust. COORDINATION (2021)
Silvia Ghilezan, Jovanka Pantovic, Ivan Prokic, Alceste Scalas, Nobuko Yoshida
Precise Subtyping for Asynchronous Multiparty Sessions. CoRR (2020)
Julia Gabet, Nobuko Yoshida
Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight Go. CoRR (2020)
Nobuko Yoshida, Simon Castellan, Léo Stefanesco
Game Semantics: Easy as Pi. CoRR (2020)
Nobuko Yoshida, Lorenzo Gheri
A Very Gentle Introduction to Multiparty Session Types. ICDCIT (2020)
Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida
Event structures for the reversible early internal Pi-calculus. CoRR (2020)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
-calculi. Inf. Comput. 275 (2020)
Robert Griesemer, Raymond Hu, Wen Kokke, Julien Lange, Ian Lance Taylor, Bernardo Toninho, Philip Wadler, Nobuko Yoshida
Featherweight go. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Statically Verified Refinements for Multiparty Protocols. CoRR (2020)
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
Towards a Formal Account for Software Transactional Memory. RC (2020)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Event Structures for the Reversible Early Internal π-Calculus. RC (2020)
Julia Gabet, Nobuko Yoshida
Static Race Detection and Mutex Safety and Liveness for Go Programs. ECOOP (2020)
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
Multiparty motion coordination: from choreographies to robotics programs. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
David Castro-Perez, Nobuko Yoshida
Compiling first-order functions to session-typed parallel code. CC (2020)
David Castro-Perez, Nobuko Yoshida
CAMP: Cost-Aware Multiparty Session Protocols. CoRR (2020)
Rupak Majumdar, Nobuko Yoshida, Damien Zufferey
Multiparty Motion Coordination: From Choreographies to Robotics Programs. CoRR (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming with Global Protocol Combinators (Artifact). Dagstuhl Artifacts Ser. 6 (2) (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming With Global Protocol Combinators. ECOOP (2020)
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS (2020)
David Castro-Perez, Nobuko Yoshida
CAMP: cost-aware multiparty session protocols. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Julia Gabet, Nobuko Yoshida
Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version). CoRR (2020)
Keigo Imai, Rumyana Neykova, Nobuko Yoshida, Shoji Yuen
Multiparty Session Programming with Global Protocol Combinators. CoRR (2020)
Nicolas Lagaillardie, Rumyana Neykova, Nobuko Yoshida
Implementing Multiparty Session Types in Rust. COORDINATION (2020)
David Castro-Perez, Francisco Ferreira, Nobuko Yoshida
EMTST: Engineering the Meta-theory of Session Types. TACAS (2) (2020)
Sung-Shik Jongmans, Nobuko Yoshida
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types. ESOP (2020)
Julien Lange, Nobuko Yoshida
Verifying Asynchronous Interactions via Communicating Session Automata. CoRR (2019)
Keigo Imai, Nobuko Yoshida, Shoji Yuen
Session-ocaml: A session-based library with polarities and lenses. Sci. Comput. Program. 172 (2019)
Liye Guo, Hsiang-Shang Ko, Keigo Imai, Nobuko Yoshida, Zhenjiang Hu
Towards Bidirectional Synchronization Between Communicating Processes and Session Types. BigComp (2019)
Rumyana Neykova, Nobuko Yoshida
Featherweight Scribble. Models, Languages, and Tools for Concurrent and Distributed Programming (2019)
Alceste Scalas, Nobuko Yoshida, Elias Benussi
Verifying message-passing programs with dependent behavioural types. PLDI (2019)
Simon Castellan, Nobuko Yoshida
Causality in Linear Logic - Full Completeness and Injectivity (Unit-Free Multiplicative-Additive Fragment). FoSSaCS (2019)
Tiago Cogumbreiro, Raymond Hu, Francisco Martins, Nobuko Yoshida
Dynamic Deadlock Verification for General Barrier Synchronisation. ACM Trans. Program. Lang. Syst. 41 (1) (2019)
Alceste Scalas, Nobuko Yoshida, Elias Benussi
Effpi: verified message-passing programs in Dotty. SCALA@ECOOP (2019)
Alceste Scalas, Nobuko Yoshida
Less is more: multiparty session types revisited. Proc. ACM Program. Lang. 3 (POPL) (2019)
Julien Lange, Nobuko Yoshida
Verifying Asynchronous Interactions via Communicating Session Automata. CAV (1) (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR (2019)
Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida
On the relative expressiveness of higher-order session processes. Inf. Comput. 268 (2019)
Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR (2019)
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas, Nobuko Yoshida
Precise subtyping for synchronous multiparty sessions. J. Log. Algebraic Methods Program. 104 (2019)
David Castro-Perez, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng, Nobuko Yoshida
Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures. Proc. ACM Program. Lang. 3 (POPL) (2019)
Assel Altayeva, Nobuko Yoshida
Service Equivalence via Multiparty Session Type Isomorphisms. PLACES@ETAPS (2019)
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Developing secure Bitcoin contracts with BitML. CoRR (2019)
Jonathan King, Nicholas Ng, Nobuko Yoshida
Multiparty Session Type-safe Web Development with Static Linearity. PLACES@ETAPS (2019)
Laura Bocchi, Maurizio Murgia, Vasco Thudichum Vasconcelos, Nobuko Yoshida
Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes. ESOP (2019)
Bernardo Toninho, Nobuko Yoshida
Polymorphic Session Processes as Morphisms. The Art of Modelling Computational Systems (2019)

Nobuko Yoshida.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nobuko Yoshida