Patrick Redmond
where else to find them
no profile links on file
what they talk about
all 5 in the filters
where they keep going back
- OOPSLA3 editions2020–2025
on a stage with
all 8 in the filters
who talks about the same things
- Jonathan Castello3 talks
- Lindsey Kuper15 talks
- Jonathan Aldrich17 talks
- Yiyun Liu5 talks
- Pascal Weisenburger11 talks
- Jose Calderon2 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… | ||
| 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… | ||
| An Exceptional Actor System (Functional Pearl) | Haskell 2023 | 2023-09-08 |
Builds an actor framework by reusing GHC runtime features: throwTo and forkIO for sending and spawning, instance Exception for messages to make arbitrary ADTs… | ||
| Verifying Replicated Data Types with Typeclass Refinements in Liquid Haskell | OOPSLA 2020 | 2020-11-15 |
Extension to Liquid Haskell adds refined typeclasses in Liquid Haskell so class laws become checkable at Core; the implementation verifies laws for 34… | ||
| nothing matches | ||