Lindsey Kuper
where else to find them
mastodon:@lindsey@recurse.social
what they talk about
all 8 in the filters
where they keep going back
all 8 in the filters
on a stage with
all 20 in the filters
who talks about the same things
- Patrick Redmond4 talks
- Jonathan Castello3 talks
- Nadia Polikarpova24 talks
- Shriram Krishnamurthi12 talks
- Deepak Garg18 talks
- Michael Hicks18 talks
| title | conference | date |
|---|---|---|
| Freer Arrows and Why You Need Them in Haskell | Haskell 2025 | 2025-10-16 |
Proposes freer arrows as a Haskell data structure (plus two variants: freer pre-arrow and freer choice arrow) that yields an Arrow instance and admits simple… | ||
| 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… | ||
| Efficient, Portable, Census-Polymorphic Choreographic Programming | PLDI 2025 | 2025-06-16 |
Claims that conclaves and multiply-located values remove redundant broadcasts and make conditionals communication-efficient, with a formal lambda-C showing… | ||
| 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… | ||
| Toward Verified Library-Level Choreographic Programming with Algebraic Effects | CP 2024 | 2024-06-24 |
Claims that algebraic effects give a lightweight, formalizable basis for library-level choreographies, and presents an Agda prototype that models choreography… | ||
| ChoRus: Library-Level Choreographic Programming in Rust | CP 2024 | 2024-06-24 |
ChoRus is a Rust cargo library that implements choreographic programming by compiling a global choreography to node code using endpoint projection via… | ||
| 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… | ||
| HasChor: Functional Choreographic Programming for All | ICFP 2023 | 2023-09-04 |
HasChor is a Haskell library that encodes choreographies as a monad and compiles them to per-node programs via endpoint projection implemented with freer… | ||
| 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… | ||
| Welcome | PLMW @ ICFP 2020 | 2020-08-23 |
Welcome notes report concrete scale and logistics: 275 registered attendees from 32 countries on six continents, enabled by moving PLMW online so scholarships… | ||
| Reasoning Under Uncertainty in SMT Solving, Research, and Life | PLMW @ POPL 2020 | 2020-01-21 |
Argues that SMT progress rests on practical abstractions and shows how modern CDCL solvers actually work: CDCL (simplify, decide, learn) with unit clause / BCP… | ||
| Opening Words | !!Con 2016 | 2016-05-30 |
Organizers welcome a doubled crowd, name five of six organizers and note Alex Clemmer is en route, thank listed sponsors managed by Q dev bootcamp stride… | ||
| nothing matches | ||