provenance-guided synthesis of datalog programs
Published 4 years ago • 481 plays • Length 21:19Download video MP4
Download video MP3
Similar videos
-
![[pldi'23] trace-guided inductive synthesis of recursive functional programs](https://i.ytimg.com/vi/GNXnak4zMcI/mqdefault.jpg)
19:57
[pldi'23] trace-guided inductive synthesis of recursive functional programs
-
![[pldi24] reward-guided synthesis of intelligent agents with control structures](https://i.ytimg.com/vi/jkkkSVVf2Qg/mqdefault.jpg)
23:39
[pldi24] reward-guided synthesis of intelligent agents with control structures
-
20:00
gensynth: synthesizing datalog programs without language bias
-
![[pldi24] superfusion: eliminating intermediate data structures via inductive synthesis](https://i.ytimg.com/vi/q7j3WjCaTNA/mqdefault.jpg)
40:06
[pldi24] superfusion: eliminating intermediate data structures via inductive synthesis
-
4:56
bottom-up synthesis of recursive functional programs using angelic execution (teaser)
-
![[popl'23] from smt to asp: solver-based approaches to solving datalog synthesis-as-rule-se...](https://i.ytimg.com/vi/DQ40UBmsQ9k/mqdefault.jpg)
23:06
[popl'23] from smt to asp: solver-based approaches to solving datalog synthesis-as-rule-se...
-
![[pldi'23] efficient parallel functional programming with effects](https://i.ytimg.com/vi/-MXUyP2iYG4/mqdefault.jpg)
20:34
[pldi'23] efficient parallel functional programming with effects
-
46:05
the essence of functional programming by richard feldman #fnconf 2022
-
25:56
real time odes for sound synthesis and parameter exploration | camilo eguia | juliacon 2024
-
![[pldi'23] absynthe: abstract interpretation-guided synthesis](https://i.ytimg.com/vi/wxDYmOFnecs/mqdefault.jpg)
20:29
[pldi'23] absynthe: abstract interpretation-guided synthesis
-
25:20
bhargav nagaraja bhatt // #siseminarseries // september 30, 2021
-
![[oopsla23] synthesizing efficient memoization algorithms](https://i.ytimg.com/vi/v3AlQ4uVLJc/mqdefault.jpg)
17:49
[oopsla23] synthesizing efficient memoization algorithms
-
![[popl'24] enhanced enumeration techniques for syntax-guided synthesis of bit-vector manipu...](https://i.ytimg.com/vi/lbDxCZ7wh80/mqdefault.jpg)
18:50
[popl'24] enhanced enumeration techniques for syntax-guided synthesis of bit-vector manipu...
-
10:58
the data provenance initiative | shayne longpre | mit 2023
-
![[oopsla23] improving oracle-guided inductive synthesis by efficient question selection](https://i.ytimg.com/vi/eWZMBqFozFA/mqdefault.jpg)
16:09
[oopsla23] improving oracle-guided inductive synthesis by efficient question selection
-
![[pldi'23] cakes that bake cakes: dynamic computation in cakeml](https://i.ytimg.com/vi/TZO-NVomNGY/mqdefault.jpg)
23:30
[pldi'23] cakes that bake cakes: dynamic computation in cakeml