Benchmarks for Multiparty Session Types - ST30

Explore a work-in-progress project aimed at defining benchmarks for multiparty session types in this 32-minute conference talk from ACM SIGPLAN. Delve into the motivation behind creating a common set of relevant protocols for the session types community and understand the selection criteria for these benchmarks. Examine the current set of protocols under consideration and participate in an open discussion to provide feedback on this initiative. Gain insights into the efforts to standardize and compare various implementations of session types, which have been evolving for 30 years, with multiparty session types reaching their 15-year milestone.

[ST30] Benchmarks for Multiparty Session Types