Media Summary: The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern (Video, OOPSLA2 2025) Patrick ...
Oopsla 25 Abstraction Refinement Guided - Detailed Analysis & Overview
The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Flow-Based Variational Type-Checking ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... Exploring the Theory and Practice of Concurrency in the Entity-Component-System Pattern (Video, OOPSLA2 2025) Patrick ... Fast Constraint Synthesis for C++ Function Templates (Video, OOPSLA1 2025) Shuo Ding and Qirun Zhang (Georgia Institute of ...
![[OOPSLA'25] Abstraction Refinement-guided Program Synthesis for Robot Learning from Demonstrations](https://i.ytimg.com/vi/mLlT_xPi4hA/mqdefault.jpg)
![[OOPSLA'25] On Abstraction Refinement for Bayesian Program Analysis](https://i.ytimg.com/vi/Fvd6W1gGZ_g/mqdefault.jpg)
![[OOPSLA'25] Structural Abstraction and Refinement for Probabilistic Programs](https://i.ytimg.com/vi/pkwFTCuJieo/mqdefault.jpg)
![[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)](https://i.ytimg.com/vi/Z7SxbzFo55U/mqdefault.jpg)
![[OOPSLA24] Scaling Abstraction Refinement for Program Analyses in Datalog Using Graph Neural(…)](https://i.ytimg.com/vi/tqNL2lm-8og/mqdefault.jpg)
![[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)](https://i.ytimg.com/vi/ELSREvt9_gQ/mqdefault.jpg)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/mqdefault.jpg)
![[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] Fast Constraint Synthesis for C++ Function Templates](https://i.ytimg.com/vi/_6pxVhEi-bc/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/bIaRdFHHnKg/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Small - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/1d80UBzb5g8/mqdefault.jpg)
![[Tutorials @ ICFP/SPLASH'25] A guided tour through Oxidized OCaml](https://i.ytimg.com/vi/qTSpEKZohKY/mqdefault.jpg)
![[POPL'25] The Best of Abstract Interpretations](https://i.ytimg.com/vi/r1m7bUmhtlA/mqdefault.jpg)