Nobuko Yoshida - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Sat 8 Aug 2015

Name:Nobuko Yoshida

Affiliation:Imperial College London

Contributions

SPLASH 2020	Multiparty Motion Coordination: From Choreographies to Robotics Programs Featherweight Go Statically Verified Refinements for Multiparty Protocols Static Race Detection and Mutex Safety and Liveness for Go Programs CAMP: Cost-Aware Multiparty Session Protocols Statically Verified Refinements for Multiparty Protocols CAMP: Cost-Aware Multiparty Session Protocols Featherweight Go Multiparty Session Programming with Global Protocol Combinators Multiparty Motion Coordination: From Choreographies to Robotics Programs CAMP: Cost-Aware Multiparty Session Protocols Statically Verified Refinements for Multiparty Protocols
ECOOP 2020	Multiparty Session Programming with Global Protocol Combinators Static Race Detection and Mutex Safety and Liveness for Go Programs Static Race Detection and Mutex Safety and Liveness for Go Programs (Artifact) Multiparty Session Programming with Global Protocol Combinators Multiparty Session Programming with Global Protocol Combinators Static Race Detection and Mutex Safety and Liveness for Go Programs
Show activities from other conferences

SPLASH 2020-profile
View general profile