Follow
Chengpeng Wang
Title
Cited by
Cited by
Year
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
432020
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
92023
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
92022
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
82023
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
5*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
42024
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
42023
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
42022
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
32019
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
22024
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
22024
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
12024
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
12024
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
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
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
2024
SQLess: Dialect-Agnostic SQL Query Simplification
L Lin, Z Hao, C Wang, Z Wang, R Wu, G Fan
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software …, 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
The system can't perform the operation now. Try again later.
Articles 1–20