( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Toward Domain-Specific Solvers for Distributed Consistency.

, и . SNAPL, том 136 из LIPIcs, стр. 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.

Kathleen Lindsey

Lindsey Maccoux

Lindsey Brodie

Trevis Lindsey Calow

Gerhard Kuper

 

Другие публикации лиц с тем же именем

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