LVars: lattice-based data structures for deterministic parallelism. - Lindsey Kuper; Ryan R. Newton (FHPC@ICFP, 2013)

Taming the parallel effect zoo: extensible deterministic parallelism with LVish. - Lindsey Kuper; Aaron Todd; Sam Tobin-Hochstadt; Ryan R. Newton (PLDI, 2014)

Freeze after writing: quasi-deterministic parallel programming with LVars. - Lindsey Kuper; Aaron Turon; Neelakantan R. Krishnaswami; Ryan R. Newton (POPL, 2014)

The Future of Programming Languages and Programmers. - Steven D. Fraser; Lars Bak; Rob DeLine; Nick Feamster; Lindsey Kuper; Cristina V. Lopes; Peng Wu 001 (SPLASH (Companion Volume), 2015)

Parallelizing Julia with a Non-Invasive DSL. - Todd A. Anderson 001; Hai Liu 012; Lindsey Kuper; Ehsan Totoni; Jan Vitek; Tatiana Shpeisman (ECOOP, 2017)

Parallelizing Julia with a Non-Invasive DSL (Artifact). - Todd A. Anderson 001; Hai Liu 012; Lindsey Kuper; Ehsan Totoni; Jan Vitek; Tatiana Shpeisman (Dagstuhl Artifacts Ser., 2017)

Toward Scalable Verification for Safety-Critical Deep Networks. - Lindsey Kuper; Guy Katz; Justin Gottschlich; Kyle Julian; Clark W. Barrett; Mykel J. Kochenderfer (CoRR, 2018)

Toward Domain-Specific Solvers for Distributed Consistency. - Lindsey Kuper; Peter Alvaro (SNAPL, 2019)

Verifying replicated data types with typeclass refinements in Liquid Haskell. - Yiyun Liu; James Parker; Patrick Redmond; Lindsey Kuper; Michael Hicks 001; Niki Vazou (Proc. ACM Program. Lang., 2020)

Toward Hole-Driven Development with Liquid Haskell. - Patrick Redmond; Gan Shen; Lindsey Kuper (CoRR, 2021)

Toward SMT-Based Refinement Types in Agda. - Gan Shen; Lindsey Kuper (CoRR, 2021)

Verified Causal Broadcast with Liquid Haskell. - Patrick Redmond; Gan Shen; Niki Vazou; Lindsey Kuper (IFL, 2022)

CRDTs, Coalgebraically (Early Ideas). - Nathan Liittschwager; Stelios Tsampas 001; Jonathan Castello; Lindsey Kuper (CALCO, 2023)

An Exceptional Actor System (Functional Pearl). - Patrick Redmond; Lindsey Kuper (Haskell, 2023)

What goes wrong in serverless runtimes? A survey of bugs in Knative Serving. - Tim Goodwin; Andrew Quinn 001; Lindsey Kuper (SESAME@EuroSys, 2023)

Portable, Efficient, and Practical Library-Level Choreographic Programming. - Shun Kashiwa; Gan Shen; Soroush Zare; Lindsey Kuper (CoRR, 2023)

HasChor: Functional Choreographic Programming for All (Functional Pearl). - Gan Shen; Shun Kashiwa; Lindsey Kuper (Proc. ACM Program. Lang., 2023)

Toward Verified Library-Level Choreographic Programming with Algebraic Effects. - Gan Shen; Lindsey Kuper (CoRR, 2024)

Inductive Diagrams for Causal Reasoning. - Jonathan Castello; Patrick Redmond; Lindsey Kuper (Proc. ACM Program. Lang., 2024)

Efficient, Portable, Census-Polymorphic Choreographic Programming. - Mako Bates; Shun Kashiwa; Syed Jafri; Gan Shen; Lindsey Kuper; Joseph P. Near (Proc. ACM Program. Lang., 2025)

CRDT Emulation, Simulation, and Representation Independence. - Nathan Liittschwager; Jonathan Castello; Stelios Tsampas 001; Lindsey Kuper (CoRR, 2025)

Freer Arrows and Why You Need Them in Haskell. - Grant VanDomelen; Gan Shen; Lindsey Kuper; Yao Li (CoRR, 2025)