Nobuko Yoshida

Registered user since Sat 8 Aug 2015

Name: Nobuko Yoshida

Affiliation: Imperial College London

Contributions

PLMW 2020Organizer in Organizing Committee within the PLMW 2020-track
PEPM 2020Committee Member in Program Committee within the PEPM 2020-track
PASS 2019Committee Member in Program Committee within the PASS 2019 (CANCELED)-track
Scala 2019Author of Effpi: Verified Message-Passing Programs in Dotty within the Scala 2019-track
BEAT 2019Author of Effpi: Concurrent Programming with Dependent Behavioural Types within the BEAT 2019-track
PLMW 2019Organizer in Organizing Committee within the PLMW@POPL-track
SPLASH 2019Committee Member in Review Committee within the OOPSLA-track
PLACES 2019Author 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 2019Author of A game semantics understanding of asynchronous multiparty session types subtyping within the GaLoP-track
ECOOP 2019Author of Motion Session Types for Robotic Interactions within the Research Papers-track
FOSSACS 2019Author of Causality in Linear Logic: Full Completeness and Injectivity (unit-free multiplicative-additive fragment) within the FOSSACS 2019-track
ESOP 2019Author of Asynchronous timed session types: duality and time-sensitive processes within the ESOP 2019-track
ETAPS 2019Author of Distributed Ledger Choreography Management via Provenance and Multiparty Session Type Isomorphisms within the Posters-track
PLDI 2019Author of Verifying Message-Passing Programs with Dependent Behavioural Types within the PLDI Research Papers-track
POPL 2019Author 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 2018Committee Member in Programme Committee within the PEPM 2018-track
CC 2017Author of Let It Recover: Multiparty Protocol-Induced Recovery within the Research Papers-track
POPL 2017Author 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 2017Committee 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 2015Author 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 2016Committee Member in Program Committee within the Research Papers-track
ECOOP 2016Author of Lightweight Session Programming in Scala within the Artifacts-track
Author of Lightweight session programming in Scala within the Research Track-track
AGERE! 2015Committee Member in Program Committee within the AGERE-track
POPL 2016Author of Effects as sessions, sessions as effects within the Research Papers-track
SPLASH 2015Author 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 2015Committee Member in Programme Committee within the Research Track-track
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track