Publications

(2024). Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks. Proc. ACM Program. Lang..

Cite DOI URL

(2023). Discrete Adversarial Attack to Models of Code. Proceedings of the ACM on Programming Languages.

Cite

(2022). Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software. IEEE Transactions on Software Engineering.

Cite DOI

(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

(2021). High-precision Data Race Detection Method for Large Scale Programs. Ruan Jian Xue Bao/Journal of Software.

Cite DOI

(2021). Deep Learning-Based Hybrid Fuzz Testing. International Journal of Software & Informatics.

Cite DOI

(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

(2020). Automatic Buffer Overflow Warning Validation. Journal of Computer Science and Technology.

Cite DOI

(2018). Dangdone: Eliminating dangling pointers via intermediate pointers. Proceedings of the Tenth Asia-Pacific Symposium on Internetware.

Cite DOI

(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

(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