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

Intro

1 of 20

1 of 20

Intro

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.