[POPL'22] Software Model-Checking as Cyclic-Proof Search

(26:37)

[POPL'22] A Cost-Aware Logical Framework

(22:52)

[POPL'22] Type-Level Programming with Match Types

(23:8)

[POPL'22] Gradualizing the Calculus of Inductive Constructions

(23:32)

[POPL'22] Tutorial: Data-driven program analysis

(59:21)

[POPL'22] Coalgebra for the working programming languages researcher

(58:14)

[POPL'22] A Separation Logic for Heap Space under Garbage Collection

(18:45)

[POPL'22] Logarithm and Program Testing

(23:15)

[POPL'22] Semantics for Variational Quantum Programming

(23:58)

Classical music - In The Wind - Marlow Singh - Blue Music Playlist for you to listen

(1:2:16)

8eme de coupe de France Frejus vs Bourbon Lancy TAT Rocher vs Desport et Verzeaux vs Rizzi

(56:21)

NAMM 2025 : TOUUUUTES les nouvelles PÉDALES

(55:13)

[POPL'22] TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Pr

(24:19)

AI-Powered Viral Clips – 100% Automated, No Editing!

(1:10:9)

Why Pneumatic Nail Guns Outperform Cordless Every Time!

(17:1econd)

Christmas Day 2024 | Balloon Pop for the Holidays | MERRY CHRISTMAS | BTP

(39)

[WITS'22] Make Three To Throw Away: Frontiers in Homotopical Proof Assistants

(48:33)

[POPL'22] Panel 2: The Future of Concurrency and Parallelism

(1:59)

What is Codex Sinaiticus?

(9:57)

[POPL'22] Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs

(19:42)

[POPL'22] PRIMA: General and Precise Neural Network Certification via Scalable Convex Hull

(23:9)

[POPL'22] A Quantum Interpretation of Separating Conjunction for Local Reasoning of Quantu

(20:7)

[POPL'22] Oblivious Algebraic Data Types

(22:34)

[POPL'22] Certifying Derivation of State Machines from Coroutines

(17:52)

[POPL'22] Safe, Modular Packet Pipeline Programming

(28:7)

[POPL'22] Relational E-matching

(25:50)

[POPL'22] Dependently-Typed Data Plane Programming

(21:41)

[POPL'22] A Relational Theory of Effects and Coeffects

(24:36)

[POPL'22] Moebius: Metaprogramming using Contextual Types

(22:29)

[POPL'25] Peek A Boo - POPL I (22nd Jan)

(9:31:12)