[PLDI'23] An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits

(18:28)

[PLDI'23] Conflict-Driven Synthesis for Layout Engines

(21:48)

[PLDI'23] Psym: Efficient Symbolic Exploration of Distributed Systems

(18:29)

[PLDI'23] Incremental Verification of Neural Networks

(20:8)

[PLDI'23] PureCake: A Verified Compiler for a Lazy Functional Language

(16:49)

[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes (Jun 27th)

(1:28:55)

[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes

(1:24:16)

[PLMW@PLDI24] Uncertainty and my scientific journey

(40:37)

Jiang et al. - Automated Machine Learning \u0026 Tuning with FLAML | PyData Seattle 2023

(1:21:54)

[PLDI24] The Future of Fast Code: Giving Hardware What It Wants

(1:3:39)

[PLDI'23] Mosaic: An Interoperable Compiler for Tensor Algebra

(18:34)

[PLDI24] Compilation of Modular and General Sparse Workspaces

(18:11)

Ask Me Anything with Bjarne Stroustrup, hosted by John Regehr

(55:42)

Ask Me Anything with Simon Peyton Jones, hosted by Benjamin Pierce

(52:29)

[PLDI24] [TOPLAS] Choral: Object-Oriented Choreographic Programming

(20:17)

[PLDI'23] Search-Based Regular Expression Inference on a GPU

(20:11)

[PLDI'23] Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise(…)

(21:18)

[PLDI'23] Recursive State Machine Guided Graph Folding for Context-Free Language Reachability

(14:57)

[PLDI'23] Performal: Formal Verification of Latency Properties for Distributed Systems

(19:55)

[PLDI'23] A Type System for Safe Intermittent Computing

(19:30)

[PLDI'23] Fair Operational Semantics

(19:40)

[PLDI'23] Automated Expected Value Analysis of Recursive Programs

(16:41)

[PLDI'23] Repairing Regular Expressions for Extraction

(16:42)

[PLDI'23] Dynamic Partial Order Reduction for Checking Correctness Against Transaction Isolation(…)

(16:22)

[PLDI'23] Type-Checking CRDT Convergence

(16:28)

[PLDI'23] Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

(19:18)

[PLDI'23] Cutting the Cake: A Language for Fair Division

(17:44)

[PLDI'23] Obtaining Information Leakage Bounds via Approximate Model Counting

(14:13)