2 citations · 3 across the 2 of their papers we have counts for
3 papers
cs.PL2023
Synthesizing Conjunctive Queries for Code Search
Chengpeng Wang, Peisen Yao, Wensheng Tang +2
This paper presents Squid, a new conjunctive query synthesis algorithm for searching code with target patterns. Given positive and negative examples along with a natural language d…
cs.PL2023★ 2 cited
Verifying Data Constraint Equivalence in FinTech Systems
Chengpeng Wang, Gang Fan, Peisen Yao +2
Data constraints are widely used in FinTech systems for monitoring data consistency and diagnosing anomalous data manipulations. However, many equivalent data constraints are creat…
cs.SE2019★ 1 cited
Conquering the Extensional Scalability Problem for Value-Flow Analysis Frameworks
Qingkai Shi, Rongxin Wu, Gang Fan +1
With an increasing number of value-flow properties to check, existing static program analysis still tends to have scalability issues when high precision is required. We observe tha…