| A novel improved particle swarm optimization algorithm based on individual difference evolution J Gou, YX Lei, WP Guo, C Wang, YQ Cai, W Luo Applied Soft Computing 57, 468-481, 2017 | 105 | 2017 |
| Improved differential evolution with a modified orthogonal learning strategy YX Lei, J Gou, C Wang, W Luo, YQ Cai IEEE Access 5, 9699-9716, 2017 | 32 | 2017 |
| Fast and precise handling of positive weight cycles for field-sensitive pointer analysis Y Lei, Y Sui Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 22 | 2019 |
| Taming transitive redundancy for context-free language reachability Y Lei, Y Sui, S Ding, Q Zhang Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1556-1582, 2022 | 12 | 2022 |
| Recursive state machine guided graph folding for context-free language reachability Y Lei, Y Sui, SH Tan, Q Zhang Proceedings of the ACM on Programming Languages 7 (PLDI), 318-342, 2023 | 9 | 2023 |
| Context-Free Language Reachability via Skewed Tabulation Y Lei, C Bossut, Y Sui, Q Zhang Proceedings of the ACM on Programming Languages 8 (PLDI), 1830-1853, 2024 | | 2024 |
| Iterative-Epoch Online Cycle Elimination for Context-Free Language Reachability P Xu, Y Lei, Y Sui, J Xue Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 1437-1462, 2024 | | 2024 |
| Improving the Efficiency of Graph-Based Static Analysis Y Lei PQDT-Global, 2022 | | 2022 |
