conf.researchr.org / 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
ASE
- Author of NL2VBench: A Benchmark for End-to-End Natural-Language to Verifiable Rust Generation within the Tools and Datasets-track
- Author of Understanding Real-World Ordering-Related Concurrency Bugs under Weak-Memory and Cross-Architecture Settings within the Industry Showcase-track
- Author of Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study within the Industry Showcase-track
SANER
- Author of Synergizing LLM-Driven Semantic Reasoning with Assertion-Guided Analysis for Enhanced Vulnerability Detection within the Early Research Achievement (ERA) Track -track
- Author of How Well Does Knowledge Injection Enhance LLM-aided Formal Protocol Modeling? within the Early Research Achievement (ERA) Track -track
- Author of Preserving Concurrency-Revealing Seeds in Fuzzing of Concurrent Programs via Tuple-Based Coverage Evaluation within the Early Research Achievement (ERA) Track -track