1. On the Relationship between Code Verifiability and Understandability;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Bit-Vector Typestate Analysis;Formal Aspects of Computing;2023-09-13
3. Pluggable Type Inference for Free;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
4. Scalable Typestate Analysis for Low-Latency Environments;Lecture Notes in Computer Science;2022
5. Lightweight verification via specialized typecheckers;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18