SuSLik: Deductive Synthesis of Safe Programs with Pointers - Tutorial 1b

SuSLik: Deductive Synthesis of Safe Programs with Pointers - Tutorial 1b

Neurosymbolic Programming for Science via YouTube Direct link

programs

10 of 20

10 of 20

programs

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

SuSLik: Deductive Synthesis of Safe Programs with Pointers - Tutorial 1b

Automatically move to the next video in the Classroom when playback concludes

  1. 1 Intro
  2. 2 follow along
  3. 3 we've come a long way...
  4. 4 program synthesis with guarantees
  5. 5 this tutorial
  6. 6 example: swap
  7. 7 demo: swap
  8. 8 exercise 1: rotate three
  9. 9 separation logic (SL)
  10. 10 programs
  11. 11 SL assertions
  12. 12 example triples
  13. 13 example: dispose
  14. 14 dynamic data structures
  15. 15 the linked list predicate
  16. 16 demo: dispose a list
  17. 17 example: copy
  18. 18 linked list with elements
  19. 19 demo: copy a list
  20. 20 exercise 2: single to double

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.