Popl 2021 Data Flow Refinement

Media Summary: Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ... Steven Ramsay (University of Bristol) Eddie Jones (University of Bristol) Paper: The ... Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ...

Popl 2021 Data Flow Refinement - Detailed Analysis & Overview

Thomas Wies (New York University, USA) Zvonimir Pavlinovic (Google, USA) Yusen Su (New York University, University of ... Steven Ramsay (University of Bristol) Eddie Jones (University of Bristol) Paper: The ... Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... Yuanbo Li (Georgia Institute of Technology, USA) Qirun Zhang (Georgia Institute of Technology, USA) Thomas Reps (University of ... In our 6/18/21 episode of the livestream, Professor Ranjit Jhala and PhD student Nico Lehmann from UC San Diego join ...

Photo Gallery

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

[POPL 2021] Intensional Datatype Refinement (full)

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

Refinement of Path Expressions for Static Analysis

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

[POPL'24] Mechanizing Refinement Types

[POPL 2021] A Separation Logic for Effect Handlers (full)

[POPL'23] Conditional Contextual Refinement

[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types

[POPL 2021] CoqPL: Verifying a compiler through equational means

An Introduction to Refinement Types

[POPL 2021] On the Complexity of Bidirected Interleaved Dyck-Reachability (full)

View Detailed Profile

[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 2021] Intensional Datatype Refinement (full)

[POPL 2021] Intensional Datatype Refinement (full)

Steven Ramsay (University of Bristol) Eddie Jones (University of Bristol) Paper: https://dl.acm.org/doi/pdf/10.1145/3434336 The ...

[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

Refinement of Path Expressions for Static Analysis

Refinement of Path Expressions for Static Analysis

Paper and supplementary material: ...

[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

[POPL'24] Mechanizing Refinement Types

[POPL'24] Mechanizing Refinement Types

Mechanizing

[POPL 2021] A Separation Logic for Effect Handlers (full)

[POPL 2021] A Separation Logic for Effect Handlers (full)

Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: https://dl.acm.org/doi/pdf/10.1145/3434314 User-defined ...

[POPL'23] Conditional Contextual Refinement

[POPL'23] Conditional Contextual Refinement

[

[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types

[POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types

[

[POPL 2021] CoqPL: Verifying a compiler through equational means

[POPL 2021] CoqPL: Verifying a compiler through equational means

Yannick Zakowski, INRIA ...

An Introduction to Refinement Types

An Introduction to Refinement Types

Ranjit Jhala.

[POPL 2021] On the Complexity of Bidirected Interleaved Dyck-Reachability (full)

[POPL 2021] On the Complexity of Bidirected Interleaved Dyck-Reachability (full)

Yuanbo Li (Georgia Institute of Technology, USA) Qirun Zhang (Georgia Institute of Technology, USA) Thomas Reps (University of ...

#PLTalk: Refinement Types for Secure Web Applications

#PLTalk: Refinement Types for Secure Web Applications

In our 6/18/21 episode of the #PLTalk livestream, Professor Ranjit Jhala and PhD student Nico Lehmann from UC San Diego join ...