[popl'24] a universal, sound, and complete forward reasoning technique for machine-verifie...
Published 8 months ago • 94 plays • Length 20:58Download video MP4
Download video MP3
Similar videos
-
![[popl'24] sound gradual verification with symbolic execution](https://i.ytimg.com/vi/BB1D6R9U-rs/mqdefault.jpg)
18:04
[popl'24] sound gradual verification with symbolic execution
-
![[popl'24] vst-a: a foundationally sound annotation verifier](https://i.ytimg.com/vi/f1PkaDlf6Eo/mqdefault.jpg)
19:19
[popl'24] vst-a: a foundationally sound annotation verifier
-
![[popl'24] soundly handling linearity](https://i.ytimg.com/vi/sHGrKEoWtm8/mqdefault.jpg)
15:52
[popl'24] soundly handling linearity
-
![[popl'24] on model-checking higher-order effectful programs](https://i.ytimg.com/vi/8g2PqP7Q2uo/mqdefault.jpg)
21:05
[popl'24] on model-checking higher-order effectful programs
-
![[sessionpreviews@popl'24] algorithmic verification: session preview](https://i.ytimg.com/vi/QI5LRTELmQs/mqdefault.jpg)
10:16
[sessionpreviews@popl'24] algorithmic verification: session preview
-
![[popl'24] efficient chad](https://i.ytimg.com/vi/HUoUap7nO2U/mqdefault.jpg)
18:58
[popl'24] efficient chad
-
![[popl'24] answer refinement modification: refinement type system for algebraic effects and...](https://i.ytimg.com/vi/S4XojkWuEtY/mqdefault.jpg)
22:52
[popl'24] answer refinement modification: refinement type system for algebraic effects and...
-
![[sessionpreviews@popl'24] automated verification: session preview](https://i.ytimg.com/vi/JdN_8sCMI0w/mqdefault.jpg)
10:03
[sessionpreviews@popl'24] automated verification: session preview
-
![[popl'24] internal parametricity, without an interval](https://i.ytimg.com/vi/bcazvJr8bjc/mqdefault.jpg)
19:22
[popl'24] internal parametricity, without an interval
-
![[popl'24] api-driven program synthesis for testing static typing implementations](https://i.ytimg.com/vi/lZws2_bhL58/mqdefault.jpg)
19:20
[popl'24] api-driven program synthesis for testing static typing implementations
-
![[popl 2021] dijkstra monads forever (full)](https://i.ytimg.com/vi/gtD7TV_nils/mqdefault.jpg)
25:07
[popl 2021] dijkstra monads forever (full)
-
![[popl'24] optimal program synthesis via abstract interpretation](https://i.ytimg.com/vi/OlFnav1sm4A/mqdefault.jpg)
20:04
[popl'24] optimal program synthesis via abstract interpretation
-
![[popl'22] learning formulas in finite variable logics](https://i.ytimg.com/vi/V3piR9hO07c/mqdefault.jpg)
24:51
[popl'22] learning formulas in finite variable logics
-
![[sessionpreviews@popl'24] higher-order effectful programs: session preview](https://i.ytimg.com/vi/8UAD2hBmI2U/mqdefault.jpg)
7:53
[sessionpreviews@popl'24] higher-order effectful programs: session preview
-
![[popl'24] mechanizing refinement types](https://i.ytimg.com/vi/UXA7SRArBj8/mqdefault.jpg)
20:26
[popl'24] mechanizing refinement types
-
![[popl'24] implementation and synthesis of math library functions](https://i.ytimg.com/vi/sFtnd9eWt8g/mqdefault.jpg)
20:21
[popl'24] implementation and synthesis of math library functions
-
![[popl'22] effectful program distancing](https://i.ytimg.com/vi/k5Z0HU9liLA/mqdefault.jpg)
26:08
[popl'22] effectful program distancing
-
![[popl'24] guided equality saturation](https://i.ytimg.com/vi/ZLkHl7YmpIY/mqdefault.jpg)
21:21
[popl'24] guided equality saturation