├── README.md └── lectures ├── Lecture01.pdf ├── Lecture02.pdf ├── Lecture03.pdf ├── Lecture04.pdf ├── Lecture05.pdf ├── Lecture06.pdf ├── Lecture07.pdf ├── Lecture08.pdf ├── Lecture09.pdf ├── Lecture10.pdf ├── Lecture11.pdf ├── Lecture12.pdf ├── Lecture13.pdf ├── Lecture14.pdf └── Lecture15.pdf /README.md: -------------------------------------------------------------------------------- 1 | # CSE 291: Program Synthesis 2 | 3 | This repository is the public web page for the [UCSD](https://ucsd.edu/) [CSE](https://cse.ucsd.edu/) graduate-level course on Program Synthesis. 4 | 5 | * For course description, check out the [wiki](https://github.com/nadia-polikarpova/cse291-program-synthesis/wiki). 6 | * For lecture slides, browse or clone the repository. 7 | -------------------------------------------------------------------------------- /lectures/Lecture01.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture01.pdf -------------------------------------------------------------------------------- /lectures/Lecture02.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture02.pdf -------------------------------------------------------------------------------- /lectures/Lecture03.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture03.pdf -------------------------------------------------------------------------------- /lectures/Lecture04.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture04.pdf -------------------------------------------------------------------------------- /lectures/Lecture05.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture05.pdf -------------------------------------------------------------------------------- /lectures/Lecture06.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture06.pdf -------------------------------------------------------------------------------- /lectures/Lecture07.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture07.pdf -------------------------------------------------------------------------------- /lectures/Lecture08.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture08.pdf -------------------------------------------------------------------------------- /lectures/Lecture09.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture09.pdf -------------------------------------------------------------------------------- /lectures/Lecture10.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture10.pdf -------------------------------------------------------------------------------- /lectures/Lecture11.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture11.pdf -------------------------------------------------------------------------------- /lectures/Lecture12.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture12.pdf -------------------------------------------------------------------------------- /lectures/Lecture13.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture13.pdf -------------------------------------------------------------------------------- /lectures/Lecture14.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture14.pdf -------------------------------------------------------------------------------- /lectures/Lecture15.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/nadia-polikarpova/cse291-program-synthesis/4726e72728fe801162cf825aaf656a35b0ee9c0c/lectures/Lecture15.pdf --------------------------------------------------------------------------------