[oopsla23] melocoton: a program logic for verified interoperability between ocaml and c
Published 8 months ago • 21 plays • Length 18:19Download video MP4
Download video MP3
Similar videos
-
![[coqpl'24] melocoton: a program logic for verified interoperability between ocaml and c (i...](https://i.ytimg.com/vi/BLpJLfmqRps/mqdefault.jpg)
1:02:19
[coqpl'24] melocoton: a program logic for verified interoperability between ocaml and c (i...
-
![[oopsla23] verification-preserving inlining in automatic separation logic verifiers](https://i.ytimg.com/vi/o6noLdDpbXE/mqdefault.jpg)
19:37
[oopsla23] verification-preserving inlining in automatic separation logic verifiers
-
![[oopsla] a concurrent program logic with a future and history](https://i.ytimg.com/vi/oSwrZERVMbk/mqdefault.jpg)
23:53
[oopsla] a concurrent program logic with a future and history
-
![[oopsla23] explainable program synthesis by localizing specifications](https://i.ytimg.com/vi/pTePKCyX4nA/mqdefault.jpg)
16:32
[oopsla23] explainable program synthesis by localizing specifications
-
![[oopsla23] reusing just-in-time compiled code](https://i.ytimg.com/vi/siU-6kpeS_E/mqdefault.jpg)
19:03
[oopsla23] reusing just-in-time compiled code
-
![[oopsla23] rhombus: a new spin on macros without all the parentheses](https://i.ytimg.com/vi/hkiy1rmKA48/mqdefault.jpg)
19:08
[oopsla23] rhombus: a new spin on macros without all the parentheses
-
![[ocaml'23] metaocaml theory and implementation](https://i.ytimg.com/vi/1fn1AEHeu2I/mqdefault.jpg)
28:51
[ocaml'23] metaocaml theory and implementation
-
![[oopsla23] opening and welcome](https://i.ytimg.com/vi/1SCXvoHlxcw/mqdefault.jpg)
18:32
[oopsla23] opening and welcome
-
![[oopsla23] complete first-order reasoning for properties of functional programs](https://i.ytimg.com/vi/msuXVhzjNeA/mqdefault.jpg)
19:06
[oopsla23] complete first-order reasoning for properties of functional programs