Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Nobuko Yoshida
conf.researchr.org general profile
* ICSE 2018 * profile
CC 2017 profile
CC 2020 profile
CC 2021 profile
ECOOP 2015 profile
ECOOP 2016 profile
ECOOP 2019 profile
ECOOP 2022 profile
ETAPS 2019 profile
ICFP 2016 profile
ICFP 2021 profile
PLDI 2019 profile
PLDI 2021 profile
PLDI 2022 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
POPL 2016 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
POPL 2020 profile
POPL 2021 profile
PPoPP 2022 profile
SPLASH 2013 profile
SPLASH 2015 profile
SPLASH 2019 profile
SPLASH 2020 profile
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
Share
x
Sat 28 Jan 21:53