Annette Bieniusa
where else to find them
what they talk about
all 7 in the filters
where they keep going back
- Erlang3 editions2021–2026
all 5 in the filters
on a stage with
all 6 in the filters
who talks about the same things
- Martin Kleppmann12 talks
- Christopher S. Meiklejohn20 talks
- Magnar Sveen3 talks
- Paul deGrandis4 talks
- Peter Alvaro7 talks
- Christian Johansen6 talks
| title | conference | date |
|---|---|---|
| Set-Theoretic Type Checking of Beginner Erlang Code: A Retrospective Study | Erlang 2026 | 2026-08-24 |
Etylizer, a static checker built on set-theoretic types, analyzes five years of student Erlang projects (≈4,600 functions after cleanup) and finds that only… | ||
| Erla+: Translating TLA+ Models into Executable Actor-Based Implementations | Erlang 2024 | 2024-09-02 |
Erla+ automatically converts a subset of PlusCal into runnable Erlang and a TLA+ model for TLC model checking, adding message-passing and failure primitives… | ||
| Same same but different: A Comparative Analysis of Static Type Checkers in Erlang | Erlang 2024 | 2024-09-02 |
Four static checkers (Dialyzer, Gradualizer, eqWAlizer, Etylizer) run against the union of their per-file test suites and show large disagreement: tools… | ||
| Collaborative offline-first applications in Education | PLF 2023 | 2023-10-22 |
A local‑first web app called Teens’ Labbook lets school groups read tasks, document experiments with text, photos, videos and spreadsheets, and share results… | ||
| Bidirectional Typing for Erlang | Erlang 2021 | 2021-08-26 |
A bidirectional type system for Erlang is implemented as a prototype that subsumes Hindley‑Milner and supports union types and higher‑rank polymorphism… | ||
| AntidoteDB: highly available, transactional database | Code BEAM Lite Munich 2018 | 2018-12-07 |
AntidoteDB targets global low-latency, highly available transactions by combining CRDTs (counters, sets, maps, registers), causal consistency and selective… | ||
| Keeping the flow going: Data-flow oriented workflow systems | Lambda Days 2017 | 2017-02-09 |
Claims a data‑flow workflow where the flow is a purely functional program that guarantees consistency while letting users perform tasks in any order as… | ||
| Antidote - a Scalable and Consistent Transactional Data Store | Erlang User Conference 2016 | 2016-09-08 |
Antidote is a working research database: a distributed key-value store with CRDTs, atomic multi-key writes, snapshot reads and data partitioning, implemented… | ||
| nothing matches | ||