Type-Driven Program Synthesis

Type-Driven Program Synthesis

Strange Loop Conference via YouTube Direct link

information security with Lifty

17 of 20

17 of 20

information security with Lifty

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. 1 Intro
  2. 2 my goal: automate programming
  3. 3 example: insert into a sorted list
  4. 4 insert in a functional language
  5. 5 specification for insert
  6. 6 program synthesis
  7. 7 types are specifications
  8. 8 refinement types: sorted lists
  9. 9 insert in Synquid
  10. 10 case study: negation normal form
  11. 11 nnf: data types
  12. 12 nnf: specification
  13. 13 nnf: synthesized code
  14. 14 the future of programming (not)
  15. 15 orthogonal concerns
  16. 16 information leaks
  17. 17 information security with Lifty
  18. 18 timing attacks
  19. 19 resource-aware programming with ReSyn
  20. 20 synthesis-aided programming

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.