[pldi24] superstack: superoptimization of stack-bytecode via greedy, constraint-based, and sat(…)
Published 3 months ago • 37 plays • Length 17:36Download video MP4
Download video MP3
Similar videos
-
![[pldi24] superfusion: eliminating intermediate data structures via inductive synthesis](https://i.ytimg.com/vi/q7j3WjCaTNA/mqdefault.jpg)
40:06
[pldi24] superfusion: eliminating intermediate data structures via inductive synthesis
-
![[pldi24] optimistic stack allocation and dynamic heapification for managed runtimes](https://i.ytimg.com/vi/uhbDYhS4br0/mqdefault.jpg)
19:48
[pldi24] optimistic stack allocation and dynamic heapification for managed runtimes
-
![[pldi24] a verified compiler for a functional tensor language](https://i.ytimg.com/vi/7jfCGkfCg7M/mqdefault.jpg)
18:01
[pldi24] a verified compiler for a functional tensor language
-
![[pldi24] a lightweight polyglot code transformation language](https://i.ytimg.com/vi/dHiP8zXiaxI/mqdefault.jpg)
18:41
[pldi24] a lightweight polyglot code transformation language
-
![[sparse24] design dsls with xdsl](https://i.ytimg.com/vi/XJ5Mu-0foIA/mqdefault.jpg)
21:33
[sparse24] design dsls with xdsl
-
![[padl'24] modular higher-order effects](https://i.ytimg.com/vi/UseIDeSCsf0/mqdefault.jpg)
58:51
[padl'24] modular higher-order effects
-
![[plmw@pldi24] a tour of program optimization](https://i.ytimg.com/vi/SivQplf4OkE/mqdefault.jpg)
36:49
[plmw@pldi24] a tour of program optimization
-
![[pldi24] compilation of modular and general sparse workspaces](https://i.ytimg.com/vi/bkovjLkg8yI/mqdefault.jpg)
18:11
[pldi24] compilation of modular and general sparse workspaces
-
![[pldi24] pl4xgl: a programming language approach to explainable graph learning](https://i.ytimg.com/vi/dc64pCBXx9o/mqdefault.jpg)
14:47
[pldi24] pl4xgl: a programming language approach to explainable graph learning
-
![[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
-
![[pldi24] vesta: power modeling with language runtime events](https://i.ytimg.com/vi/dF2JcBZVUbA/mqdefault.jpg)
20:28
[pldi24] vesta: power modeling with language runtime events
-
![[pldi24] reward-guided synthesis of intelligent agents with control structures](https://i.ytimg.com/vi/jkkkSVVf2Qg/mqdefault.jpg)
23:39
[pldi24] reward-guided synthesis of intelligent agents with control structures
-
![[pldi24] [toplas] cflobdds: context-free-language ordered binary decision diagrams](https://i.ytimg.com/vi/F_Z0z4fabGo/mqdefault.jpg)
21:11
[pldi24] [toplas] cflobdds: context-free-language ordered binary decision diagrams
-
![[pldi24] program analysis for adaptive data analysis](https://i.ytimg.com/vi/N0ushINUgBk/mqdefault.jpg)
18:42
[pldi24] program analysis for adaptive data analysis
-
![[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] soundly handling linearity](https://i.ytimg.com/vi/sHGrKEoWtm8/mqdefault.jpg)
15:52
[popl'24] soundly handling linearity
-
![[pldi24] linear matching of javascript regular expressions](https://i.ytimg.com/vi/VnwKOI8aKmA/mqdefault.jpg)
23:19
[pldi24] linear matching of javascript regular expressions