[popl'24] effectful software contracts
Published 8 months ago • 92 plays • Length 20:40Download video MP4
Download video MP3
Similar videos
-
![[popl'24] decalf: a directed, effectful cost-aware logical framework](https://i.ytimg.com/vi/JQNL0NQbaiE/mqdefault.jpg)
17:37
[popl'24] decalf: a directed, effectful cost-aware logical framework
-
![[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
-
![[popl'24] securing verified io programs against unverified code in f*](https://i.ytimg.com/vi/7jCChuyZHR4/mqdefault.jpg)
21:08
[popl'24] securing verified io programs against unverified code in f*
-
![[popl'24] calculational design of [in]correctness transformational program logics by abstr...](https://i.ytimg.com/vi/e2F0Y_LIhV4/mqdefault.jpg)
26:11
[popl'24] calculational design of [in]correctness transformational program logics by abstr...
-
![[popl'24] programming-by-demonstration for long-horizon robot tasks](https://i.ytimg.com/vi/b2iN3keWUgk/mqdefault.jpg)
20:49
[popl'24] programming-by-demonstration for long-horizon robot tasks
-
![[popl'24] predictive monitoring against pattern regular languages](https://i.ytimg.com/vi/apf5afr0eEc/mqdefault.jpg)
18:55
[popl'24] predictive monitoring against pattern regular languages
-
![[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] a universal, sound, and complete forward reasoning technique for machine-verifie...](https://i.ytimg.com/vi/rOGmRSPHQsU/mqdefault.jpg)
20:58
[popl'24] a universal, sound, and complete forward reasoning technique for machine-verifie...
-
![[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