Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Fangyi Zhou
conf.researchr.org general profile
CC 2021 profile
CC 2025 profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 profile
SPLASH 2020 profile
Registered user since Tue 1 Jan 2019
Name:
Fangyi Zhou
Affiliation:
Amazon
Contributions
2025
CC
PC Member in Program Committee
2023
ECOOP
Author of Designing Asynchronous Multiparty Protocols with Crash-Stop Failures within the Research Papers-track
2021
CC
Author of Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types within the CC Research Papers-track
2020
SPLASH
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
2019
PLACES
Author of Fluid Types: Statically Verified Distributed Protocols with Refinements within the PLACES-track
Share
x
Fri 8 Nov 22:50