Media Summary: The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition (Video, OOPSLA2 ... An Empirical Study of Bugs in the rustc Compiler (Video, OOPSLA2 2025) Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, ...
Oopsla 25 Exploring The Theory - Detailed Analysis & Overview
The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical Space Decomposition (Video, OOPSLA2 ... An Empirical Study of Bugs in the rustc Compiler (Video, OOPSLA2 2025) Zixi Liu, Yang Feng, Yunbo Ni, Shaohua Li, Xizhe Yin, ... Validating SMT Rewriters via Rewrite Space Fast Constraint Synthesis for C++ Function Templates (Video, OOPSLA1 2025) Shuo Ding and Qirun Zhang (Georgia Institute of ... A guided tour through Oxidized OCaml (Video, Tutorials @ ICFP/SPLASH 2025) Gavin Gray, Anil Madhavapeddy, KC ...
[Recorded on October 1998] From University Video Communications' catalog: "Over the last quarter-century Guy Steele has been ... The Future of ProLaLa (Video, ProLaLa 2024) Miscellaneous Presentation at the ProLaLa 2024 conference, October 20, 2024, ...
![[OOPSLA'25] Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern](https://i.ytimg.com/vi/z2vqiVtmsuY/mqdefault.jpg)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/mqdefault.jpg)
![[OOPSLA'25] HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical(…)](https://i.ytimg.com/vi/cVIbVmyGYZQ/mqdefault.jpg)
![[POPL'25] A Dependent Type Theory for Meta-programming with Intensional Analysis](https://i.ytimg.com/vi/63QOfoxPahY/mqdefault.jpg)
![[OOPSLA'25] An Empirical Study of Bugs in the rustc Compiler](https://i.ytimg.com/vi/c-7Mx3Fkzp0/mqdefault.jpg)
![[OOPSLA'25] Validating SMT Rewriters via Rewrite Space Exploration Supported by Generative(…)](https://i.ytimg.com/vi/bAqrHt9sSrc/mqdefault.jpg)
![[OOPSLA'25] Fast Constraint Synthesis for C++ Function Templates](https://i.ytimg.com/vi/_6pxVhEi-bc/mqdefault.jpg)
![[Tutorials @ ICFP/SPLASH'25] A guided tour through Oxidized OCaml](https://i.ytimg.com/vi/qTSpEKZohKY/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/zoE2w2hueYQ/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/1d80UBzb5g8/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/wHAGmFT7tls/mqdefault.jpg)
![[ProLaLa24] The Future of ProLaLa](https://i.ytimg.com/vi/gponGrEcAmU/mqdefault.jpg)