Xiang Du
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2020–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | APSEC | Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities. | Xiang Du, Liangze Yin, Haining Feng, Wei Dong |
| 2021 | ISSRE | Simplify Array Processing Loops for Efficient Program Verification. | Xiang Du, Liangze Yin, Wei Dong |
| 2021 | QRS | Extend Rchecker for Accurate Analysis of Real Embedded Projects. | Ranjie Ding, Wenfeng Lin, Xiang Du, Liangze Yin |
| 2020 | QRS | Vulnerability Analysis through Interface-based Checker Design. | Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong |
| 2020 | QRS | Graph-based Vulnerability Detection via Extracting Features from Sliced Code. | Peng Wu, Liangze Yin, Xiang Du, Liyuan Jia, Wei Dong |