3 papers
cs.SE2026
Semantic Voting: Execution-Grounded Consensus for LLM Code Generation
Shan Jiang, Zijian Yi, Chenguang Zhu
LLM code-generation pipelines often sample multiple candidates and select one final answer without access to a complete oracle. Existing pipelines mix textual voting, ranking, and…
cs.LG2026
Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching
Shan Jiang, Zijian Yi, Chenguang Zhu
SKETCHVERIFY is a within-tier cost-performance policy, not a universal accuracy improvement. The operational question: a practitioner stuck with a small, cheap code model (here, Ge…
cs.SE2026
Understanding and Finding JIT Compiler Performance Bugs
Zijian Yi, Cheng Ding, August Shi +1
Just-in-time (JIT) compilers are key components for many popular programming languages with managed runtimes (e.g., Java and JavaScript). JIT compilers perform optimizations and ge…