Fangyi Zhou

13 papers A 1B 3Journal 8Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Crash-Stop Failures in Asynchronous Multiparty Session Types.
Log. Methods Comput. Sci.
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 J jnl
Crash-Stop Failures in Asynchronous Multiparty Session Types.
CoRR
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 J jnl
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).
Dagstuhl Artifacts Ser.
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 A conf
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.
ECOOP
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2023 J jnl
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.
CoRR
Adam D. Barwell, Ping Hou, Nobuko Yoshida, Fangyi Zhou
2022 J jnl
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).
CoRR
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
2022 B conf
Generalised Multiparty Session Types with Crash-Stop Failures.
CONCUR
Adam D. Barwell, Alceste Scalas, Nobuko Yoshida, Fangyi Zhou
2021 B conf
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.
FCT
Nobuko Yoshida, Fangyi Zhou, Francisco Ferreira
2021 J jnl
Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types.
CoRR
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2021 B conf
Communication-safe web programming in TypeScript with routed multiparty session types.
CC
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2020 — conf
Generating Interactive WebSocket Applications in TypeScript.
PLACES@ETAPS
Anson Miu, Francisco Ferreira, Nobuko Yoshida, Fangyi Zhou
2020 J jnl
Statically Verified Refinements for Multiparty Protocols.
CoRR
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
2020 J jnl
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang.
Fangyi Zhou, Francisco Ferreira, Raymond Hu, Rumyana Neykova, Nobuko Yoshida