[POPL'23] The Path to Durable Linearizability

(24:44)

[POPL'23] Welcome to POPL'23

(6:57)

[POPL'25] Marco Polo - POPL II (23rd Jan)

(8:23:27)

Totoo nga ang Pinangako sa akin ng Boss ko na Taas Sahod

(31:29)

OOPSLA Conference: Growing a Language

(54:12)

New Popl Band Review!! Will it replace business cards?!

(9:19)

Popl App Tutorial

(9:45)

Popl VS Dot VS Linq!! (In Depth Comparison) *WHICH IS BEST??*

(18:14)

NEW Popl Card Unboxing \u0026 Review!! **NEW BUSINESS CARD**

(8:13)

NEW Metal Popl Card Unboxing \u0026 Review!! **MUST HAVE**

(9:58)

[POPL'25] Peek A Boo - POPL I (23rd Jan)

(8:24:1econd)

[POPL'23] You Only Linearize Once: Tangents Transpose to Gradients

(24:48)

[POPL'23] Principles of Persistent Programming

(1:3:21)

[POPL'23] Conditional Contextual Refinement

(24:29)

[POPL'23] A Partial Order View of Message-Passing Communication Models

(21:48)

[Session Previews @ POPL'23] Relational \u0026 Automated Verification

(8:38)

[POPL'23] An Order-Theoretic Analysis of Universe Polymorphism

(23:43)

[PLMW @ POPL'23] How (not) to give a great research talk

(39:22)

[Session Previews @ POPL'23] Formal Methods in Compilation \u0026 Implementation

(8:51)

[Session Previews @ POPL'23] Automated Verification

(9:59)

[POPL'23] On the Expressive Power of String Constraints

(27:33)

[POPL'23] Panel: Next 50 Years of POPL

(1:2:45)

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

(24:3)