Fangyi Zhou

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 12

Top Topics

Description Language

Technical Report

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. ECOOP (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures. CoRR (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact). Dagstuhl Artifacts Ser. 9 (2) (2023)
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
Crash-Stop Failures in Asynchronous Multiparty Session Types. CoRR (2023)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report). CoRR (2022)
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
Generalised Multiparty Session Types with Crash-Stop Failures. CONCUR (2022)
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types. CoRR (2021)
Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types. FCT (2021)
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
Communication-safe web programming in TypeScript with routed multiparty session types. CC (2021)
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Statically Verified Refinements for Multiparty Protocols. CoRR (2020)
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Statically verified refinements for multiparty protocols. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
Generating Interactive WebSocket Applications in TypeScript. PLACES@ETAPS (2020)