Fangyi Zhou -

xAt 9.10 CET, the conf.researchr.org platform will be updated, causing conference websites to be offline for 1 minute. You may need to refresh the page you're viewing to interact with the website again.

Registered user since Tue 1 Jan 2019

Name: Fangyi Zhou

Affiliation: Imperial College London

Contributions

CC 2021	Author of Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types within the CC Research Papers-track
SPLASH 2020	Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA Artifacts-track Author of Statically Verified Refinements for Multiparty Protocols within the Posters-track Author of Statically Verified Refinements for Multiparty Protocols within the OOPSLA-track
PLACES 2019	Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track