[popl 2021] keynote: "a programmable cloud: calm foundations and open challenges" by joe hellerstein
Published 3 years ago • 2.5K plays • Length 1:11:04Download video MP4
Download video MP3
Similar videos
-
![[popl 2021] a separation logic for effect handlers (full)](https://i.ytimg.com/vi/Zqyu0LPbBb8/mqdefault.jpg)
25:21
[popl 2021] a separation logic for effect handlers (full)
-
![[popl 2021] prisc](https://i.ytimg.com/vi/7SyD5C1-Ak8/mqdefault.jpg)
3:37:01
[popl 2021] prisc
-
![[popl'22] tutorial: data-driven program analysis](https://i.ytimg.com/vi/5fJK_TmtQIE/mqdefault.jpg)
59:21
[popl'22] tutorial: data-driven program analysis
-
![[popl 2021] padl](https://i.ytimg.com/vi/ja_OFA2ahSc/mqdefault.jpg)
1:31:41
[popl 2021] padl
-
9:57
what is codex sinaiticus?
-
51:28
april 7, 2021 general audience of pope francis (asl)
-
30:10
dan callahan - keynote - pycon 2018
-
![[popl 2021] plmw:](https://i.ytimg.com/vi/HAgqkOQ474c/mqdefault.jpg)
1:00:47
[popl 2021] plmw: "emotional machines" by aaron turon
-
![[popl 2021] plmw:](https://i.ytimg.com/vi/TyVLQP8T2mY/mqdefault.jpg)
45:45
[popl 2021] plmw: "making your way in a changing world" by sophia drossopoulou
-
![[popl 2021] coqpl: verifying a compiler through equational means](https://i.ytimg.com/vi/Qj8dGo010zI/mqdefault.jpg)
1:06:07
[popl 2021] coqpl: verifying a compiler through equational means
-
![[popl 2021] padl (day 2)](https://i.ytimg.com/vi/zRhBMY5Xfz4/mqdefault.jpg)
1:16:06
[popl 2021] padl (day 2)
-
![[popl 2021] robin milner award: eran yahav, talking about](https://i.ytimg.com/vi/qPnc2LCpFxs/mqdefault.jpg)
1:00:36
[popl 2021] robin milner award: eran yahav, talking about "structural language models of code"
-
![[popl 2021] padl (day 2)](https://i.ytimg.com/vi/W6mpr-MF2JA/mqdefault.jpg)
2:56
[popl 2021] padl (day 2)
-
6:18
popl 2021 announcement