Dianxiang Xu
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Research Timeline
2026
AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis
AutoACSL is a framework that uses Code Property Graphs and large language models to generate formal specifications for C programs with improved success ratio and full proof ratio.
Highlighted terms show continued research focus across papers