WSWeidi Sun
Weidi Sun
*This is an algorithmically generated author record based on publicly available information.
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Research Subjects
Weidi Sun has a total of 10 co-authors. Here are the top co-authors by number of shared publications:
- Cheng Wen
Guangzhou Institute of Technology, Xidian University, Guangzhou, China
2 shared publications - Dugang Liu
Shenzhen University, Shenzhen, China
2 shared publications - Haokun Li
Peking University, School of Mathematical Sciences, Beijing, China
2 shared publications - Jialun Cao
Hong Kong University of Science and Technology, Hong Kong, Hong Kong
2 shared publications - Junjie Hu
Xidian University, Guangzhou Institute of Technology, Guangzhou, China
2 shared publications - Shengchao Qin
Xidian University, Xi'an, China
2 shared publications
Latest Publications
- Open Access
- 7 October 2026
- Published by Association for Computing Machinery (ACM)
- p. 3522-3526
ACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis
- 7 October 2026
- Published by Association for Computing Machinery (ACM)
- p. 3522-3526
Open AccessACSLBench: A Verified C/ACSL Corpus and Benchmark with Compositional Call Chains for Formal Specification Synthesis
- Open Access
- 3 October 2026
- Published by Association for Computing Machinery (ACM)
- p. 102-107
Spec-Skill: A Pluggable Coding-Agent Plugin for Neuro-symbolic Program Specification Synthesis
- 3 October 2026
- Published by Association for Computing Machinery (ACM)
- p. 102-107
Open AccessSpec-Skill: A Pluggable Coding-Agent Plugin for Neuro-symbolic Program Specification Synthesis