1 citations · 2 across the 8 of their papers we have counts for
Showing cs.PLShow all
3 papers · 1 filter
cs.PL2024
Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
Bowen Zhang, Wei Chen, Hung-Chun Chiu +1
Static analysis techniques enhance the security, performance, and reliability of programs by analyzing and portraiting program behaviors without the need for actual execution. In e…
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.PL2021★ 1 cited
Efficient Path-Sensitive Data-Dependence Analysis
Peisen Yao, Jinguo Zhou, Xiao Xiao +3
This paper presents a scalable path- and context-sensitive data-dependence analysis. The key is to address the aliasing-path-explosion problem via a sparse, demand-driven, and fuse…