P
PaperPicks
Conferences
Researchers
Sponsors ♥
He Ye
6 papers at tracked venues · 5 at CORE A* · active 2024–2026
DBLP profile ↗
ORCID search ↗
Venues
ICSE
×2
AAAI
×1
ACL
×1
ASE
×1
ISSTA
×1
Frequent coauthors
Yanlin Wang
×2
Claire Le Goues
×2
Lingxiao Tang
×1
Zhaoyang Chu
×1
Muyang Ye
×1
Zhongxin Liu
×1
Xiaoxue Ren
×1
Lingfeng Bao
×1
Aidan Z. H. Yang
×1
Chang Hu
×1
Tao Zhang
×1
Haoxiang Jia
×1
Papers
ExecVerify: White-Box RL with Verifiable Stepwise Rewards for Code Execution Reasoning
BibTeX ⧉
ACL 2026
·
Lingxiao Tang
,
He Ye
,
Zhaoyang Chu
,
Muyang Ye
,
Zhongxin Liu
,
Xiaoxue Ren
,
Lingfeng Bao
AdverIntent-Agent: Adversarial Reasoning for Repair Based on Inferred Program Intent
BibTeX ⧉
ISSTA 2025
·
He Ye
,
Aidan Z. H. Yang
,
Chang Hu
,
Yanlin Wang
,
Tao Zhang
,
Claire Le Goues
Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
BibTeX ⧉
ASE 2025
·
Haoxiang Jia
,
Robbie Morris
,
He Ye
,
Federica Sarro
,
Sergey Mechtaev
LWDIFF: an LLM-Assisted Differential Testing Framework for Webassembly Runtimes
BibTeX ⧉
ICSE 2025
·
Shiyao Zhou
,
Jincheng Wang
,
He Ye
,
Hao Zhou
,
Claire Le Goues
,
Xiapu Luo
ITER: Iterative Neural Repair for Multi-Location Patches
BibTeX ⧉
ICSE 2024
·
He Ye
,
Martin Monperrus
MemoryBank: Enhancing Large Language Models with Long-Term Memory
BibTeX ⧉
AAAI 2024
·
Wanjun Zhong
,
Lianghong Guo
,
Qiqi Gao
,
He Ye
,
Yanlin Wang