Dianxiang Xu

Identifiers

• name variant Dianxiang Xu 0.60 · backfill

Papers (1)

1. AutoACSL: Synthesizing ACSL Specifications by Integrating LLMs with CPG-Based Static Analysis cs.AI · 2026 · author #3

Mentions

• 2606.20969 #3 · arxiv_oai · confidence 0.70 Dianxiang Xu

Frequent Coauthors

• Han Zhou 1 shared papers
• Yu Luo 1 shared papers