Talks

Inconsistency-Based Security Vulnerability Prediction Method for Operating Systems. Chinasoft 2021, Online, December 2021
Defect Detection Techniques for Complex Programs. Young Scholar Salon, Nanjing, China, September 2021
High-precision Data Race Detection Method for Large Scale Programs. NASAC 2020, Chongqin, China, November 2020
Dangdone: Eliminating dangling pointers via intermediate pointers. NASAC 2019, Hangzhou, China, November 2019