3 papers
cs.SE2025
Boosting Path-Sensitive Value Flow Analysis via Removal of Redundant Summaries
Yongchao Wang, Yuandao Cai, Charles Zhang
Value flow analysis that tracks the flow of values via data dependence is a widely used technique for detecting a broad spectrum of software bugs. However, the scalability issue of…
cs.CL2022
Multi-Level Contrastive Learning for Cross-Lingual Alignment
Beiduo Chen, Wu Guo, Bin Gu +2
Cross-language pre-trained models such as multilingual BERT (mBERT) have achieved significant performance in various cross-lingual downstream NLP tasks. This paper proposes a multi…
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…