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.

Christos Kozyrakis — most-cited papers & profile · AI for Code

← authors · overview

Christos Kozyrakis

5 papers · 20 citations

Google Scholar ↗Semantic Scholar ↗OpenAlex ↗

Most-cited papers

SGLang: Efficient Execution of Structured Language Model Programs
2023 · 10 citations
ProofWright: Towards Agentic Formal Verification of CUDA
2025

Top co-authors

Bodhisatwa Chatterjee · 1 Chuyue Sun · 1 Clark Barrett · 1 Cody Hao Yu · 1 Drew Zagieboylo · 1 Ion Stoica · 1 Jeff Huang · 1 Joseph E. Gonzalez · 1 Liangsheng Yin · 1 Lianmin Zheng · 1 Sana Damani · 1 Shiyi Cao · 1

Topics

Code Generation Software Engineering Bug Detection Code Models