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

(18:29)

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

(21:48)

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

(18:28)

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

(19:55)

[PLDI'23] Repairing Regular Expressions for Extraction

(16:42)

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

(17:44)

[PLMW@PLDI24] How to read a PL-security paper

(38:27)

Faisons des crêpes pour les licornes avec les lapins Lucky et MiniMi 🐰 Vlog famille pour enfants

(8:29)

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

(1:28:55)

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

(1:3:39)

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

(1:12:51)

[PLMW@PLDI24] Thoughts on the interplay between corporate, government, and university R\u0026D

(1:9:21)

[PLDI24] Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in(…)

(22:7)

[PLDI24] Wavefront Threading Enables Effective High-Level Synthesis

(21:24)

[PLMW@PLDI24] Uncertainty and my scientific journey

(40:37)

[SPARSE24] Design DSLs with xDSL

(21:33)

[PLDI'23] Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic

(19:10)

[PLDI'23] Type-Checking CRDT Convergence

(16:28)

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

(19:30)

[PLDI'23] HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption

(20:26)

[PLDI'23] Reliable Actors with Retry Orchestration

(18:29)

[PLDI'23] Compound Memory Models

(15:52)

[PLDI'23] Garbage-Collection Safety for Region-Based Type-Polymorphic Programs

(18:22)

[PLDI'23] Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations

(17:54)

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

(21:18)

[PLDI'23] Absynthe: Abstract Interpretation-Guided Synthesis

(20:29)

[PLDI'23] A Lineage-Based Referencing DSL for Computer-Aided Design

(18:19)

[PLDI'23] Taype: A Policy-Agnostic Language for Oblivious Computation

(19:40)