Awesome AI for Code

📄Papers 🧭Topics 🔥Trending 🗺️Map 🏆Leaderboards 🎓Learn 🤖Ask AI

⋯More

👥Authors 📚Reading Packs 📊Datasets 🛠️Tools 📰News 📝Blogs ✉️Newsletter 🎯Research Radar 🔖Saved

← authors · overview

Loading author…

Stay Updated

E-Mail Digest 🎯 Research Radar

Submit a paper · Privacy · Terms

© 2026 Awesome Papers.

Linhai Song — most-cited papers & profile · AI for Code

← authors · overview

Linhai Song

2 papers · 3 citations

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

How to Save My Gas Fees: Understanding and Detecting Real-world Gas Issues in Solidity Programs
2024 · 3 citations
Doc2Spec: Synthesizing Formal Programming Specifications from Natural Language via Grammar Induction
2026

Top co-authors

Mengting He · 2 Shihao Xia · 2 Boqin Qin · 1 Haomin Jia · 1 Nobuko Yoshida · 1 Tingting Yu · 1 Yiying Zhang · 1

Topics

Software Engineering Code Understanding Bug Detection Code Generation Code Models