| Fuzzing SMT solvers via two-dimensional input space exploration P Yao, H Huang, W Tang, Q Shi, R Wu, C Zhang Proceedings of the 30th ACM SIGSOFT International Symposium on Software …, 2021 | 23 | 2021 |
| Skeletal approximation enumeration for smt solver testing P Yao, H Huang, W Tang, Q Shi, R Wu, C Zhang Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021 | 20 | 2021 |
| Complexity-guided container replacement synthesis C Wang, P Yao, W Tang, Q Shi, C Zhang Proceedings of the ACM on Programming Languages 6 (OOPSLA1), 1-31, 2022 | 10 | 2022 |
| SIRO: empowering version compatibility in intermediate representations via program synthesis B Zhang, W Chen, P Yao, C Wang, W Tang, C Zhang Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 3 | 2024 |
| Libalchemy: A two-layer persistent summary design for taming third-party libraries in static bug-finding systems R Wu, Y He, J Huang, C Wang, W Tang, Q Shi, X Xiao, C Zhang Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024 | 3 | 2024 |
| Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions W Tang, D Dong, S Li, C Wang, P Yao, J Zhou, C Zhang ACM Transactions on Software Engineering and Methodology 33 (3), 1-33, 2024 | 3 | 2024 |
| Identifying error code misuses in complex system W Tang Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 3 | 2019 |
| DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems W Tange, C Wang, P Yao, R Wu, X Fu, G Fan, C Zhang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
| Transcode: detecting status code mapping errors in large-scale systems W Tang, Y Hu, G Fan, P Yao, R Wu, G Bai, P Wang, C Zhang 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 1 | 2021 |
| Robustifying Large-Scale Cloud Applications With Scalable Value-Flow Analysis W Tang PQDT-Global, 2024 | | 2024 |
| Synthesizing conjunctive queries for code search C Wang, P Yao, W Tang, G Fan, C Zhang arXiv preprint arXiv:2305.04316, 2023 | | 2023 |
| Transcode: Detecting Status Code Translation Errors in Large-Scale Systems W Tang, Y Hu, G Fan, P Yao, R Wu, G Bai, P Wang, C Zhang | | 2021 |
