Lindsey Kuper

According to our database, Lindsey Kuper authored at least 19 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Inductive Diagrams for Causal Reasoning.

Jonathan Castello, Patrick Redmond, Lindsey Kuper

Proc. ACM Program. Lang., 2024

Toward Verified Library-Level Choreographic Programming with Algebraic Effects.

Gan Shen, Lindsey Kuper

CoRR, 2024

2023

HasChor: Functional Choreographic Programming for All (Functional Pearl).

Gan Shen, Shun Kashiwa, Lindsey Kuper

Proc. ACM Program. Lang., August, 2023

Portable, Efficient, and Practical Library-Level Choreographic Programming.

Shun Kashiwa, Gan Shen, Soroush Zare, Lindsey Kuper

CoRR, 2023

What goes wrong in serverless runtimes? A survey of bugs in Knative Serving.

Tim Goodwin, Andrew Quinn, Lindsey Kuper

Proceedings of the 1st Workshop on SErverless Systems, Applications and MEthodologies, 2023

An Exceptional Actor System (Functional Pearl).

Patrick Redmond, Lindsey Kuper

Proceedings of the 16th ACM SIGPLAN International Haskell Symposium, 2023

CRDTs, Coalgebraically (Early Ideas).

Nathan Liittschwager, Stelios Tsampas, Jonathan Castello, Lindsey Kuper

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

Verified Causal Broadcast with Liquid Haskell.

Patrick Redmond, Gan Shen, Niki Vazou, Lindsey Kuper

Proceedings of the 34th Symposium on Implementation and Application of Functional Languages, 2022

2021

Toward SMT-Based Refinement Types in Agda.

Gan Shen, Lindsey Kuper

CoRR, 2021

Toward Hole-Driven Development with Liquid Haskell.

Patrick Redmond, Gan Shen, Lindsey Kuper

CoRR, 2021

2020

Verifying replicated data types with typeclass refinements in Liquid Haskell.

Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks, Niki Vazou

Proc. ACM Program. Lang., 2020

2019

Toward Domain-Specific Solvers for Distributed Consistency.

Lindsey Kuper, Peter Alvaro

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

2018

Toward Scalable Verification for Safety-Critical Deep Networks.

Lindsey Kuper, Guy Katz, Justin Gottschlich, Kyle Julian, Clark W. Barrett, Mykel J. Kochenderfer

CoRR, 2018

2017

Parallelizing Julia with a Non-Invasive DSL (Artifact).

Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman

Dagstuhl Artifacts Ser., 2017

Parallelizing Julia with a Non-Invasive DSL.

Todd A. Anderson, Hai Liu, Lindsey Kuper, Ehsan Totoni, Jan Vitek, Tatiana Shpeisman

Proceedings of the 31st European Conference on Object-Oriented Programming, 2017

2015

The Future of Programming Languages and Programmers.

Steven D. Fraser, Lars Bak, Rob DeLine, Nick Feamster, Lindsey Kuper, Cristina V. Lopes, Peng Wu

Proceedings of the Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, 2015

2014

Freeze after writing: quasi-deterministic parallel programming with LVars.

Lindsey Kuper, Aaron Turon, Neelakantan R. Krishnaswami, Ryan R. Newton

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Taming the parallel effect zoo: extensible deterministic parallelism with LVish.

Lindsey Kuper, Aaron Todd, Sam Tobin-Hochstadt, Ryan R. Newton

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

2013

LVars: lattice-based data structures for deterministic parallelism.

Lindsey Kuper, Ryan R. Newton

Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013