Adrian Francalanza
where else to find them
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
- Alceste Scalasonce
- Duncan Paul Attardonce
- Gerard Taboneonce
all 8 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Correct Black-Box Monitors for Distributed Deadlock Detection: Formalisation and(…) | OOPSLA 2025 | 2025-10-16 |
Claims a distributed black-box monitoring algorithm that is sound and complete for detecting deadlocked services in RPC/gen_server-style systems, proved and… | ||
| Session-Based Typechecking for Elixir Modules Using ElixirST | ST30 2023 | 2023-10-22 |
ElixirST provides a static session typing layer for Elixir modules and ships as a compilation‑time tool integrated into the Elixir pipeline. It uses session… | ||
| Graft: General Purpose Raft Consensus in Elixir | Erlang 2021 | 2021-08-26 |
Graft is an open source Elixir library implementing Raft with a minimal API (start, request), a graph.machine behavior (init, handle_entry), and config for a… | ||
| nothing matches | ||