Laura Voinea
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
who talks about the same things
- Laura Bocchi4 talks
- Quinn Wilton4 talks
- Sung-Shik Jongmans4 talks
- Emina Torlak8 talks
- Liran Haimovitch6 talks
- Nobuko Yoshida13 talks
| title | conference | date |
|---|---|---|
| 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… | ||
| nothing matches | ||