[oopsla23] graph irs for impure higher-order languages: making aggressive optimizations af...
Published 7 months ago • 64 plays • Length 18:25Download video MP4
Download video MP3
Similar videos
-
![[oopsla23] languages with decidable learning: a meta-theorem](https://i.ytimg.com/vi/U1LP0nkYPcM/mqdefault.jpg)
17:32
[oopsla23] languages with decidable learning: a meta-theorem
-
0:22
oasys giraphe: create multiple graphs
-
![[oopsla23] fluent apis in functional languages](https://i.ytimg.com/vi/NjDsSfG5wv0/mqdefault.jpg)
19:51
[oopsla23] fluent apis in functional languages
-
![[oopsla23] hardware-aware static optimization of hyperdimensional computations](https://i.ytimg.com/vi/gQ4IbGHhLwE/mqdefault.jpg)
18:24
[oopsla23] hardware-aware static optimization of hyperdimensional computations
-
![[oopsla23] rapid: region-based pointer disambiguation](https://i.ytimg.com/vi/VcuDCkvp0So/mqdefault.jpg)
18:14
[oopsla23] rapid: region-based pointer disambiguation
-
![[oopsla23] tastytruffle: just-in-time specialization of parametric polymorphism](https://i.ytimg.com/vi/nR1Cm_a7seY/mqdefault.jpg)
16:59
[oopsla23] tastytruffle: just-in-time specialization of parametric polymorphism
-
![[pldi24] hyperblock scheduling for verified high-level synthesis](https://i.ytimg.com/vi/ZTEh0cMO_FY/mqdefault.jpg)
22:20
[pldi24] hyperblock scheduling for verified high-level synthesis
-
![[oopsla23] user-customizable transpilation of scripting languages](https://i.ytimg.com/vi/KPoaw9ZIqC4/mqdefault.jpg)
22:13
[oopsla23] user-customizable transpilation of scripting languages
-
![[oopsla23] inference of resource management specifications](https://i.ytimg.com/vi/QGIN8wvMbOw/mqdefault.jpg)
17:51
[oopsla23] inference of resource management specifications
-
![[oopsla23] explainable program synthesis by localizing specifications](https://i.ytimg.com/vi/pTePKCyX4nA/mqdefault.jpg)
16:32
[oopsla23] explainable program synthesis by localizing specifications
-
![[oopsla] the road not taken: exploring alias analysis based optimizations missed by the compiler](https://i.ytimg.com/vi/Ddj-ngXlLAY/mqdefault.jpg)
25:16
[oopsla] the road not taken: exploring alias analysis based optimizations missed by the compiler
-
![[oopsla23] an explanation method for models of code](https://i.ytimg.com/vi/VocHyFF4pJo/mqdefault.jpg)
17:09
[oopsla23] an explanation method for models of code
-
![[oopsla23] reference capabilities for flexible memory management](https://i.ytimg.com/vi/ogX3ihbudcA/mqdefault.jpg)
18:05
[oopsla23] reference capabilities for flexible memory management
-
15:09
sealing pointer-based optimizations behind pure functions (icfp 2020)
-
![[popl'24] inference of robust reachability constraints](https://i.ytimg.com/vi/4DT5XZQNUSE/mqdefault.jpg)
18:59
[popl'24] inference of robust reachability constraints
-
![[pldi24] space-efficient polymorphic gradual typing, mostly parametric](https://i.ytimg.com/vi/iSIyGRO4sL0/mqdefault.jpg)
18:28
[pldi24] space-efficient polymorphic gradual typing, mostly parametric