1. Abstract Interpretation of Graphs;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023
2. Analyzing Dynamic Code;ACM Transactions on Privacy and Security;2021-05-31
3. A sound abstract interpreter for dynamic code;Proceedings of the 35th Annual ACM Symposium on Applied Computing;2020-03-29
4. Sharing Ghost Variables in a Collection of Abstract Domains;Lecture Notes in Computer Science;2020
5. Quantitative static analysis of communication protocols using abstract Markov chains;Formal Methods in System Design;2019-01-17