Laura Bocchi
where else to find them
linkedin:laurabocchi
what they talk about
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Laura Voinea2×
- Jonah Pearsonce
- Raymond Huonce
who talks about the same things
- Laura Voinea2 talks
- Nobuko Yoshida13 talks
- Sung-Shik Jongmans4 talks
- Quinn Wilton4 talks
- Peter Thiemann15 talks
- Janek Spaderna3 talks
| title | conference | date |
|---|---|---|
| Erlang on TOAST: Generating Erlang Stubs with Inline TOAST Monitors | Erlang 2024 | 2024-09-02 |
A prototype toolchain converts TOAST (timeout asynchronous session types) processes into an internal CFSM, then generates correct-by-construction Erlang stubs… | ||
| Compositional protocol (..) communicating actors | Code BEAM V Europe 2021 | 2021-05-19 |
Claims an algorithmic notion of protocol composition that enforces three properties: behavior preservation, fairness (strong or weak vs strong fairness), and… | ||
| Protocol engineering for communicating actors | Code Mesh LDN 2020 | 2020-11-05 |
Protocol models get extracted from Erlang gen_statem code into session types, composed algorithmically with three annotations assert/require/consume, and… | ||
| Time-sensitive protocol: Links From Design to Implementation | Lambda World Cádiz 2019 | 2019-10-17 |
Develops a formal link from timed protocol specs to implementable abstractions using Timed Session Types and Timed Automata, shows a typing system with virtual… | ||
| nothing matches | ||