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

(21:48)

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

(18:29)

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

(19:55)

[PLDI'23] Repairing Regular Expressions for Extraction

(16:42)

[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

(1:24:16)

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

(1:12:51)

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

(18:34)

[PLDI24] Compilation of Modular and General Sparse Workspaces

(18:11)

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

(1:9:21)

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

(52:29)

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

(38:27)

[PLDI24] Associated Effects: Flexible Abstractions for Effectful Programming

(18:50)

[PLDI'23] Type-Checking CRDT Convergence

(16:28)

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

(19:10)

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

(17:44)

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

(20:11)

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

(19:30)

[PLDI'23] Compound Memory Models

(15:52)

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

(19:40)

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

(17:54)

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

(20:29)

[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] Extensible Metatheory Mechanization via Family Polymorphism

(19:18)

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

(21:18)

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

(18:28)