Nobuko Yoshida - SPLASH 2020

Sun 15 - Fri 20 November 2020 Online Conference

Registered user since Sat 8 Aug 2015

Name: Nobuko Yoshida

Affiliation: Imperial College London

Contributions

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 (Artifact) within the Artifacts-track Author of Multiparty Session Programming with Global Protocol Combinators within the Artifacts-track Author of Static Race Detection and Mutex Safety and Liveness for Go Programs within the Research Papers-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 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 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
Show activities from other conferences

Using general profile