1. Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing;Proceedings of the ACM on Software Engineering;2024-07-12
2. Optimal Finite-State Monitoring of Partial Traces;Runtime Verification;2022
3. Verifying correct usage of context-free API protocols;Proceedings of the ACM on Programming Languages;2021-01-04
4. Verifying object construction;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
5. A Unifying Framework for Dynamic Monitoring and a Taxonomy of Optimizations;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020