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

Ode on a random urn (functional pearl)., , and . Haskell, page 26-37. ACM, (2017)Achieving Safety Incrementally with Checked C., , , , and . POST, volume 11426 of Lecture Notes in Computer Science, page 76-98. Springer, (2019)Etna: An Evaluation Platform for Property-Based Testing (Experience Report)., , , , and . Proc. ACM Program. Lang., 7 (ICFP): 878-894 (August 2023)Security Properties for Stack Safety., , , , and . CoRR, (2021)Formalizing Stack Safety as a Security Property., , , , and . CSF, page 356-371. IEEE, (2023)Computing correctly with inductive relations., , and . PLDI, page 966-980. ACM, (2022)Object Graph Programming., , , and . ICSE, page 20:1-20:13. ACM, (2024)Measuring Neural Net Robustness with Constraints., , , , , and . NIPS, page 2613-2621. (2016)Keep your laziness in check., , and . Proc. ACM Program. Lang., 2 (ICFP): 102:1-102:30 (2018)Do Judge a Test by its Cover - Combining Combinatorial and Property-Based Testing., , , and . ESOP, volume 12648 of Lecture Notes in Computer Science, page 264-291. Springer, (2021)