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

(21:48)

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

(17:44)

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

(18:29)

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

(19:30)

[PLDI'23] Reliable Actors with Retry Orchestration

(18:29)

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

(18:28)

[PLDI'23] Verified Density Compilation for a Probabilistic Programming Language

(20:7)

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

(1:24:16)

[PLMW@PLDI24] Uncertainty and my scientific journey

(40:37)

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

(1:3:39)

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

(1:9:21)

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

(38:27)

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

(18:34)

[PLDI24] Stream Types

(24:40)

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

(1:12:51)

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

(52:29)

[PLDI'23] Probabilistic Programming with Stochastic Probabilities

(20:10)

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

(20:29)

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

(16:49)

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

(19:55)

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

(20:26)

[PLDI'23] Fair Operational Semantics

(19:40)

[PLDI'23] Incremental Verification of Neural Networks

(20:8)

[PLDI'23] Repairing Regular Expressions for Extraction

(16:42)

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

(18:19)

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

(18:22)

[PLDI'23] Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics

(18:32)

[PLDI'23] Type-Checking CRDT Convergence

(16:28)