1. Interactive Abstract Interpretation with Demanded Summarization;ACM Transactions on Programming Languages and Systems;2024-03-29
2. Boosting the Performance of Multi-Solver IFDS Algorithms with Flow-Sensitivity Optimizations;2024 IEEE/ACM International Symposium on Code Generation and Optimization (CGO);2024-03-02
3. What is an app store? The software engineering perspective;Empirical Software Engineering;2024-01
4. Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
5. Merge-Replay: Efficient IFDS-Based Taint Analysis by Consolidating Equivalent Value Flows;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11