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

(25:21)

[POPL 2021] Keynote: \

(1:11:4)

[POPL 2021] CoqPL: Record Updates in Coq

(10:18)

[POPL 2021] PriSC

(3:37:1econd)

[POPL 2021] Keynote: \

(56:20)

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

(28:30)

POPL 2021 Announcement

(6:18)

[POPL 2021] Keynote: \

(1:1:46)

[POPL 2021] PADL

(1:31:41)

[POPL 2021] Welcome to Copenhagen, where everything's perfect, as it always is!

(13:44)

Iris tutorial POPL 2021

(1:16:)

\

(40:48)

egg: Fast and Extensible Equality Saturation

(29:57)

Granularity in Parallel Computing

(8:50)

Monads 2.0, aka Algebraic Effects: ExtensibleEffects.jl | Stephan Sahm | JuliaCon2021

(25:9)

Rocklin Cool Down 2021 B-Tier | MPO FINAL ROUND F9 LEAD | Hoop, Chezem, Lyon, Ling, Madruga

(22:21)

New and Improved Popl Band Unboxing and Review!! **MUST HAVE!!**

(5:32)

[POPL 2021] Context-Bounded Verification of Liveness for Multithreaded Shared-Memory Programs (full)

(26:21)

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

(29:9)

[POPL 2021] Paradoxes of probabilistic programming (full)

(23:58)

Microsoft Research sponsors POPL 2021

(29:6)

[POPL 2021] Abstracting Gradual Typing Moving Forward : Precise and Space-Efficient (full)

(19:27)

[POPL'25] Marco Polo - POPL II (24th Jan)

(8:56:51)

[POPL 2021] CoqPL: Automated Synthesis of Verified Firewalls

(12:17)

[POPL 2021] Semantics-Guided Synthesis (full)

(29:45)

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

(23:45)