| 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 | 37 | 2020 |
| 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 | 5 | 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 | 5 | 2022 |
| 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 | 4 | 2023 |
| 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 | 3 | 2024 |
| 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 | 3 | 2022 |
| 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 | 2 | 2019 |
| 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 | 1 | 2023 |
| 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 | | 2024 |
| 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 | | 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 | | 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 | | 2024 |
| When Dataflow Analysis Meets Large Language Models C Wang, W Zhang, Z Su, X Xu, X Xie, X Zhang arXiv preprint arXiv:2402.10754, 2024 | | 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 | | 2023 |
| Synthesizing conjunctive queries for code search C Wang, P Yao, W Tang, G Fan, C Zhang arXiv preprint arXiv:2305.04316, 2023 | | 2023 |
| CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis C Wang Companion Proceedings of the 2022 ACM SIGPLAN International Conference on …, 2022 | | 2022 |
Charles ZhangProfessor of Computer Science, HKUSTVerified email at cse.ust.hk
