Registered user since Wed 5 Jan 2022
Name:Shengchao Qin
Country:China
Affiliation:Xidian University
Personal website: https://scqin.github.io/publication.html
Research interests:Formal Methods, Software Engineering, Programming Languages
Contributions
2026
ASE
- ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis
- Understanding the Performance-Effectiveness Trade-Offs of AddressSanitizer in Real-World Programs: An Empirical Study
- TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications
- NL2VBench: A Benchmark for End-to-End Natural-Language to Verifiable Rust Generation
- VerusSeek: Retrieval-Augmented LLM-Based Proof Synthesis for Rust Programs
- Understanding Real-World Ordering-Related Concurrency Bugs under Weak-Memory and Cross-Architecture Settings
Using general profile