Publications

Qian Chen, Chenyang Yu, Ruyan Liu, Chi Zhang, Yu Wang, Ke Wang, Ting Su, Linzhang Wang (2024). Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. Proc. ACM Program. Lang..

Cite DOI URL

Fengjuan Gao, Yu Wang, Ke Wang (2023). Discrete Adversarial Attack to Models of Code. Proceedings of the ACM on Programming Languages.

Cite

Yu Wang, Fengjuan Gao, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li (2022). Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Transactions on Software Engineering.

Cite DOI

Fengjuan Gao, Yu Wang, Tianjiao Chen, Lingyun Situ, Linzhang Wang, Xuandong Li (2021). Static Checking of Array Index Out-of-Bounds Defects in C Programs Based on Taint Analysis. International Journal of Software and Informatics.

Cite DOI

Fengjuan Gao, Yu Wang, Jinguo Zhou, Anzi Xu, Linzhang Wang, Rongxin Wu, Charles Zhang, Zhendong Su (2021). High-precision Data Race Detection Method for Large Scale Programs. Ruan Jian Xue Bao/Journal of Software.

Cite DOI

Fengjuan Gao, Yu Wang, Lingyun Situ, Linzhang Wang (2021). Deep Learning-Based Hybrid Fuzz Testing. International Journal of Software & Informatics.

Cite DOI

Yu Wang, Ke Wang, Fengjuan Gao, Linzhang Wang (2020). Learning semantic program embeddings with graph interval neural network. Proceedings of the ACM on Programming Languages.

Cite DOI Distinguished Paper award

王豫, 高凤娟, 马可欣, 司徒凌云, 王林章, 陈碧欢, 刘杨, 赵建华, 李宣东 (2020). 垂悬指针检测与防御方法. 软件学报.

Cite DOI

Fengjuan Gao, Yu Wang, Linzhang Wang, Zijiang Yang, Xuandong Li (2020). Automatic Buffer Overflow Warning Validation. Journal of Computer Science and Technology.

Cite DOI

Yu Wang, Fengjuan Gao, Lingyun Situ, Lingzhang Wang, Bihuan Chen, Yang Liu, Jianhua Zhao, Xuandong Li (2018). Dangdone: Eliminating dangling pointers via intermediate pointers. Proceedings of the Tenth Asia-Pacific Symposium on Internetware.

Cite DOI

Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li (2017). Automatic detection and validation of race conditions in interrupt-driven embedded software. Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis.

Cite DOI

Yu Wang, Junjing Shi, Linzhang Wang, Jianhua Zhao, Xuandong Li (2015). Detecting data races in interrupt-driven programs based on static analysis and dynamic simulation. Proceedings of the 7th Asia-Pacific Symposium on Internetware.

Cite DOI