~/talk

Future Directions for Session Types

on YouTube 01h 18m
Talkat ST30 2023 · 2023-10-22..10-23· [software-architecture]

speakers

name:Stephanie Balzer
links:none on file
name:Luís Caires
links:none on file
name:Ornela Dardha
links:none on file
name:Raymond Hu
links:none on file

resources

video:https://youtu.be/zsuRK3UaRXc
slides:none on file

summary

Panelists argue concrete next steps: integrate failure handling plus timeouts/congestion into the theory, design a missing module system for session types, and push implementations into mainstream languages (a Rust EDSL and a Servo experiment exist). Mechanization is essential but costly—one infrastructure took ~1 year to build and mechanization adds 200–300% effort—so bootstrap libraries (connectivity-graph, logical-relations mechanizations, benchmarks) first. Practical directions include runtime monitoring, protocol inference from traces, and automated test generation from global types.

AI-written summary · about

chapters (9)

  1. 0:00Welcome
  2. 2:48Panelists' background
  3. 5:39Future directions
  4. 15:26Session types' future?
  5. 22:10Session types mainstream
  6. 32:13Mechanization in research
  7. 58:48Funding strategies
  8. 1:06:03Testing session types
  9. 1:15:24Closing remarks

related talks

~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.