Popl 26 A Relational Separation

Media Summary: Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment (Video, Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... Medium-scale automation for proof assistants (Video,

Popl 26 A Relational Separation - Detailed Analysis & Overview

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment (Video, Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: User-defined ... Medium-scale automation for proof assistants (Video, Probabilistic Programming with Vectorized Programmable Inference (Video, Asynchronous Probabilistic Couplings in Higher-Order Security Reasoning via Substructural Dependency Tracking (Video,

Hyperfunctions: Communicating Continuations (Video, The Relative Monadic Metalanguage (Video, Anindya Banerjee (IMDEA Software Institute) František Farka (IMDEA Software Institute, Spain) Germán Andrés Delbianco ...

Photo Gallery

[POPL'26] A Relational Separation Logic for Effect Handlers

[POPL'26] Réfectoire - POPL (Jan 15th)

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

[POPL'24] DisLog: A Separation Logic for Disentanglement

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

[POPL'26] Medium-scale automation for proof assistants

[POPL'26] Réfectoire - POPL (Jan 16th)

[POPL'26] Probabilistic Programming with Vectorized Programmable Inference

[POPL'24] Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

[POPL'26] Security Reasoning via Substructural Dependency Tracking

[POPL'24] Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-O...

[POPL'26] Horizons - Dafny (Jan 11th)

View Detailed Profile

[POPL'26] A Relational Separation Logic for Effect Handlers

[POPL'26] A Relational Separation Logic for Effect Handlers

A

[POPL'26] Réfectoire - POPL (Jan 15th)

[POPL'26] Réfectoire - POPL (Jan 15th)

Full program: https://popl26.sigplan.org/program/program-

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

[POPL'26] Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment

Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment (Video,

[POPL'24] DisLog: A Separation Logic for Disentanglement

[POPL'24] DisLog: A Separation Logic for Disentanglement

DisLog: A

[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'26] Medium-scale automation for proof assistants

[POPL'26] Medium-scale automation for proof assistants

Medium-scale automation for proof assistants (Video,

[POPL'26] Réfectoire - POPL (Jan 16th)

[POPL'26] Réfectoire - POPL (Jan 16th)

Full program: https://popl26.sigplan.org/program/program-

[POPL'26] Probabilistic Programming with Vectorized Programmable Inference

[POPL'26] Probabilistic Programming with Vectorized Programmable Inference

Probabilistic Programming with Vectorized Programmable Inference (Video,

[POPL'24] Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

[POPL'24] Asynchronous Probabilistic Couplings in Higher-Order Separation Logic

Asynchronous Probabilistic Couplings in Higher-Order

[POPL'26] Security Reasoning via Substructural Dependency Tracking

[POPL'26] Security Reasoning via Substructural Dependency Tracking

Security Reasoning via Substructural Dependency Tracking (Video,

[POPL'24] Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-O...

[POPL'24] Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-O...

Deadlock-Free

[POPL'26] Horizons - Dafny (Jan 11th)

[POPL'26] Horizons - Dafny (Jan 11th)

Full program: https://popl26.sigplan.org/program/program-

[POPL'22] Concurrent Incorrectness Separation Logic

[POPL'22] Concurrent Incorrectness Separation Logic

Concurrent Incorrectness

[POPL'26] Hyperfunctions: Communicating Continuations

[POPL'26] Hyperfunctions: Communicating Continuations

Hyperfunctions: Communicating Continuations (Video,

[POPL'26] The Relative Monadic Metalanguage

[POPL'26] The Relative Monadic Metalanguage

The Relative Monadic Metalanguage (Video,

[POPL'26] Typing Strictness

[POPL'26] Typing Strictness

Typing Strictness (Video,

[POPL'26] Salle 14 - RocqPL (Jan 17th)

[POPL'26] Salle 14 - RocqPL (Jan 17th)

Full program: https://popl26.sigplan.org/program/program-

[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full)

[POPL 2021] On Algebraic Abstractions for Concurrent Separation Logics (full)

Anindya Banerjee (IMDEA Software Institute) František Farka (IMDEA Software Institute, Spain) Germán Andrés Delbianco ...

[POPL'26] Local Contextual Type Inference

[POPL'26] Local Contextual Type Inference

Local Contextual Type Inference (Video,

Related Video Content

Popl | The GTM Platform for In-Person Lead Capture information

The In-Person GTM Platform for teams driving revenue from events & conferences. Scan badges, capture leads, enrich...

Popl - Click here to Login information

The #1 digital Business Card platform for teams and individuals

Digital Business Cards for Teams information

Create and manage digital business cards for your whole team. Capture leads, sync to your CRM, control company...

Popl Pricing (2026): Full Breakdown for Teams & Individuals information

Jan 20, 2026 · Popl Pricing review: exact monthly and annual costs for individuals and teams, plus Free, Pro, Pro+,...

Popl - Click here to Login information

The AI-powered lead capture & digital business card platform