research
∙
04/28/2022
Stay Safe under Panic: Affine Rust Programming with Multiparty Session Types
Communicating systems comprise diverse software components across networ...
share
research
∙
03/23/2022
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
The increasingly concurrent and parallel landscape of hardware and softw...
research
∙
11/23/2021
kmclib: Automated Inference and Verification of Session Types
Theories and tools based on multiparty session types offer correctness g...
research
∙
09/14/2020
Statically Verified Refinements for Multiparty Protocols
With distributed computing becoming ubiquitous in the modern era, safe d...
research
∙
05/13/2020
