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

(19:30)

[PLDI'23] Loop Rerolling for Hardware Decompilation

(18:49)

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

(14:13)

[PLDI'23] CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract(…)

(21:12)

[PLDI'23] Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece(…)

(16:49)

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

(1:24:16)

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

(1:12:51)

[PLMW@PLDI24] Uncertainty and my scientific journey

(40:37)

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

(1:9:21)

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

(1:3:39)

[PLMW@PLDI24] A Tour of Program Optimization

(36:49)

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

(38:27)

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

(52:29)

[PLDI24] Descend: A Safe GPU Systems Programming Language

(19:39)

[PLDI24] Compiling with Abstract Interpretation

(17:44)

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

(19:10)

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

(21:48)

[PLDI'23] Register Tiling for Unstructured Sparsity in Neural Network Inference

(15:51)

[PLDI'23] Architecture-Preserving Provable Repair of Deep Neural Networks

(20:41)

[PLDI'23] Iris-Wasm: Robust and Modular Verification of WebAssembly Programs

(16:8)

[PLDI'23] VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating(…)

(18:4)

[PLDI'23] cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA(…)

(22:31)

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

(19:18)

[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)

[PLDI'23] Incremental Verification of Neural Networks

(20:8)

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

(19:55)

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

(17:44)