Hybrid Multiparty Session Types: Compositionality for Protocol Specification th...

on YouTube ↗18m

" summary

Claims a semantics-preserving method to compose separately-designed subprotocols into a single well-formed global MPST, introduces hybrid types that mix global and local constructs, defines a novel compatibility relation, gives an explicit algorithm that composes multiple components into a global type, proves projection is preserved so liveness and deadlock freedom carry over, and reports application to real-world case studies plus extensions for delegation and explicit connections.

AI-written summary · about

" chapters (9)

1. 0:00Hybrid multiparty session types intro
2. 1:34Multiparty session types overview
3. 5:08Centralized design limitations
4. 6:33Hybrid types for protocols
5. 8:41Compositional safety with types
6. 10:54Preservation and separation
7. 11:38Applicability with existing systems
8. 13:05Future work and extensions
9. 14:34Q&A

" related talks

• 32mMulticompatibility for Multiparty-Session CompositionNobuko Yoshida, Lorenzo Gheri, Franco Barbanera, Mariangiola Dezani · PPDP 2023
• 23mA Synthetic Reconstruction of Multiparty Session TypesSung-Shik Jongmans, Francisco Ferreira, David Castro-Perez · POPL 2026
• 39mCompositional protocol (..) communicating actorsLaura Bocchi, Laura Voinea · Code BEAM V Europe 2021
• 37mSession Types: A History and ApplicationsNobuko Yoshida · Code Mesh LDN 2020
• 15mStatically Verified Refinements for Multiparty ProtocolsNobuko Yoshida, Raymond Hu, Fangyi Zhou, Francisco Ferreira, Rumyana Neykova · OOPSLA 2020
• 35mEvent-Driven Multiparty Session ActorsRaymond Hu, Simon Fowler · HOPE 2023
• 15mA Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed ProgrammingPatrick Eugster, Raymond Hu, Lukasz Ziarek, Malte Viering · OOPSLA 2021
• 32mBenchmarks for Multiparty Session TypesNobuko Yoshida, Martin Vassor · ST30 2023