1. Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
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. On-the-Fly Static Analysis via Dynamic Bidirected Dyck Reachability;Proceedings of the ACM on Programming Languages;2024-01-05
4. SootUp: A Redesign of the Soot Static Analysis Framework;Lecture Notes in Computer Science;2024
5. Automatically Detecting Incompatible Android APIs;ACM Transactions on Software Engineering and Methodology;2023-11-23