Lindsey Kuper

33 papers A* 2A 1B 1C 2Journal 21Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Can you keep a secret? A new protocol for sender-side enforcement of causal message delivery.
CoRR
Yan Tong, Nathan Liittschwager, Lindsey Kuper
2025 J jnl
CRDT Emulation, Simulation, and Representation Independence.
CoRR
Nathan Liittschwager, Jonathan Castello, Stelios Tsampas, Lindsey Kuper
2025 J jnl
CRDT Emulation, Simulation, and Representation Independence.
Proc. ACM Program. Lang.
Nathan Liittschwager, Jonathan Castello, Stelios Tsampas, Lindsey Kuper
2025 J jnl
Efficient, Portable, Census-Polymorphic Choreographic Programming.
Proc. ACM Program. Lang.
Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near
2025 J jnl
Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern.
CoRR
Patrick Redmond, Jonathan Castello, José Manuel Calderón Trilla, Lindsey Kuper
2025 J jnl
Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern.
Proc. ACM Program. Lang.
Patrick Redmond, Jonathan Castello, José Manuel Calderón Trilla, Lindsey Kuper
2025 C conf
Freer Arrows and Why You Need Them in Haskell.
Haskell
Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li
2025 J jnl
Freer Arrows and Why You Need Them in Haskell.
CoRR
Grant VanDomelen, Gan Shen, Lindsey Kuper, Yao Li
2025 — conf
Monolift: Automating Distribution With the Tools You Have at Home.
PLOS@SOSP
Tim Goodwin, Esteban Ramos, Andi Quinn, Lindsey Kuper
2024 J jnl
Efficient, Portable, Census-Polymorphic Choreographic Programming.
CoRR
Mako Bates, Shun Kashiwa, Syed Jafri, Gan Shen, Lindsey Kuper, Joseph P. Near
2024 J jnl
Inductive Diagrams for Causal Reasoning.
Proc. ACM Program. Lang.
Jonathan Castello, Patrick Redmond, Lindsey Kuper
2024 J jnl
Toward Verified Library-Level Choreographic Programming with Algebraic Effects.
CoRR
Gan Shen, Lindsey Kuper
2023 C conf
An Exceptional Actor System (Functional Pearl).
Haskell
Patrick Redmond, Lindsey Kuper
2023 J jnl
An Exceptional Actor System (Functional Pearl).
CoRR
Patrick Redmond, Lindsey Kuper
2023 B conf
CRDTs, Coalgebraically (Early Ideas).
CALCO
Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper
2023 J jnl
HasChor: Functional Choreographic Programming for All (Functional Pearl).
CoRR
Gan Shen, Shun Kashiwa, Lindsey Kuper
2023 J jnl
HasChor: Functional Choreographic Programming for All (Functional Pearl).
Proc. ACM Program. Lang.
Gan Shen, Shun Kashiwa, Lindsey Kuper
2023 J jnl
Inductive diagrams for causal reasoning.
CoRR
Jonathan Castello, Patrick Redmond, Lindsey Kuper
2023 J jnl
Portable, Efficient, and Practical Library-Level Choreographic Programming.
CoRR
Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper
2023 — conf
What goes wrong in serverless runtimes? A survey of bugs in Knative Serving.
SESAME@EuroSys
Tim Goodwin, Andrew Quinn, Lindsey Kuper
2022 — conf
Verified Causal Broadcast with Liquid Haskell.
IFL
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
2022 J jnl
Verified Causal Broadcast with Liquid Haskell.
CoRR
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
2021 J jnl
Toward Hole-Driven Development with Liquid Haskell.
CoRR
Patrick Redmond, Gan Shen, Lindsey Kuper
2021 J jnl
Toward SMT-Based Refinement Types in Agda.
CoRR
Gan Shen, Lindsey Kuper
2020 J jnl
Verifying replicated data types with typeclass refinements in Liquid Haskell.
Proc. ACM Program. Lang.
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
2019 — conf
Toward Domain-Specific Solvers for Distributed Consistency.
SNAPL
Lindsey Kuper, Peter Alvaro
2018 J jnl
Toward Scalable Verification for Safety-Critical Deep Networks.
CoRR
Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark W. Barrett, Mykel J. Kochenderfer
2017 J jnl
Parallelizing Julia with a Non-Invasive DSL (Artifact).
Dagstuhl Artifacts Ser.
Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
2017 A conf
Parallelizing Julia with a Non-Invasive DSL.
ECOOP
Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
2015 — conf
The Future of Programming Languages and Programmers.
SPLASH (Companion Volume)
Steven D. Fraser, Lars Bak, Rob DeLine, Nick Feamster, Lindsey Kuper, Cristina V. Lopes, Peng Wu
2014 A* conf
Freeze after writing: quasi-deterministic parallel programming with LVars.
POPL
Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton
2014 A* conf
Taming the parallel effect zoo: extensible deterministic parallelism with LVish.
PLDI
Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton
2013 — conf
LVars: lattice-based data structures for deterministic parallelism.
FHPC@ICFP
Lindsey Kuper, Ryan R. Newton