[pldi24] verified extraction from coq to ocaml

Published 4 months ago • 71 plays • Length 20:54

Download video MP4
Download video MP3

Similar videos

20:17

[pldi24] quiver: guided abductive inference of separation logic specifications in coq
15:10

[pldi24] [pldi 2023] cqs: a formally-verified framework for fair and abortable synchronization
18:01

[pldi24] a verified compiler for a functional tensor language
18:41

[pldi24] a lightweight polyglot code transformation language
20:24

[pldi24] foundational integration verification of a cryptographic server
1:05:18

[pldi24] much still to do in compiler verification (a perspective from the cakeml project)
1:24:16

[pldi'24] norway/finland/sweden - pldi keynotes
19:39

[pldi24] descend: a safe gpu systems programming language
1:03:39

[pldi24] the future of fast code: giving hardware what it wants
21:15

[pldi24] live verification in an interactive proof assistant
17:16

[pldi24] input-relational verification of deep neural networks
18:19

[oopsla23] melocoton: a program logic for verified interoperability between ocaml and c
18:42

[pldi24] program analysis for adaptive data analysis
18:33

[pldi24] a proof recipe for linearizability in relaxed memory separation logic
21:00

[pldi24] daedalus: safer document parsing
18:50

[pldi24] qubit recycling revisited
19:28

[pldi24] automated verification of fundamental algebraic laws

Clip.africa.com - Privacy-policy