Fangyi ZhouHome Posts Publications AboutPublications2021 (2)Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session TypesCommunication-Safe Web Programming in TypeScript with Routed Multiparty Session Types2020 (2)Statically Verified Refinements for Multiparty ProtocolsGenerating Interactive WebSocket Applications in TypeScript