🚀 Research Projects

Below are several ongoing and completed research projects.
Explore all research projects

Ongoing Projects

Systematic Acceleration of Complex Software Builds

NSFC Young Scientists Fund · 2027–2029

This project investigates systematic performance bottlenecks in complex software builds and develops acceleration techniques across three complementary levels:

Cross-configuration reuse — characterize reuse boundaries and ordering sensitivity across build configurations.
Waiting loss and parallelism — identify unnecessary waiting and resource under-utilization within individual builds.
Critical paths and acceleration bounds — analyze long dependency chains and estimate the attainable upper bound of build acceleration.

Trustworthy Execution of Autonomous Software R&D

Ongoing Research Program

This project studies how autonomous software engineering agents can execute development tasks reliably and efficiently in real software environments.

Current topics include:

task–behavior–state–evidence modeling;
efficient execution under correctness constraints;
failure diagnosis, attribution, and recovery;
adaptive human intervention and autonomy control.

Capability-Aware SCA for LLM Applications

Ongoing

distinguish declared, code-visible, and configuration-mediated components;
recover capability-related dependency paths;
analyze vulnerability reachability along application capabilities.

Completed Projects

Build Dependency Reliability

2023–2025

A completed research line on incremental-build correctness, covering dependency-error detection, execution–declaration consistency analysis, and automated repair.

Representative outcomes: FSE 2024 · ISSTA 2024 · TSE 2025 · ASE 2025