Oopsla 25 A Refinement Methodology

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 ... Fast Constraint Synthesis for C++ Function Templates (Video, OOPSLA1 2025) Shuo Ding and Qirun Zhang (Georgia Institute of ...

Oopsla 25 A Refinement Methodology - 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 ... Fast Constraint Synthesis for C++ Function Templates (Video, OOPSLA1 2025) Shuo Ding and Qirun Zhang (Georgia Institute of ... Incremental Certified Programming (Video, OOPSLA2 2025) Tomás Díaz, Kenji Maillard, Nicolas Tabareau, and Éric Tanter ... Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic (Video, OOPSLA2 2025) Shushu Wu, Xiwei Wu, and Qinxiang ... QbC: Quantum Correctness by Construction (Video, OOPSLA1 2025) Anurudh Peduri, Ina Schaefer, and Michael Walter (Ruhr ...

Mini-Batch Robustness Verification of Deep Neural Networks (Video, OOPSLA2 2025) Saar Tzour-Shaday and Dana ...

Photo Gallery

[OOPSLA'25] A Refinement Methodology for Distributed Programs in Rust

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

[OOPSLA'25] A Flow-Sensitive Refinement Type System for Verifying eBPF Programs

[OOPSLA'25] On Abstraction Refinement for Bayesian Program Analysis

[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)

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

[OOPSLA'25] Abstraction Refinement-guided Program Synthesis for Robot Learning from Demonstrations

[OOPSLA'25] The Simple Essence of Monomorphization

[OOPSLA'25] Fast Constraint Synthesis for C++ Function Templates

[OOPSLA'25] Incremental Certified Programming

$[OOPSLA'25] Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic$

[OOPSLA'25] QbC: Quantum Correctness by Construction

View Detailed Profile

[OOPSLA'25] A Refinement Methodology for Distributed Programs in Rust

[OOPSLA'25] A Refinement Methodology for Distributed Programs in Rust

A

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

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

Structural Abstraction and

[OOPSLA'25] A Flow-Sensitive Refinement Type System for Verifying eBPF Programs

[OOPSLA'25] A Flow-Sensitive Refinement Type System for Verifying eBPF Programs

A Flow-Sensitive

[OOPSLA'25] On Abstraction Refinement for Bayesian Program Analysis

[OOPSLA'25] On Abstraction Refinement for Bayesian Program Analysis

On Abstraction

[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)

[POPL'25] Automated Program Refinement: Guide and Verify Code Large Language Model with(…)

Automated Program

[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 Flow-Based Variational Type-Checking ...

[OOPSLA'25] Abstraction Refinement-guided Program Synthesis for Robot Learning from Demonstrations

[OOPSLA'25] Abstraction Refinement-guided Program Synthesis for Robot Learning from Demonstrations

Abstraction

[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] Fast Constraint Synthesis for C++ Function Templates

[OOPSLA'25] Fast Constraint Synthesis for C++ Function Templates

Fast Constraint Synthesis for C++ Function Templates (Video, OOPSLA1 2025) Shuo Ding and Qirun Zhang (Georgia Institute of ...

[OOPSLA'25] Incremental Certified Programming

[OOPSLA'25] Incremental Certified Programming

Incremental Certified Programming (Video, OOPSLA2 2025) Tomás Díaz, Kenji Maillard, Nicolas Tabareau, and Éric Tanter ...

[OOPSLA'25] Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic

[OOPSLA'25] Encode the $\forall\exists$ Relational Hoare Logic into Standard Hoare Logic

Encode the ∀∃ Relational Hoare Logic into Standard Hoare Logic (Video, OOPSLA2 2025) Shushu Wu, Xiwei Wu, and Qinxiang ...

[OOPSLA'25] QbC: Quantum Correctness by Construction

[OOPSLA'25] QbC: Quantum Correctness by Construction

QbC: Quantum Correctness by Construction (Video, OOPSLA1 2025) Anurudh Peduri, Ina Schaefer, and Michael Walter (Ruhr ...

[OOPSLA'25] Mini-Batch Robustness Verification of Deep Neural Networks

[OOPSLA'25] Mini-Batch Robustness Verification of Deep Neural Networks

Mini-Batch Robustness Verification of Deep Neural Networks (Video, OOPSLA2 2025) Saar Tzour-Shaday and Dana ...