Publications

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

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

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

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

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

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

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

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

Yu Wang, Linzhang Wang, Tingting Yu, Jianhua Zhao, Xuandong Li. 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, 2017.

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