Media Summary: A Unifying Approach to Product Constructions Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational ... Modular Reasoning about Global Variables and Their Initialization (Video, OOPSLA2 2025) João Pereira, Isaac van Bakel, ...
Oopsla 25 Fo Complete Program - Detailed Analysis & Overview
A Unifying Approach to Product Constructions Modeling Reachability Types with Logical Relations: Semantic Type Soundness, Termination, Effect Safety, and Equational ... Modular Reasoning about Global Variables and Their Initialization (Video, OOPSLA2 2025) João Pereira, Isaac van Bakel, ... GALA: A High Performance Graph Neural Network Acceleration LAnguage and Compiler (Video, OOPSLA2 2025) Damitha ...
![[OOPSLA'25] FO-Complete Program Verification for Heap Logics](https://i.ytimg.com/vi/j4455Bqw3bM/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 17th)](https://i.ytimg.com/vi/oZBLYqvsaGs/mqdefault.jpg)
![[OOPSLA'25] Tabby: A Synthesis-Aided Compiler for High-Performance Zero-Knowledge Proof Circuits](https://i.ytimg.com/vi/kF4dmYRbg70/mqdefault.jpg)
![[OOPSLA'25] A Unifying Approach to Product Constructions for Quantitative Temporal Inference](https://i.ytimg.com/vi/BzCPpBNBcOI/mqdefault.jpg)
![[OOPSLA'25] Modeling Reachability Types with Logical Relations -- Semantic Type Soundness,(…)](https://i.ytimg.com/vi/n_HOE0GIUnw/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid East - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/PH86sTG6G08/mqdefault.jpg)
![[OOPSLA'25] Modular Reasoning about Global Variables and Their Initialization](https://i.ytimg.com/vi/vSk8ObJ1e-M/mqdefault.jpg)
![[OOPSLA'25] GALA: A High Performance Graph Neural Network Acceleration LAnguage and Compiler](https://i.ytimg.com/vi/ZRI6WdfUZHM/mqdefault.jpg)
![[OOPSLA'25] The Simple Essence of Monomorphization](https://i.ytimg.com/vi/xqoTzQ9b9S0/mqdefault.jpg)
![[OOPSLA'25] A Refinement Methodology for Distributed Programs in Rust](https://i.ytimg.com/vi/0Z_GAZzVCVA/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid Plenary Ballroom - SPLASH OOPSLA (Oct 16th)](https://i.ytimg.com/vi/BN1UnBI4usA/mqdefault.jpg)
![[ICFP/SPLASH'25] Orchid West - SPLASH OOPSLA (Oct 18th)](https://i.ytimg.com/vi/VGDiFbX3O7w/mqdefault.jpg)
![[OOPSLA'25] HieraSynth: A Parallel Framework for Complete Super-Optimization with Hierarchical(…)](https://i.ytimg.com/vi/cVIbVmyGYZQ/mqdefault.jpg)