Benchmarks for Multiparty Session Types - ST30
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
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.
Syllabus
[ST30] Benchmarks for Multiparty Session Types
Taught by
ACM SIGPLAN
Related Courses
Human Computer InteractionIndependent Introduction à la logique informatique - Partie 2 : calcul des prédicats
Université Paris-Saclay via France Université Numerique System Validation (4): Modelling Software, Protocols, and other behaviour
EIT Digital via Coursera Formal Software Verification
University System of Maryland via edX Principles of Secure Coding
University of California, Davis via Coursera