ECOOP 2020
Sun 15 - Tue 17 November 2020 Online Conference
co-located with SPLASH 2020
Nobuko Yoshida

Registered user since Sat 8 Aug 2015

Name: Nobuko Yoshida

Affiliation: Imperial College London

Contributions

ECOOP 2020Author 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
SPLASH 2020Author 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
Show activities from other conferences

Using general profile