[pldi'23] inductive program synthesis via iterative forward-backward abstract interpretation

Published 7 months ago • 57 plays • Length 17:14

Download video MP4
Download video MP3

Similar videos

20:29

[pldi'23] absynthe: abstract interpretation-guided synthesis
19:57

[pldi'23] trace-guided inductive synthesis of recursive functional programs
20:04

[popl'24] optimal program synthesis via abstract interpretation
17:55

[oopsla23] inductive program synthesis guided by observational program similarity
20:15

[pldi24] [toplas] interactive abstract interpretation with demanded summarization
1:12:51

[pldi'24] norway/finland/sweden - pldi keynotes (jun 28th)
1:28:55

[pldi'24] norway/finland/sweden - pldi keynotes (jun 27th)
31:02

[plmw@pldi24] letting users do the undecidable: lessons from program synthesis
15:19

[pldi'23] abstract interpretation of fixpoint iterators with applications to neural networks
1:06:11

[lopstr23] on-the-fly verification via incremental, interactive abstract interpretation wi...
20:28

[pldi'23] imageeye: batch image processing using program synthesis
20:24

[pldi'23] proving and disproving equivalence of functional programming assignments

Clip.africa.com - Privacy-policy