cse291-program-synthesis icon indicating copy to clipboard operation
cse291-program-synthesis copied to clipboard

Published 20 hours ago • verified publisher icon nadia-polikarpova
→

Metadata

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.

← Metadata

196
Stars
30
Forks
Watchers

Owner

verified publisher icon nadia-polikarpova

Metadata

Program Synthesis Course

Back