20 citations · 25 across the 10 of their papers we have counts for
10 papers
IncSFS: Incremental Full-Sparse Flow-Sensitive Pointer Analysis for C/C++
Kunlin Liu, Zhenbang Chen, Piyi Zu +2
Pointer analysis is a fundamental technique for compiler optimization and program analysis. Flow-sensitive pointer analysis provides high precision but is difficult to scale to lar…
EUF: A Decidable Extension to the Theory of Equality with Uninterpreted Functions
Yide Du, Zhenbang Chen, Weijiang Hong +1
The theory of Equality with Uninterpreted Functions (EUF) is fundamental to constraint solving and program verification. Uninterpreted functions abstract concrete implementations,…
Worst-Case Optimal -Rate Stability of KL Divergence under Perturbations of Gaussian Distributions
Jialu Pan, Yufeng Zhang, Nan Hu +3
We establish a stability bound for the Kullback-Leibler (KL) divergence when its Gaussian reference distribution is perturbed. Existing relaxed triangle inequalities of KL divergen…
SF: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling
Lianjing Wang, Yufeng Zhang, Kenli Li +5
Hybrid testing that integrates fuzzing, symbolic execution, and sampling has demonstrated superior testing efficiency compared to individual techniques. However, the state-of-the-a…
On the Properties of Kullback-Leibler Divergence Between Multivariate Gaussian Distributions
Yufeng Zhang, Wanwei Liu, Zhenbang Chen +2
Kullback-Leibler (KL) divergence is one of the most important divergence measures between probability distributions. In this paper, we prove several properties of KL divergence bet…
Kullback-Leibler Divergence-Based Out-of-Distribution Detection with Flow-Based Generative Models
Yufeng Zhang, Jialu Pan, Wanwei Liu +5
Recent research has revealed that deep generative models including flow-based models and Variational Autoencoders may assign higher likelihoods to out-of-distribution (OOD) data th…
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel
Chengdong Feng, Zhenbang Chen, Weijiang Hong +3
Deep Neural Network (DNN) is a widely used deep learning technique. How to ensure the safety of DNN-based system is a critical problem for the research and application of DNN. Robu…
Combining Symbolic Execution and Model Checking to Verify MPI Programs
Hengbiao Yu, Zhenbang Chen, Xianjin Fu +5
Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the comple…
MPISE: Symbolic Execution of MPI Programs
Xianjin Fu, Zhenbang Chen, Yufeng Zhang +3
Message Passing Interfaces (MPI) plays an important role in parallel computing. Many parallel applications are implemented as MPI programs. The existing methods of bug detection fo…
Speculative Symbolic Execution
Yufeng Zhang, Zhenbang Chen, Ji Wang
Symbolic execution is an effective path oriented and constraint based program analysis technique. Recently, there is a significant development in the research and application of sy…