Publications

2025 (1)

Crash-Stop Failures in Asynchronous Multiparty Session Types

2023 (1)

Designing Asynchronous Multiparty Protocols with Crash-Stop Failures

2022 (1)

Generalised Multiparty Session Types with Crash-Stop Failures

2021 (2)

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types

Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types

2020 (2)

Statically Verified Refinements for Multiparty Protocols

Generating Interactive WebSocket Applications in TypeScript