Author of the publication

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.

 

Other publications of authors with the same name

Inductive Diagrams for Causal Reasoning., , and . Proc. ACM Program. Lang., 8 (OOPSLA1): 529-554 (2024)Verified Causal Broadcast with Liquid Haskell., , , and . IFL, page 6:1-6:13. ACM, (2022)Verifying replicated data types with typeclass refinements in Liquid Haskell., , , , , and . Proc. ACM Program. Lang., 4 (OOPSLA): 216:1-216:30 (2020)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)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)Freeze after writing: quasi-deterministic parallel programming with LVars., , , and . POPL, page 257-270. ACM, (2014)What goes wrong in serverless runtimes? A survey of bugs in Knative Serving., , and . SESAME@EuroSys, page 12-18. ACM, (2023)Taming the parallel effect zoo: extensible deterministic parallelism with LVish., , , and . PLDI, page 2-14. ACM, (2014)