Popl 24 Mechanizing Refinement Types

Media Summary: Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ... Parametric Subtyping for Structural Parametric Polymorphism (Video, Internalizing Indistinguishability with Dependent

Popl 24 Mechanizing Refinement Types - Detailed Analysis & Overview

Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ... Parametric Subtyping for Structural Parametric Polymorphism (Video, Internalizing Indistinguishability with Dependent Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis (Video,

Photo Gallery

[POPL'24] Mechanizing Refinement Types

[POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and...

[PLMW@POPL'24] Refinement Types from Light to Deep Verification

[POPL 2021] Data Flow Refinement Type Inference (full)

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

[POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ...

[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism

[POPL'24] Polynomial Time and Dependent types

[POPL'24] Type-based Gradual Typing Performance Optimization

[POPL'24] Internalizing Indistinguishability with Dependent Types

[POPL'23] Conditional Contextual Refinement

[POPL'24] Soundly Handling Linearity

View Detailed Profile

[POPL'24] Mechanizing Refinement Types

[POPL'24] Mechanizing Refinement Types

Mechanizing Refinement Types

[POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and...

[POPL'24] Answer Refinement Modification: Refinement Type System for Algebraic Effects and...

Answer

[PLMW@POPL'24] Refinement Types from Light to Deep Verification

[PLMW@POPL'24] Refinement Types from Light to Deep Verification

[PLMW@

[POPL 2021] Data Flow Refinement Type Inference (full)

[POPL 2021] Data Flow Refinement Type Inference (full)

Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ...

[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

[POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ...

[POPL'24] Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in ...

Polymorphic Reachability

[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism

[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism

Parametric Subtyping for Structural Parametric Polymorphism (Video,

[POPL'24] Polynomial Time and Dependent types

[POPL'24] Polynomial Time and Dependent types

Polynomial Time and Dependent

[POPL'24] Type-based Gradual Typing Performance Optimization

[POPL'24] Type-based Gradual Typing Performance Optimization

Type

[POPL'24] Internalizing Indistinguishability with Dependent Types

[POPL'24] Internalizing Indistinguishability with Dependent Types

Internalizing Indistinguishability with Dependent

[POPL'23] Conditional Contextual Refinement

[POPL'23] Conditional Contextual Refinement

[

[POPL'24] Soundly Handling Linearity

[POPL'24] Soundly Handling Linearity

Soundly Handling Linearity (Video,

[POPL'24] Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis

[POPL'24] Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis

Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis (Video,