WenSheng Wang -

Not registered as user

Name:WenSheng Wang

Affiliation:Xidian University

Contributions

2026

SPLASH/ISSTA

Author of OpenRepair: An Automated Tool for OpenMP Data Race Repair via Retrieval-Augmented LLMs within the Tool Demonstrations-track

ESEC/FSE

Author of IDPVerifier: Verifying Interrupt-driven Programs Efficiently via Heuristic and Reduced Partial-order Constraints within the Ideas, Visions and Reflections-track
Author of RAT: Retrieval-Augmented Testing of Certificate Revocation List Parsers in TLS Implementations within the Research Papers-track