Autor der Publikation

Distributed causal memory: modular specification and verification in higher-order distributed separation logic.

, , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Modular Verification of State-Based CRDTs in Separation Logic (Artifact)., , , , und . Dagstuhl Artifacts Ser., 9 (2): 15:1-15:5 (2023)Blame for Null., , , und . ECOOP, Volume 166 von LIPIcs, Seite 3:1-3:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Modular Verification of State-Based CRDTs in Separation Logic., , , , und . ECOOP, Volume 263 von LIPIcs, Seite 22:1-22:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Tamarin: Concolic Disequivalence for MIPS.. CoRR, (2018)Scala with Explicit Nulls., , , , und . ECOOP, Volume 166 von LIPIcs, Seite 25:1-25:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Towards algorithmic typing for DOT (short paper).. SCALA@SPLASH, Seite 2-7. ACM, (2017)Towards Algorithmic Typing for D<:.. CoRR, (2017)Distributed causal memory: modular specification and verification in higher-order distributed separation logic., , , , und . Proc. ACM Program. Lang., 5 (POPL): 1-29 (2021)