Completed
insert in Synquid
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Type-Driven Program Synthesis
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 my goal: automate programming
- 3 example: insert into a sorted list
- 4 insert in a functional language
- 5 specification for insert
- 6 program synthesis
- 7 types are specifications
- 8 refinement types: sorted lists
- 9 insert in Synquid
- 10 case study: negation normal form
- 11 nnf: data types
- 12 nnf: specification
- 13 nnf: synthesized code
- 14 the future of programming (not)
- 15 orthogonal concerns
- 16 information leaks
- 17 information security with Lifty
- 18 timing attacks
- 19 resource-aware programming with ReSyn
- 20 synthesis-aided programming
