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.

Daniel Kroening — most-cited papers & profile · AI for Code

← authors · overview

Daniel Kroening

1 papers · 0 citations · 49 h-index

Amazon (United States) · Amazon (Germany) · Seattle University

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

Validated Code Translation for Projects with External Libraries
2026

Top co-authors

Arindam Sharma · 1 Brandon Paulsen · 1 Cristina David · 1 Hanliang Zhang · 1 Meng Wang · 1 Taro Sekiyama · 1 Wenjia Ye · 1

Topics

Code Translation Code Models Code Generation Software Engineering