Protocols by Default - Safe MPI Code Generation Based on Session Types
Abstract elided by the publisher.
Related papers
- CAMP: cost-aware multiparty session protocols OOPSLA 2020
- Fearless Asynchronous Communications with Timed Multiparty Session Protocols ECOOP 2024
- Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types ECOOP 2022
- Communication-safe web programming in TypeScript with routed multiparty session types CC 2021
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019
- Dynamically Updatable Multiparty Session Protocols: Generating Concurrent Go Code from Unbounded Protocols ECOOP 2023
- Multiparty Session Types for Safe Runtime Adaptation in an Actor Language ECOOP 2021
- A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming ECOOP 2017