Nobuko Yoshida

Registered user since Sat 8 Aug 2015

Name:Nobuko Yoshida
Affiliation:Imperial College London

Contributions

ML 2021 Author of Verifying Multiparty Communication Protocols using ML Type Systems within the ML 2021-track
PLDI 2021 Author of Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes within the PLDI-track
CC 2021 Author of Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types within the CC Research Papers-track
POPL 2021 Committee Member in Program Committee within the POPL-track
Author of Precise Subtyping for Asynchronous Multiparty Sessions within the POPL-track
ECOOP 2020 Author of Multiparty Session Programming with Global Protocol Combinators within the Research Papers-track
Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Posters-track
Author of Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) within the Artifacts-track
Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track
Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track
Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Research Papers-track
CC 2020 Author of Compiling First-order Functions to Session-Typed Parallel Code within the Main Conference-track
SPLASH 2020 Author of Multiparty Motion Coordination: From Choreographies to Robotics Programs within the OOPSLA Artifacts-track
Author of Featherweight Go within the OOPSLA Artifacts-track
Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track
Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Posters-track
Author of CAMP: Cost-Aware Multiparty Session Protocols within the Posters-track
Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track
Author of CAMP: Cost-Aware Multiparty Session Protocols within the OOPSLA Artifacts-track
Author of Featherweight Go within the OOPSLA-track
Author of Multiparty Session Programming with Global Protocol Combinators within the Posters-track
Author of Multiparty Motion Coordination: From Choreographies to Robotics Programs within the OOPSLA-track
Author of CAMP: Cost-Aware Multiparty Session Protocols within the OOPSLA-track
Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track
PLMW 2020 Session Chair of Afternoon 2 (part of PLMW 2020)
Organizer in Organizing Committee within the PLMW 2020-track
PEPM 2020 Committee Member in Program Committee within the PEPM 2020-track
PASS 2019 Committee Member in Program Committee within the PASS 2019 (CANCELED)-track
Scala 2019 Author of Effpi: Verified Message-Passing Programs in Dotty within the Scala 2019-track
POPL 2020 Committee Member in Organizing Committee within the Mentoring Breakfasts-track
BEAT 2019 Author of Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track
PLMW 2019 Organizer in Organizing Committee within the PLMW@POPL-track
SPLASH 2019 Committee Member in Review Committee within the OOPSLA-track
PLACES 2019 Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track
Author of Multiparty session type-safe web development with static linearity within the PLACES-track
Author of Service Equivalence via Multiparty Session Type Isomorphisms within the PLACES-track
GaLoP 2019 Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track
ECOOP 2019 Author of Motion Session Types for Robotic Interactions within the Research Papers-track
FOSSACS 2019 Author of Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) within the FOSSACS 2019-track
ESOP 2019 Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track
ETAPS 2019 Author of Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms within the Posters-track
PLDI 2019 Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-track
POPL 2019 Author of Distributed Programming using Role-Parametric Session Types in Go within the Research Papers-track
Author of Two sides of the same coin: Session Types and Game Semantics within the Research Papers-track
Author of Interconnectability of Session-Based Logical Processes within the Research Papers-track
Author of Less is More: Multiparty Session Types Revisited within the Research Papers-track
PEPM 2018 Committee Member in Programme Committee within the PEPM 2018-track
CC 2017 Author of Let It Recover: Multiparty Protocol-Induced Recovery within the Research Papers-track
POPL 2017 Author of Fencing off Go: Liveness and Safety for Channel-Based Programming within the POPL-track
Session Chair of Concurrency 2 (part of POPL)
Committee Member in Program Committee within the POPL-track
ECOOP 2017 Committee Member in Program Committee within the ECOOP Research Papers-track
Author of A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming within the ECOOP Research Papers-track
NOOL 2015 Author of Inversion in Programming Language Design: The Encore Way within the NOOL-track
* ICSE 2018 * Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track
ICFP 2016 Committee Member in Program Committee within the Research Papers-track
ECOOP 2016 Author of Lightweight Session Programming in Scala within the Artifacts-track
Author of Lightweight session programming in Scala within the Research Track-track
AGERE! 2015 Committee Member in Program Committee within the AGERE-track
POPL 2016 Author of Effects as sessions, sessions as effects within the Research Papers-track
SPLASH 2015 Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA Artifacts-track
Author of Protocol-Based Verification of Message-Passing Parallel Programs within the OOPSLA-track
Committee Member in Program Committee within the OOPSLA-track
Session Chair of 13. Type Systems (part of OOPSLA)
ECOOP 2015 Committee Member in Programme Committee within the Research Track-track
SPLASH 2013 Committee Member in External Review Committee within the OOPSLA-track