Program Synthesis Resources

Program synthesis – the automatic generation of programs from high-level specifications – has evolved into a rich field at the intersection of programming languages, formal methods, and AI. It’s a long-standing goal of computer science (tracing back to visions by Turing and Church in the 1940s–50s and has recently seen a resurgence with modern AI techniques. Below is a comprehensive list of resources for all levels (beginner to advanced) and across subfields (inductive synthesis, deductive synthesis, constraint-based methods, syntax-guided synthesis, neural approaches, and various applications). The resources are grouped by type for clarity, with brief descriptions and links.

This section is divided into the following categories:

1. Courses & Tutorials 📚
2. Surveys & Foundational Literature 📖
3. Influential Research Papers 📝
4. Tools, Frameworks & Repositories 🔧
5. Blogs, Newsletters & Articles 📰
6. Video Lectures & Talks 🎥
7. Communities, Competitions & Further Resources 🌐

Table of contents

• Courses & Tutorials
• Surveys & Foundational Literature
• Influential Research Papers
• Tools, Frameworks & Repositories
• Blogs, Newsletters & Articles
• Video Lectures & Talks
• Communities, Competitions & Further Resources