/cse291-program-synthesis

Program Synthesis Course

CSE 291: Program Synthesis

This repository is the public web page for the UCSD CSE graduate-level course on Program Synthesis.

  • For course description, check out the wiki.
  • For lecture slides, browse or clone the repository.
  • To ask a question, use the issue tracker.