activity
20192026
most citedDeepGini: Prioritizing Massive Tests to Enhance the Robustness of Deep Neural Networks

11 citations · 21 across the 9 of their papers we have counts for

collaborators
Showing 2021Show all

2 papers · 1 filter

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…

cs.CL2021

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…