conf.researchr.org / Wei Dong
Registered user since Sat 2 May 2026
Name:Wei Dong
Country:China
Affiliation:National University of Defense Technology
Contributions
2026
ASE
- Author of CiL-Agent: Compiler-in-the-Loop LLM Agent for Memory-Safe C Program Repair within the Research Papers-track
- Author of Best-Effort GR(1) Synthesis: Exploiting Environmental Cooperation under Unrealizability within the Research Papers-track
- Author of Large Language Model Enabled Symbolic Execution for Automated Functional Analysis within the Research Papers-track