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

Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq., , , and . Proc. ACM Program. Lang., 8 (PLDI): 889-913 (2024)RefinedRust: A Type System for High-Assurance Verification of Rust Programs., , , , and . Proc. ACM Program. Lang., 8 (PLDI): 1115-1139 (2024)Transfinite Iris: resolving an existential dilemma of step-indexed separation logic., , , , , , and . PLDI, page 80-95. ACM, (2021)Stuttering for Free., , , , and . Proc. ACM Program. Lang., 7 (OOPSLA2): 1677-1704 (October 2023)Mechanising Complexity Theory: The Cook-Levin Theorem in Coq., and . ITP, volume 193 of LIPIcs, page 20:1-20:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)