CS 6172

Last Updated

  • Schedule of Classes - September 10, 2024 10:17AM EDT
  • Course Catalog - September 10, 2024 9:48AM EDT
Global toggle of class tabs

Links for textbooks and Cornell Store open in new tab.

CS 6172
Program Synthesis

Course information provided by the Courses of Study 2024-2025. Courses of Study 2024-2025 is scheduled to publish mid-June.

An introduction to program synthesis: the problem of automatically generating programs from specifications of their desired behavior. Program synthesis draws on the fields of programming languages and artificial intelligence with the aim of helping to improve software engineering by automatically generating code; help expand the usability of computers by allowing non-coders to harness the power of programming languages; and help us build more interpretable, symbolic AI systems that can write new code. Covers classic areas such as programming-by-example, constraint-based synthesis using SMT solvers, type-directed program synthesis, and inductive logic programming. Covers recent developments in mixed discrete/continuous and neural/symbolic program synthesis. Covers deep learning methods for building efficient, scalable program synthesizers.

When Offered Fall.

Permission Note Enrollment limited to: Ph.D. students.
Prerequisites/Corequisites Prerequisite: CS 3110, CS 3700, and CS 3780/CS 5780 or permission of instructor.

Outcomes
  • Identify where and how program synthesis can be used to solve engineering problems.
  • Be able to build program synthesizers which combine techniques from programming languages and AI.
  • Understand open problems in the field and be equipped to work on them.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 11320 CS 6172   LEC 001

  •  
    • MW
    • Aug 26 - Dec 9, 2024

    • Ellis, K

  • For Bowers CIS Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/