Popl 26 Optimising Density Computations

Media Summary: Medium-scale automation for proof assistants (Video, Rows and Capabilities as Modal Effects (Video, Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment (Video,

Popl 26 Optimising Density Computations - Detailed Analysis & Overview

Medium-scale automation for proof assistants (Video, Rows and Capabilities as Modal Effects (Video, Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment (Video, Probabilistic Programming with Vectorized Programmable Inference (Video, Recent years have seen a resurgence of research on the shell, from The Relative Monadic Metalanguage (Video,

Extensible Data Types with Ad-Hoc Polymorphism (Video, Hyperfunctions: Communicating Continuations (Video,

Photo Gallery

[POPL'26] Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation

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

[POPL'26] Rows and Capabilities as Modal Effects

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

[POPL'26] Probabilistic Programming with Vectorized Programmable Inference

[POPL 2026] Tutorial: Analyzing Shell Scripts

[POPL'26] Typing Strictness

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

[POPL'26] Dortoirs - POPL (Jan 15th)

[POPL'26] The Relative Monadic Metalanguage

[POPL'26] Extensible Data Types with Ad-Hoc Polymorphism

[POPL'26] Salle 14 - PlanQC (Jan 12th)

View Detailed Profile

[POPL'26] Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation

[POPL'26] Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation

Optimising Density Computations

[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] Rows and Capabilities as Modal Effects

[POPL'26] Rows and Capabilities as Modal Effects

Rows and Capabilities as Modal Effects (Video,

[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'26] Probabilistic Programming with Vectorized Programmable Inference

[POPL'26] Probabilistic Programming with Vectorized Programmable Inference

Probabilistic Programming with Vectorized Programmable Inference (Video,

[POPL 2026] Tutorial: Analyzing Shell Scripts

[POPL 2026] Tutorial: Analyzing Shell Scripts

Recent years have seen a resurgence of research on the shell, from

[POPL'26] Typing Strictness

[POPL'26] Typing Strictness

Typing Strictness (Video,

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

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

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

[POPL'26] Dortoirs - POPL (Jan 15th)

[POPL'26] Dortoirs - POPL (Jan 15th)

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

[POPL'26] The Relative Monadic Metalanguage

[POPL'26] The Relative Monadic Metalanguage

The Relative Monadic Metalanguage (Video,

[POPL'26] Extensible Data Types with Ad-Hoc Polymorphism

[POPL'26] Extensible Data Types with Ad-Hoc Polymorphism

Extensible Data Types with Ad-Hoc Polymorphism (Video,

[POPL'26] Salle 14 - PlanQC (Jan 12th)

[POPL'26] Salle 14 - PlanQC (Jan 12th)

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

[POPL'26] Hyperfunctions: Communicating Continuations

[POPL'26] Hyperfunctions: Communicating Continuations

Hyperfunctions: Communicating Continuations (Video,