[PLDI24] A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic(…)

(20:22)

[PLDI24] A Lightweight Polyglot Code Transformation Language

(18:41)

[PLDI24] A Verified Compiler for a Functional Tensor Language

(18:1econd)

[PLDI24] A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation

(21:15)

[PLDI24] A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite(…)

(17:9)

[PLDI24] A Proof Recipe for Linearizability in Relaxed Memory Separation Logic

(18:33)

[PLMW@PLDI24] A Tour of Program Optimization

(36:49)

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

(1:24:16)

[PLDI'24] Iceland - ISMM (Jun 25th)

(8:22:17)

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

(1:12:51)

[PLDI'24] Sweden - PLDI Research Papers

(7:12:56)

[PLDI'24] Iceland/Denmark - PLDI Research Papers (Jun 28th)

(5:54:22)

[PLDI'24] Finland/Norway - PLDI Research Papers (Jun 28th)

(4:50:21)

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

(1:3:39)

[PLDI'24] Stockholm - ARRAY (Jun 25th)

(9:3:56)

[PLMW@PLDI24] Uncertainty and my scientific journey

(40:37)

[PLDI'24] Iceland/Denmark - PLDI Research Papers

(6:45:25)

[PLDI24] Live Verification in an Interactive Proof Assistant

(21:15)

[PLDI24] Foundational Integration Verification of a Cryptographic Server

(20:24)

[PLDI24] KATch: A Fast Symbolic Verifier for NetKAT

(17:26)

[PLDI24] Daedalus: Safer Document Parsing

(21:)

[PLDI24] Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into(…)

(18:5)

[PLDI24] Descend: A Safe GPU Systems Programming Language

(19:39)

[PLDI24] Bringing the WebAssembly Standard up to Speed with SpecTec

(16:11)

[PLDI24] PL4XGL: A Programming Language Approach to Explainable Graph Learning

(14:47)

[PLDI24] IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly(…)

(21:5)

[PLDI24] Reward-Guided Synthesis of Intelligent Agents with Control Structures

(23:39)

[PLDI24] Input-Relational Verification of Deep Neural Networks

(17:16)