Jonathan Castello
where else to find them
what they talk about
all 4 in the filters
where they keep going back
- OOPSLA2 editions2024–2025
on a stage with
all 5 in the filters
who talks about the same things
- Patrick Redmond4 talks
- Lindsey Kuper15 talks
- Jose Calderon2 talks
- Pascal Weisenburger11 talks
- Jonathan Aldrich17 talks
- Guido Salvaneschi17 talks
| title | conference | date |
|---|---|---|
| Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern | OOPSLA 2025 | 2025-10-16 |
Formal semantics Core ECS models ECS state and schedules, proves a class of programs are deterministic-by-construction despite relaxed mutation ordering, and… | ||
| CRDT Emulation, Simulation, and Representation Independence | ICFP 2025 | 2025-10-12 |
Formalizes CRDT emulation as weak simulation between transition systems and gives constructive translations both ways, focusing on the op-based→state-based… | ||
| Inductive diagrams for causal reasoning | OOPSLA 2024 | 2024-10-20 |
Defines causal separation diagrams as an inductive, diagrammatic syntax that makes impossible executions unrepresentable and enforces consistent cuts, then… | ||
| nothing matches | ||