Not registered as user
Name:Cong Tian
Country:China
Affiliation:Xidian University
Contributions
2026
ASE
- TLCrafter: Peeling the Layers of Natural Language to Reveal Temporal Logic Specifications
- ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis
- Understanding Real-World Ordering-Related Concurrency Bugs under Weak-Memory and Cross-Architecture Settings
ASE 2026-profile
View general profile
View general profile