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

(25:21)

[POPL 2021] The (In)Efficiency of Interaction (full)

(21:18)

[POPL 2021] Keynote: \

(56:20)

[POPL 2021] Keynote: \

(1:11:4)

[POPL 2021] Verified Code Generation for the Polyhedral Model (full)

(23:1econd)

POPL 2021 Announcement

(6:18)

[POPL 2021] A Graded Dependent Type System with a Usage-Aware Semantics (full)

(31:6)

[POPL 2021] A Pre-Expectation Calculus for Probabilistic Sensitivity (full)

(29:9)

[POPL 2021] Robin Milner Award: Eran Yahav, talking about \

(1:36)

[POPL 2021] A Verified Optimizer for Quantum Circuits (full)

(28:30)

[POPL 2021] Transfinite Step-Indexing for Termination (full)

(25:43)

[POPL 2021] PADL

(1:31:41)

[POPL 2021] Asynchronous Effects (full)

(25:20)

Microsoft Research sponsors POPL 2021

(29:6)

[POPL 2021] Dijkstra Monads Forever (full)

(25:7)

[POPL 2021] CoqPL: Session with the Coq Development Team

(46:11)

[POPL 2021] Automatic Differentiation in PCF (full)

(29:59)