1. Dafny vs. Dala: Experience with Mechanising Language Design;Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs;2024-09-20
2. Optimising Aggregate Monitors for Spatial Logic of Closure Spaces Properties;Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13
3. Live Verification in an Interactive Proof Assistant;Proceedings of the ACM on Programming Languages;2024-06-20
4. programmingLanguage as Language;;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
5. A manifesto for applicable formal methods;Software and Systems Modeling;2023-08-18