Bug Whisperer: Unleashing LLMs to Craft Context-Aware Tests Guided by Path Constraints and Bug Clues
Xin Xia, Jun-Wei Zhang, Xing Hu et al.
· 0 citations
We have 3 of 27 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.
Answer Is Cheap, Show Me the Evidence! Augmenting Automated Vulnerability Assessment with Evidence
This work proposes EAVA, a novel framework that effectively leverages LLMs to perform SV assessment and provide supporting evidence and enables large-scale reasoning trajectory annotation using off-the-shelf LLMs and adopts a two-stage training paradigm.
Sheng-Yi Pan, Ze-Long Zheng, Jia-Yuan Zhou et al.
· Proceedings of the ACM on So... · 0 citations
Preprint
Sep 2026
Unleashing the Power of Equality Saturation for Tensor Program Superoptimization
Efficient GPU implementations of tensor programs often require joint optimization of high-level algebraic formulations and low-level execution strategies. However, the resulting search space grows rapidly as transformations combine across operators, making joint optimization difficult to scale. We present EqiForge, a t...
Qi Zhan, Xing Hu, Xin Xia et al.
· 0 citations