1 citations · 2 across the 4 of their papers we have counts for
4 papers
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…
Indexing Context-Sensitive Reachability
Qingkai Shi, Yongchao Wang, Charles Zhang
Many context-sensitive data flow analyses can be formulated as a variant of the all-pairs Dyck-CFL reachability problem, which, in general, is of sub-cubic time complexity and quad…
Duplicate-sensitivity Guided Transformation Synthesis for DBMS Correctness Bug Detection
Yushan Zhang, Peisen Yao, Rongxin Wu +1
Database Management System (DBMS) plays a core role in modern software from mobile apps to online banking. It is critical that DBMS should provide correct data to all applications.…
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…