[popl'24] solving infinite-state games via acceleration

Published 8 months ago • 32 plays • Length 19:01

Download video MP4
Download video MP3

Similar videos

21:05

[popl'24] on model-checking higher-order effectful programs
18:19

[popl'24] the complex(ity) landscape of checking infinite descent
20:49

[popl'24] programming-by-demonstration for long-horizon robot tasks
18:58

[popl'24] efficient chad
19:22

[popl'24] internal parametricity, without an interval
7:16

commodore 64, emulated, crillion, 24772 points
19:28

[popl'24] flan: an expressive and efficient datalog compiler for program analysis
6:40

urban fusion 2024 - 2x2 - time whallef cell x ubuntu crew .
20:40

[popl'24] effectful software contracts
19:15

[popl'24] an infinite needle in a finite haystack: finding infinite counter-models in dedu...
20:58

[popl'24] a universal, sound, and complete forward reasoning technique for machine-verifie...
24:41

[popl'24] reachability in continuous pushdown vass
20:04

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

[popl'24] predictive monitoring against pattern regular languages

Clip.africa.com - Privacy-policy