Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors
summary
A prototype toolchain converts TOAST (timeout asynchronous session types) processes into an internal CFSM, then generates correct-by-construction Erlang stubs plus a separate inline TOAST monitor file that can run in verification or enforcement mode. Generated stubs require user code for payload handling; monitors run locally, intercept and possibly delay or filter messages to enforce timing, and the demo shows monitors detect protocol violations across different monitor-on/off combinations. Work in progress: automatic protocol-to-input extraction and thorough monitor performance evaluation.
AI-written summary · about
chapters (8)
- 0:00Erlang on TOAST intro
- 3:13Toolchain workflow
- 6:30TOAST syntax basics
- 13:12Client-server protocol
- 14:15Erlang stubs from TOAST
- 16:22Runtime protocol monitors
- 18:09Demo of stubs
- 25:35Future work summary
related talks
40mPerformance and Testing of an Open Source Erlang TCP/IP Stack
45mTesting Asynchronous OTP
40mDebugging Elixir Code - The Tools, The Mindset
27mBreak It Yourself
31mSynthesizing fine-grained synchronization protocols for implicit monitors
39mCompositional protocol (..) communicating actors
53mUsing Trompeloeil - a mocking framework for modern C++
15mFuzzing Channel-Based Concurrency Runtimes using Types and Effects