2

Solving Floating-Point Constraints with Continuous Optimization
Qian Chen, Chenqi Cui, Fengjuan Gao, Yu Wang, Ke Wang, Linzhang Wang
Cite DOI URL
SILVA: A Scalable Incremental Layered Sparse Value-Flow Analysis
Jiayi Wang, Yu Wang, Ke Wang, Linzhang Wang
Cite DOI URL
Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks
Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang
Cite DOI URL
An Explanation Method for Models of Code
Yu Wang, Ke Wang, Linzhang Wang
Cite DOI URL
Discrete Adversarial Attack to Models of Code
Fengjuan Gao, Yu Wang, Ke Wang
Cite DOI URL
Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software
Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li
Cite DOI
Deep Learning-Based Hybrid Fuzz Testing
Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang
Cite DOI
High-precision Data Race Detection Method for Large Scale Programs
Fengjuan Gao, Yu Wang, Jinguo Zhou, Anzi Xu, Linzhang Wang, Rongxin Wu, Charles Zhang, Zhendong Su
Cite DOI
Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis
Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li
Cite DOI
Automatic Buffer Overflow Warning Validation
in Journal of Computer Science and Technology (JCST)
Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li
Cite DOI