Fangyi Zhou

Orcid: 0000-0002-8973-0821

Affiliations:
  • Imperial College London, UK


According to our database1, Fangyi Zhou authored at least 9 papers between 2020 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures (Artifact).
Dagstuhl Artifacts Ser., 2023

Crash-Stop Failures in Asynchronous Multiparty Session Types.
CoRR, 2023

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures.
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022
Generalised Multiparty Session Types with Crash-Stop Failures (Technical Report).
CoRR, 2022

Generalised Multiparty Session Types with Crash-Stop Failures.
Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021
Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types.
Proceedings of the Fundamentals of Computation Theory - 23rd International Symposium, 2021

Communication-safe web programming in TypeScript with routed multiparty session types.
Proceedings of the CC '21: 30th ACM SIGPLAN International Conference on Compiler Construction, 2021

2020
Statically verified refinements for multiparty protocols.
Proc. ACM Program. Lang., 2020

Generating Interactive WebSocket Applications in TypeScript.
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2020


  Loading...