Benchmarks for Multiparty Session Types

on YouTube ↗32m

" summary

Proposal for a community-maintained suite of benchmarks for multiparty session types that collects canonical protocols (two‑buyer, travel agency, etc.), provides PDF descriptions and machine-readable new Scribble sources, and aims to let different MPST implementations run the same inputs and produce comparable results. Repository normalizes variants (removes paper-specific extensions when possible), offers projection tooling and templates, and plans optional reference implementations, runner scripts and a place to upload reproducible benchmark results; currently no cross‑tool performance numbers are claimed.

AI-written summary · about

" chapters (7)

1. 0:00Introduction
2. 4:50Protocol selection challenges
3. 10:33Selection criteria
4. 15:51Future directions
5. 20:14Q&A
6. 25:13Protocol refinements
7. 29:09Community impact

" related talks

• 18mHybrid Multiparty Session Types: Compositionality for Protocol Specification th...Nobuko Yoshida, Lorenzo Gheri · OOPSLA 2023
• 15mStatically Verified Refinements for Multiparty ProtocolsNobuko Yoshida, Raymond Hu, Fangyi Zhou, Francisco Ferreira, Rumyana Neykova · OOPSLA 2020
• 37mSession Types: A History and ApplicationsNobuko Yoshida · Code Mesh LDN 2020
• 15mA Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed ProgrammingPatrick Eugster, Raymond Hu, Lukasz Ziarek, Malte Viering · OOPSLA 2021
• 23mA Synthetic Reconstruction of Multiparty Session TypesSung-Shik Jongmans, Francisco Ferreira, David Castro-Perez · POPL 2026
• 15mCAMP: Cost-Aware Multiparty Session ProtocolsNobuko Yoshida, David Castro-Perez · OOPSLA 2020
• 56mKeynote: Benchee: 9 Years of Benchmarking on the BEAMTobias Pfeiffer · Code BEAM Lite Stockholm 2025
• 32mMulticompatibility for Multiparty-Session CompositionNobuko Yoshida, Lorenzo Gheri, Franco Barbanera, Mariangiola Dezani · PPDP 2023