Nobuko Yoshida -

Registered user since Sat 8 Aug 2015

Name:Nobuko Yoshida

Affiliation:Imperial College London

Contributions

ECOOP 2022	Author of Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types within the Research Papers-track Author of Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming within the Research Papers-track
PLDI 2022	Committee Member in PLDI within the PLDI-track
VORTEX 2022	Invited Speaker of Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk) within the VORTEX 2022-track
PPoPP 2022	Author of Deadlock-Free Asynchronous Message Reordering in Rust with Multiparty Session Types within the Main Conference-track
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
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
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
PLMW 2020	Session Chair of Afternoon 2 (part of PLMW 2020) Organizer in Organizing Committee within the PLMW 2020-track
POPL 2020	Committee Member in Organizing Committee within the Mentoring Breakfasts-track
PEPM 2020	Committee Member in Program Committee within the PEPM 2020-track
SPLASH 2019	Committee Member in Review Committee within the OOPSLA-track
PASS 2019	Committee Member in Program Committee within the PASS 2019 (CANCELED)-track
ECOOP 2019	Author of Motion Session Types for Robotic Interactions within the Research Papers-track
Scala 2019	Author of Effpi: Verified Message-Passing Programs in Dotty within the Scala 2019-track
PLDI 2019	Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-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
FOSSACS 2019	Author of Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) within the FOSSACS 2019-track
GaLoP 2019	Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-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
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
PLMW 2019	Organizer in Organizing Committee within the PLMW@POPL-track
BEAT 2019	Author of Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track
* ICSE 2018 *	Author of A Static Verification Framework for Message Passing in Go using Behavioural Types within the Technical Papers -track
PEPM 2018	Committee Member in Programme Committee within the PEPM 2018-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
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
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
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)
NOOL 2015	Author of Inversion in Programming Language Design: The Encore Way within the NOOL-track
AGERE! 2015	Committee Member in Program Committee within the AGERE-track
ECOOP 2015	Committee Member in Programme Committee within the Research Track-track
SPLASH 2013	Committee Member in External Review Committee within the OOPSLA-track