Popl 23 Conditional Contextual Refinement

Short Overview: Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... Tutorial on Iris, a modular foundation for higher-order concurrent separation logic.

Popl 23 Conditional Contextual Refinement -

Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... Tutorial on Iris, a modular foundation for higher-order concurrent separation logic.

Important details found

Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ...
Tutorial on Iris, a modular foundation for higher-order concurrent separation logic.

Why this topic is useful

This format is designed to help readers move from a broad question into more specific pages without losing context.

Frequently Asked Questions

What is this page about?

This page summarizes Popl 23 Conditional Contextual Refinement and connects it with related entries, references, and supporting context.

Is the information always complete?

Not always. Some topics may need verification from official or primary sources.

How should readers use this information?

Use it as a starting point, then open related pages for more specific details.

Reference Gallery

[POPL'23] Conditional Contextual Refinement

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

[POPL'23] A Compositional Theory of Linearizability

[POPL'23] DimSum: A Decentralized Approach to Multi-language Semantics and Verification

[ICFP'23] Explicit Refinement Types

[Session Previews @ POPL'23] Program Logics & Resources

[Session Previews @ POPL'23] Concurrency & Linearizability

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

Iris tutorial POPL 2021

[POPL'23] Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Ch...

View Full Details

[POPL'23] Conditional Contextual Refinement

[POPL'23] Conditional Contextual Refinement

Read more details and related context about [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

Read more details and related context about [POPL'23] CN: Verifying Systems C Code with Separation-Logic Refinement Types.

[POPL'23] A Compositional Theory of Linearizability

[POPL'23] A Compositional Theory of Linearizability

Read more details and related context about [POPL'23] A Compositional Theory of Linearizability.

[POPL'23] DimSum: A Decentralized Approach to Multi-language Semantics and Verification

[POPL'23] DimSum: A Decentralized Approach to Multi-language Semantics and Verification

Read more details and related context about [POPL'23] DimSum: A Decentralized Approach to Multi-language Semantics and Verification.

[ICFP'23] Explicit Refinement Types

[ICFP'23] Explicit Refinement Types

Read more details and related context about [ICFP'23] Explicit Refinement Types.

[Session Previews @ POPL'23] Program Logics & Resources

[Session Previews @ POPL'23] Program Logics & Resources

Read more details and related context about [Session Previews @ POPL'23] Program Logics & Resources.

[Session Previews @ POPL'23] Concurrency & Linearizability

[Session Previews @ POPL'23] Concurrency & Linearizability

Read more details and related context about [Session Previews @ POPL'23] Concurrency & Linearizability.

[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: User-defined ...

Iris tutorial POPL 2021

Iris tutorial POPL 2021

Tutorial on Iris, a modular foundation for higher-order concurrent separation logic. Recorded live at

[POPL'23] Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Ch...

[POPL'23] Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Ch...

Read more details and related context about [POPL'23] Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Ch....