conf.researchr.org / Nobuko Yoshida
Registered user since Sat 8 Aug 2015
Name:Nobuko Yoshida
Country:United Kingdom
Affiliation:University of Oxford, UK
Personal website: https://mrg.cs.ox.ac.uk/
Research interests:Concurrency Theory, Programming Languages, Distributed Systems, Concurrent and Parallel Systems, Session Types
Contributions
2022
ECOOP
Principles and Practice of Parallel Programming
2021
2020
SPLASH
- 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
- 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
PLMW
2019
PLACES
- 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
- 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
2018
2017
ECOOP
2016
ECOOP
2015
SPLASH
- 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)