Latest News

• Assignment 2 released (due on May 28th) - Mon, May 5th
• No class on May 5th and May 7th - Happy Children’s Day!
• Paper discussion schedule adjusted - Wed, Apr 16th
• Reminder: submit your project proposal via email (due on Apr 16th) - Mon, Apr 14th
• Schedule for paper discussion released - Tue, Apr 1st
• Assignment 1 released (due on Apr 2nd) - Tue, Mar 18th
• Sign up for paper presentation (due on Mar 31st) - Wed, Mar 12th
• A list of papers for presentation is now available - Sat, Mar 8th
• Course website is now live!! - Thu, Feb 13th

Course Description

This course introduces program synthesis, one of the most central research problems in computer science and AI. This course will cover state-of-the-art approaches to the problem including recent AI-powered advancements as well as open problem in the area.

Course Details

All students in both on-campus and online sections will have access to these online course materials:

• 📖 Syllabus
• 📂 Assignments
• 📑 Lecture Notes
• 📚 References

Lectures

Mondays and Wednesdays 2-3:15pm (Building 302, Room 106)

Instructor

Xiaokang Qiu

• Office: Building 302, Room 321
• Email Address: xkqiu (at) purdue (dot) edu
• Office Hours: Mondays and Wednesdays 3:30-4:30pm