( en | de | ru )

 

Disambiguierung von "Kuper, Lindsey"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Toward Domain-Specific Solvers for Distributed Consistency.

, und . SNAPL, Volume 136 von LIPIcs, Seite 10:1-10:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Kathleen Lindsey

Lindsey Maccoux

Lindsey Brodie

Trevis Lindsey Calow

Gerhard Kuper

 

Weitere Publikationen von Autoren mit dem selben Namen

Verified Causal Broadcast with Liquid Haskell., , , und . IFL, Seite 6:1-6:13. ACM, (2022)Inductive Diagrams for Causal Reasoning., , und . Proc. ACM Program. Lang., 8 (OOPSLA1): 529-554 (2024)Portable, Efficient, and Practical Library-Level Choreographic Programming., , , und . CoRR, (2023)CRDTs, Coalgebraically (Early Ideas)., , , und . CALCO, Volume 270 von LIPIcs, Seite 22:1-22:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Toward Scalable Verification for Safety-Critical Deep Networks., , , , , und . CoRR, (2018)Verifying replicated data types with typeclass refinements in Liquid Haskell., , , , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 216:1-216:30 (2020)LVars: lattice-based data structures for deterministic parallelism., und . FHPC@ICFP, Seite 71-84. ACM, (2013)Freeze after writing: quasi-deterministic parallel programming with LVars., , , und . POPL, Seite 257-270. ACM, (2014)What goes wrong in serverless runtimes? A survey of bugs in Knative Serving., , und . SESAME@EuroSys, Seite 12-18. ACM, (2023)Taming the parallel effect zoo: extensible deterministic parallelism with LVish., , , und . PLDI, Seite 2-14. ACM, (2014)