| Escaping dependency hell: finding build dependency errors with the unified dependency graph G Fan, C Wang, R Wu, X Xiao, Q Shi, C Zhang Proceedings of the 29th ACM SIGSOFT International Symposium on Software …, 2020 | 47 | 2020 |
| Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation C Wang, W Wang, P Yao, Q Shi, J Zhou, X Xiao, C Zhang ACM Transactions on Software Engineering and Methodology 32 (3), 1-39, 2023 | 10 | 2023 |
| Pinolo: Detecting logical bugs in database management systems with approximate query synthesis Z Hao, Q Huang, C Wang, J Wang, Y Zhang, R Wu, C Zhang 2023 USENIX Annual Technical Conference (USENIX ATC 23), 345-358, 2023 | 10 | 2023 |
| 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 |
| RepoGenix: Dual Context-Aided Repository-Level Code Completion with Language Models M Liang, X Xie, G Zhang, X Zheng, P Di, W Jiang, H Chen, C Wang, G Fan Proceedings of the 39th IEEE/ACM International Conference on Automated …, 2024 | 7* | 2024 |
| Giantsan: Efficient memory sanitization with segment folding H Ling, H Huang, C Wang, Y Cai, C Zhang Proceedings of the 29th ACM International Conference on Architectural …, 2024 | 7 | 2024 |
| Verifying Data Constraint Equivalence in FinTech Systems W Chengpeng, F Gang, Y Peisen, P Fuxiong, Z Charles 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE), 2023 | 4* | 2023 |
| Accelerating build dependency error detection via virtual build R Wu, M Chen, C Wang, G Fan, J Qiu, C Zhang Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 4 | 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 |
| Statistical api completion based on code relevance mining C Wang, Y Yang, H Liu, L Kang 2019 IEEE Workshop on Mining and Analyzing Interaction Histories (MAINT), 7-13, 2019 | 3 | 2019 |
| Dainfer: Inferring api aliasing specifications from library documentation via neurosymbolic optimization C Wang, J Zhang, R Wu, C Zhang Proceedings of the ACM on Software Engineering 1 (FSE), 2469-2492, 2024 | 2 | 2024 |
| Sanitizing Large Language Models in Bug Detection with Data-Flow C Wang, W Zhang, Z Su, X Xu, X Zhang Findings of the Association for Computational Linguistics: EMNLP 2024, 3790-3805, 2024 | 1 | 2024 |
| Fast and Precise Static Null Exception Analysis with Synergistic Preprocessing Y Sun, C Wang, G Fan, Q Shi, X Zhang IEEE Transactions on Software Engineering, 2024 | 1 | 2024 |
| LLMDFA: Analyzing Dataflow in Code with Large Language Models C Wang, W Zhang, Z Su, X Xu, X Xie, X Zhang Advances in Neural Information Processing Systems 37, 131545-131574, 2024 | 1* | 2024 |
| DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems W Tang, C Wang, P Yao, R Wu, X Fu, G Fan, C Zhang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | 1 | 2023 |
| RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing J Guo, C Wang, X Xu, Z Su, X Zhang arXiv preprint arXiv:2501.18160, 2025 | | 2025 |
| LLMSA: A Compositional Neuro-Symbolic Approach to Compilation-free and Customizable Static Analysis C Wang, Y Gao, W Zhang, X Liu, Q Shi, X Zhang arXiv preprint arXiv:2412.14399, 2024 | | 2024 |
| PACKHUNTER: Recovering Missing Packages for C/C++ Projects R Wu, Z Huang, Z Tian, C Wang, X Zhang IEEE Transactions on Software Engineering, 2024 | | 2024 |
Charles ZhangProfessor of Computer Science, HKUSTПідтверджена електронна адреса в cse.ust.hk