Xiaofeng Li -

Not registered as user

Name:Xiaofeng Li

Affiliation:Beijing Institute of Control Engineering

Contributions

2026

ASE

Author of AutoFLC: An LLM-Based Flowchart Generation Tool for Legacy Code Repository within the Tools and Datasets-track

SPLASH

Author of A Tale of 1001 LoC: Potential Runtime Error-Guided Specification Synthesis for Verifying Large-Scale Programs within the OOPSLA-track

Internetware

Author of Generative Reasoning vs. Conventional Analysis: How Well Do LLMs Detect Data Races in Concurrent Programs? within the Research Track-track