SANER 2026 (series) / Jie Su
Registered user since Sun 9 Nov 2025
Name:Jie Su
Country:China
Affiliation:Xidian University
Personal website: https://orcid.org/my-orcid?orcid=0000-0002-5098-8040
Research interests:Formal Method, Large Language Model, AI for Software Engineering, Concurrent Program Verification, Software Testing
Contributions
2026
SANER
SANER 2026-profile
View general profile
View general profile