( en | de | ru )

 

Disambiguation of "Kuper, Lindsey"

Author of the publication

copydeleteadd this publication to your clipboard
Toward Domain-Specific Solvers for Distributed Consistency.

, and . SNAPL, volume 136 of LIPIcs, page 10:1-10:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Kathleen Lindsey

Lindsey Maccoux

Lindsey Brodie

Trevis Lindsey Calow

Ernst Kuper

 

Other publications of authors with the same name

Verified Causal Broadcast with Liquid Haskell., , , and . IFL, page 6:1-6:13. ACM, (2022)Inductive Diagrams for Causal Reasoning., , and . Proc. ACM Program. Lang., 8 (OOPSLA1): 529-554 (2024)Portable, Efficient, and Practical Library-Level Choreographic Programming., , , and . CoRR, (2023)CRDTs, Coalgebraically (Early Ideas)., , , and . CALCO, volume 270 of LIPIcs, page 22:1-22:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Toward Scalable Verification for Safety-Critical Deep Networks., , , , , and . CoRR, (2018)LVars: lattice-based data structures for deterministic parallelism., and . FHPC@ICFP, page 71-84. ACM, (2013)Verifying replicated data types with typeclass refinements in Liquid Haskell., , , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 216:1-216:30 (2020)Toward Verified Library-Level Choreographic Programming with Algebraic Effects., and . CoRR, (2024)Parallelizing Julia with a Non-Invasive DSL., , , , , and . ECOOP, volume 74 of LIPIcs, page 4:1-4:29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Taming the parallel effect zoo: extensible deterministic parallelism with LVish., , , and . PLDI, page 2-14. ACM, (2014)