11 citations · 22 across the 6 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.SE2026
Neuro-Symbolic Indirect-Call Analysis under Opaque Pointers
Kaixuan Li, Bozhi Wu, Jian Zhang +3
Resolving indirect calls is central to call-graph construction for C. Scalable type-based analyses such as MLTA use type information in LLVM IR to associate indirect calls with fun…
cs.SE2026
Beyond Textual Repository Exploration: Dual-Modal Structural Reasoning for Agentic Issue Resolution
Jiayi Zhang, Kai Huang, Yang Liu +1
Recent advances in agentic program repair have significantly improved issue resolution by enabling iterative repository exploration. However, existing approaches predominantly rely…