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

Blame for Null., , , and . ECOOP, volume 166 of LIPIcs, page 3:1-3:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Modular Verification of State-Based CRDTs in Separation Logic., , , , and . ECOOP, volume 263 of LIPIcs, page 22:1-22:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Blame for Null (Artifact)., , , and . Dagstuhl Artifacts Ser., 6 (2): 10:1-10:2 (2020)Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement., , , , , , and . Proc. ACM Program. Lang., 8 (POPL): 241-272 (January 2024)Modular Verification of State-Based CRDTs in Separation Logic (Artifact)., , , , and . Dagstuhl Artifacts Ser., 9 (2): 15:1-15:5 (2023)Tamarin: Concolic Disequivalence for MIPS.. CoRR, (2018)Scala with Explicit Nulls (Artifact)., , , , and . Dagstuhl Artifacts Ser., 6 (2): 14:1-14:2 (2020)Trillium: Unifying Refinement and Higher-Order Distributed Separation Logic., , , , , and . CoRR, (2021)Scala with Explicit Nulls., , , , and . ECOOP, volume 166 of LIPIcs, page 25:1-25:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Towards algorithmic typing for DOT (short paper).. SCALA@SPLASH, page 2-7. ACM, (2017)