Lindsey Kuper

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 19

Top Topics

Inductive Reasoning

Programming Language

Top Venues

Proc. ACM Program. Lang.

SPLASH (Companion Volume)

Publications

Gan Shen, Lindsey Kuper
Toward Verified Library-Level Choreographic Programming with Algebraic Effects. CoRR (2024)
Jonathan Castello, Patrick Redmond, Lindsey Kuper
Inductive Diagrams for Causal Reasoning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Jonathan Castello, Patrick Redmond, Lindsey Kuper
Inductive diagrams for causal reasoning. CoRR (2023)
Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper
CRDTs, Coalgebraically (Early Ideas). CALCO (2023)
Patrick Redmond, Lindsey Kuper
An Exceptional Actor System (Functional Pearl). CoRR (2023)
Gan Shen, Shun Kashiwa, Lindsey Kuper
HasChor: Functional Choreographic Programming for All (Functional Pearl). Proc. ACM Program. Lang. 7 (ICFP) (2023)
Gan Shen, Shun Kashiwa, Lindsey Kuper
HasChor: Functional Choreographic Programming for All (Functional Pearl). CoRR (2023)
Tim Goodwin, Andrew Quinn, Lindsey Kuper
What goes wrong in serverless runtimes? A survey of bugs in Knative Serving. SESAME@EuroSys (2023)
Patrick Redmond, Lindsey Kuper
An Exceptional Actor System (Functional Pearl). Haskell (2023)
Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper
Portable, Efficient, and Practical Library-Level Choreographic Programming. CoRR (2023)
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
Verified Causal Broadcast with Liquid Haskell. IFL (2022)
Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper
Verified Causal Broadcast with Liquid Haskell. CoRR (2022)
Gan Shen, Lindsey Kuper
Toward SMT-Based Refinement Types in Agda. CoRR (2021)
Patrick Redmond, Gan Shen, Lindsey Kuper
Toward Hole-Driven Development with Liquid Haskell. CoRR (2021)
Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou
Verifying replicated data types with typeclass refinements in Liquid Haskell. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Lindsey Kuper, Peter Alvaro
Toward Domain-Specific Solvers for Distributed Consistency. SNAPL (2019)
Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark W. Barrett, Mykel J. Kochenderfer
Toward Scalable Verification for Safety-Critical Deep Networks. CoRR (2018)
Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
Parallelizing Julia with a Non-Invasive DSL. ECOOP (2017)
Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman
Parallelizing Julia with a Non-Invasive DSL (Artifact). Dagstuhl Artifacts Ser. 3 (2) (2017)
Steven D. Fraser, Lars Bak, Rob DeLine, Nick Feamster, Lindsey Kuper, Cristina V. Lopes, Peng Wu
The Future of Programming Languages and Programmers. SPLASH (Companion Volume) (2015)
Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton
Taming the parallel effect zoo: extensible deterministic parallelism with LVish. PLDI (2014)
Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton
Freeze after writing: quasi-deterministic parallel programming with LVars. POPL (2014)
Lindsey Kuper, Ryan R. Newton
LVars: lattice-based data structures for deterministic parallelism. FHPC@ICFP (2013)