Session Types: A History and Applications

on YouTube ↗37m

" summary

Session types are presented as a way to prevent communication mismatches and deadlocks, moving from binary session types to multiparty session types for protocols involving many participants. The talk covers practical tooling such as Scribble for writing global protocols and generated runtime monitors, plus code generation and integration with actor/Erlang and microservice runtimes, and case studies showing protocol conformance in industry systems.

AI-written summary · about

" chapters (8)

1. 0:00Session types history
2. 2:15Origins of session types
3. 9:01Global versus local types
4. 14:04Multi-party session types
5. 22:56Session types in languages
6. 27:53Dynamic session types
7. 33:02Industry applications
8. 36:31Q&A

" related talks

• 37mUsing Event Structures to model Multiparty Session Types: results and open problemsPaola Giannini, Ilaria Castellani · ST30 2023
• 23mA Synthetic Reconstruction of Multiparty Session TypesSung-Shik Jongmans, Francisco Ferreira, David Castro-Perez · POPL 2026
• 18mHybrid Multiparty Session Types: Compositionality for Protocol Specification th...Nobuko Yoshida, Lorenzo Gheri · OOPSLA 2023
• 35mEvent-Driven Multiparty Session ActorsRaymond Hu, Simon Fowler · HOPE 2023
• 15mStatically Verified Refinements for Multiparty ProtocolsNobuko Yoshida, Raymond Hu, Fangyi Zhou, Francisco Ferreira, Rumyana Neykova · OOPSLA 2020
• 32mMulticompatibility for Multiparty-Session CompositionNobuko Yoshida, Lorenzo Gheri, Franco Barbanera, Mariangiola Dezani · PPDP 2023
• 20mMessage-Observing SessionsRyan Kavanagh, Brigitte Pientka · OOPSLA 2024
• 15mA Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed ProgrammingPatrick Eugster, Raymond Hu, Lukasz Ziarek, Malte Viering · OOPSLA 2021