Chengpeng Wang

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 33

Top Topics

Conjunctive Queries

Intermediate Representations

Top Venues

IEEE Trans. Intell. Veh.

ACM Trans. Softw. Eng. Methodol.

Publications

Shengchao Liu, Chengpeng Wang, Jiarui Lu, Weili Nie, Hanchen Wang, Zhuoxinran Li, Bolei Zhou, Jian Tang
Unsupervised Discovery of Steerable Factors When Graph Deep Generative Models Are Entangled. Trans. Mach. Learn. Res. 2024 (2024)
Wensheng Tang, Dejun Dong, Shijie Li, Chengpeng Wang, Peisen Yao, Jinguo Zhou, Charles Chuan Zhang
Octopus: Scaling Value-Flow Analysis via Parallel Collection of Realizable Path Conditions. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Hao Ling, Heqing Huang, Chengpeng Wang, Yuandao Cai, Charles Zhang
GIANTSAN: Efficient Memory Sanitization with Segment Folding. ASPLOS (2) (2024)
Chengpeng Wang, Jipeng Zhang, Rongxin Wu, Charles Zhang
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization. Proc. ACM Softw. Eng. 1 (FSE) (2024)
Chengpeng Wang, Wuqi Zhang, Zian Su, Xiangzhe Xu, Xiaoheng Xie, Xiangyu Zhang
When Dataflow Analysis Meets Large Language Models. CoRR (2024)
Chengpeng Wang, Zhiqiang Cao, Jianjie Li, Junzhi Yu, Shuo Wang
Hierarchical Distribution-Based Tightly-Coupled LiDAR Inertial Odometry. IEEE Trans. Intell. Veh. 9 (1) (2024)
Shengchao Liu, Jiongxiao Wang, Yijin Yang, Chengpeng Wang, Ling Liu, Hongyu Guo, Chaowei Xiao
Conversational Drug Editing Using Retrieval and Domain Feedback. ICLR (2024)
Rongxin Wu, Yuxuan He, Jiafeng Huang, Chengpeng Wang, Wensheng Tang, Qingkai Shi, Xiao Xiao, Charles Zhang
LibAlchemy: A Two-Layer Persistent Summary Design for Taming Third-Party Libraries in Static Bug-Finding Systems. ICSE (2024)
Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, Charles Zhang
SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. ASPLOS (3) (2024)
Shengchao Liu, Chengpeng Wang, Jiarui Lu, Weili Nie, Hanchen Wang, Zhuoxinran Li, Bolei Zhou, Jian Tang
Unsupervised Discovery of Steerable Factors When Graph Deep Generative Models Are Entangled. CoRR (2024)
Ming Liang, Xiaoheng Xie, Gehao Zhang, Xunjin Zheng, Peng Di, Wei Jiang, Hongwei Chen, Chengpeng Wang, Gang Fan
REPOFUSE: Repository-Level Code Completion with Fused Dual Context. CoRR (2024)
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
Synthesizing Conjunctive Queries for Code Search. CoRR (2023)
Shengchao Liu, Weili Nie, Chengpeng Wang, Jiarui Lu, Zhuoran Qiao, Ling Liu, Jian Tang, Chaowei Xiao, Animashree Anandkumar
Multi-modal molecule structure-text model for text-based retrieval and editing. Nat. Mac. Intell. 5 (12) (2023)
Shuang Liang, Zhiqiang Cao, Chengpeng Wang, Junzhi Yu
Hierarchical Estimation-Based LiDAR Odometry With Scan-to-Map Matching and Fixed-Lag Smoothing. IEEE Trans. Intell. Veh. 8 (2) (2023)
Zongyin Hao, Quanfeng Huang, Chengpeng Wang, Jianfeng Wang, Yushan Zhang, Rongxin Wu, Charles Zhang
Pinolo: Detecting Logical Bugs in Database Management Systems with Approximate Query Synthesis. USENIX Annual Technical Conference (2023)
Chengpeng Wang, Peisen Yao, Wensheng Tang, Gang Fan, Charles Zhang
Synthesizing Conjunctive Queries for Code Search. ECOOP (2023)
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
Verifying Data Constraint Equivalence in FinTech Systems. CoRR (2023)
Wensheng Tang, Chengpeng Wang, Peisen Yao, Rongxin Wu, Xianjin Fu, Gang Fan, Charles Zhang
DCLINK: Bridging Data Constraint Changes and Implementations in FinTech Systems. ASE (2023)
Chengpeng Wang, Wenyang Wang, Peisen Yao, Qingkai Shi, Jinguo Zhou, Xiao Xiao, Charles Zhang
Anchor: Fast and Precise Value-flow Analysis for Containers via Memory Orientation. ACM Trans. Softw. Eng. Methodol. 32 (3) (2023)
Chengpeng Wang, Gang Fan, Peisen Yao, Fuxiong Pan, Charles Zhang
Verifying Data Constraint Equivalence in FinTech Systems. ICSE (2023)
Shengchao Liu, Jiongxiao Wang, Yijin Yang, Chengpeng Wang, Ling Liu, Hongyu Guo, Chaowei Xiao
ChatGPT-powered Conversational Drug Editing Using Retrieval and Domain Feedback. CoRR (2023)
Shengchao Liu, Weili Nie, Chengpeng Wang, Jiarui Lu, Zhuoran Qiao, Ling Liu, Jian Tang, Chaowei Xiao, Anima Anandkumar
Multi-modal Molecule Structure-text Model for Text-based Retrieval and Editing. CoRR (2022)
Chengpeng Wang
CodeSpider: Automatic Code Querying with Multi-modal Conjunctive Query Synthesis. SPLASH Companion (2022)
Chengpeng Wang, Zhiqiang Cao, Jianjie Li, Shuang Liang, Min Tan, Junzhi Yu
A Hierarchical LiDAR Odometry via Maximum Likelihood Estimation With Tightly Associated Distributions. IEEE Trans. Veh. Technol. 71 (10) (2022)
Rongxin Wu, Minglei Chen, Chengpeng Wang, Gang Fan, Jiguang Qiu, Charles Zhang
Accelerating Build Dependency Error Detection via Virtual Build. ASE (2022)
Chengpeng Wang, Peisen Yao, Wensheng Tang, Qingkai Shi, Charles Zhang
Complexity-guided container replacement synthesis. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)
Shuang Liang, Zhiqiang Cao, Peiyu Guan, Chengpeng Wang, Junzhi Yu, Shuo Wang
A Novel Sparse Geometric 3-D LiDAR Odometry Approach. IEEE Syst. J. 15 (1) (2021)
Shuang Liang, Zhiqiang Cao, Chengpeng Wang, Junzhi Yu
A Novel 3D LiDAR SLAM Based on Directed Geometry Point and Sparse Frame. IEEE Robotics Autom. Lett. 6 (1) (2021)
Chengpeng Wang, Chunyu Chen, Siyi Hou, Ying Cai, Menglong Yang
Efficient Example Mining for Anchor-Free Face Detection. ICIG (2) (2021)
Chengpeng Wang, Chunyu Chen, Siyi Hou, Ying Cai, Menglong Yang
Balance Training for Anchor-Free Face Detection. CCBR (2021)
Bo Sun, Chengpeng Wang, Changfei Zhuo
Theoretical Model and Numerical Analysis for Asymmetry of Shock Train in Supersonic Flows. Symmetry 12 (4) (2020)
Gang Fan, Chengpeng Wang, Rongxin Wu, Xiao Xiao, Qingkai Shi, Charles Zhang
Escaping dependency hell: finding build dependency errors with the unified dependency graph. ISSTA (2020)
Chenghao Zheng, Menglong Yang, Chengpeng Wang
A Real-Time Face Detector Based on an End-to-End CNN. ISCID (1) (2017)