Awesome AI for Code
π
Papers
π§
Topics
π₯
Trending
πΊοΈ
Map
π
Leaderboards
π
Learn
π€
Ask AI
β―
More
π₯
Authors
π
Reading Packs
π
Datasets
π οΈ
Tools
π°
News
π
Blogs
βοΈ
Newsletter
π―
Research Radar
π
Saved
+ Add Paper
βΎ
β
β authors
Β·
overview
Loading authorβ¦
π€
Ask AI
Ye Liu β most-cited papers & profile Β· AI for Code
β authors
Β·
overview
Ye Liu
1
papers Β·
0
citations Β·
0
h-index
Google Scholar β
Semantic Scholar β
OpenAlex β
Most-cited papers
Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
2026
Top co-authors
Chengyan Ma
Β· 1
David Lo
Β· 1
Jieke Shi
Β· 1
Ruidong Han
Β· 1
Yuqing Niu
Β· 1
Topics
Bug Detection
Software Engineering
Code Generation