Oopsla 25 Structural Information Flow

Media Summary: Dynamic Wind for Effect Handlers (Video, OOPSLA2 2025) David Voigt, Philipp Schuster, and Jonathan Immanuel Brachthäuser ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... Zero-Overhead Lexical Effect Handlers (Video, OOPSLA2 2025) Cong Ma, Zhaoyi Ge, Max Jung, and Yizhou Zhang (University of ...

Oopsla 25 Structural Information Flow - Detailed Analysis & Overview

Dynamic Wind for Effect Handlers (Video, OOPSLA2 2025) David Voigt, Philipp Schuster, and Jonathan Immanuel Brachthäuser ... The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ... Zero-Overhead Lexical Effect Handlers (Video, OOPSLA2 2025) Cong Ma, Zhaoyi Ge, Max Jung, and Yizhou Zhang (University of ... Garbage Collection for Rust: The Finalizer Frontier (Video, OOPSLA2 2025) Jacob Hughes and Laurence Tratt (King's College ... The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis (Video, OOPSLA2 2025) ...

A Sound Static Analysis Approach to I/O API Migration (Video, OOPSLA2 2025) Shangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu ... Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials (Video, OOPSLA1 2025) Qihao Lian and Di Wang ... Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers (Video, OOPSLA2 2025) Arya Vohra, Leo ...

Photo Gallery

[OOPSLA'25] Structural Information Flow: A Fresh Look at Types for Non-Interference

[OOPSLA'25] Dynamic Wind for Effect Handlers

[OOPSLA'25] Structural Abstraction and Refinement for Probabilistic Programs

[OOPSLA'25] The Simple Essence of Monomorphization

[OOPSLA'25] Finch: Sparse and Structured Tensor Programming with Control Flow

[OOPSLA'25] Zero-Overhead Lexical Effect Handlers

[OOPSLA'25] Garbage Collection for Rust: The Finalizer Frontier

[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)

[OOPSLA'25] Compositional Quantum Control Flow with Efficient Compilation in Qunity

[OOPSLA'25] Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive(…)

[OOPSLA'25] A Sound Static Analysis Approach to I/O API Migration

[OOPSLA'25] Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials

View Detailed Profile

[OOPSLA'25] Structural Information Flow: A Fresh Look at Types for Non-Interference

[OOPSLA'25] Structural Information Flow: A Fresh Look at Types for Non-Interference

Structural Information Flow

[OOPSLA'25] Dynamic Wind for Effect Handlers

[OOPSLA'25] Dynamic Wind for Effect Handlers

Dynamic Wind for Effect Handlers (Video, OOPSLA2 2025) David Voigt, Philipp Schuster, and Jonathan Immanuel Brachthäuser ...

[OOPSLA'25] Structural Abstraction and Refinement for Probabilistic Programs

[OOPSLA'25] Structural Abstraction and Refinement for Probabilistic Programs

Structural

[OOPSLA'25] The Simple Essence of Monomorphization

[OOPSLA'25] The Simple Essence of Monomorphization

The Simple Essence of Monomorphization (Video, OOPSLA1 2025) Matthew Lutze, Philipp Schuster, and Jonathan Immanuel ...

[OOPSLA'25] Finch: Sparse and Structured Tensor Programming with Control Flow

[OOPSLA'25] Finch: Sparse and Structured Tensor Programming with Control Flow

Finch: Sparse and

[OOPSLA'25] Zero-Overhead Lexical Effect Handlers

[OOPSLA'25] Zero-Overhead Lexical Effect Handlers

Zero-Overhead Lexical Effect Handlers (Video, OOPSLA2 2025) Cong Ma, Zhaoyi Ge, Max Jung, and Yizhou Zhang (University of ...

[OOPSLA'25] Garbage Collection for Rust: The Finalizer Frontier

[OOPSLA'25] Garbage Collection for Rust: The Finalizer Frontier

Garbage Collection for Rust: The Finalizer Frontier (Video, OOPSLA2 2025) Jacob Hughes and Laurence Tratt (King's College ...

[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)

[OOPSLA'25] The Simple Essence of Overloading: Making ad-hoc polymorphism more algebraic with(…)

The Simple Essence of Overloading: Making Ad-Hoc Polymorphism More Algebraic with

[OOPSLA'25] Compositional Quantum Control Flow with Efficient Compilation in Qunity

[OOPSLA'25] Compositional Quantum Control Flow with Efficient Compilation in Qunity

Compositional Quantum Control

[OOPSLA'25] Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive(…)

[OOPSLA'25] Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive(…)

Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis (Video, OOPSLA2 2025) ...

[OOPSLA'25] A Sound Static Analysis Approach to I/O API Migration

[OOPSLA'25] A Sound Static Analysis Approach to I/O API Migration

A Sound Static Analysis Approach to I/O API Migration (Video, OOPSLA2 2025) Shangyu Li, Zhaoyang Zhang, Sizhe Zhong, Diyu ...

[OOPSLA'25] Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials

[OOPSLA'25] Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials

Automatic Linear Resource Bound Analysis for Rust via Prophecy Potentials (Video, OOPSLA1 2025) Qihao Lian and Di Wang ...

[OOPSLA'25] Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers

[OOPSLA'25] Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers

Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers (Video, OOPSLA2 2025) Arya Vohra, Leo ...