[pldi24] bringing the webassembly standard up to speed with spectec
Published 2 months ago • 54 plays • Length 16:11Download video MP4
Download video MP3
Similar videos
-
![[pldi24] from batch to stream: automatic generation of online algorithms](https://i.ytimg.com/vi/WR9pkv8hIT8/mqdefault.jpg)
22:30
[pldi24] from batch to stream: automatic generation of online algorithms
-
![[popl'24] indexed types for a statically safe webassembly](https://i.ytimg.com/vi/mkTgnFrv7lI/mqdefault.jpg)
18:15
[popl'24] indexed types for a statically safe webassembly
-
![[plmw@pldi24] thoughts on the interplay between corporate, government, and university r&d](https://i.ytimg.com/vi/1nf8CyHyvvc/mqdefault.jpg)
1:09:21
[plmw@pldi24] thoughts on the interplay between corporate, government, and university r&d
-
![[plmw@pldi24] how to read a pl-security paper](https://i.ytimg.com/vi/qWlJn_tHuNE/mqdefault.jpg)
38:27
[plmw@pldi24] how to read a pl-security paper
-
21:23
2024 eurollvm - structured code generation from the ground up
-
16:15
"pyhdl-if: an easy-to-use python/hdl cross-calling interface" - matt ballance (latch_2024)