Skip to content

Author

Huiyan Wang

We have 2 of 26 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Oct 2026

Guarding the Lifeline: A First Look and Automated Defect Diagnosis for ROS Central Index

The Robot Operating System (ROS) relies on a centralized dependency index, the rosdistro central index, to manage packages across its heterogeneous software ecosystem, which integrates independently evolving Operating System (OS) repositories for system libraries, ROS repositories for domain-specific support, and Progr...

Wei-Jie Sun, Hui-Yan Wang, Ying Wang et al. · 0 citations
Jul 2026

When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference

The results show that witness generation effectively distinguishes inferences supported by plausible completions from those requiring unrealistic assumptions, providing a practical mechanism for validating reasoning over incomplete programs.

Zhiyuan Liu, Yihe Li, Trevor E. Carlson et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.