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

(18:5)

[PLDI24] Program Analysis for Adaptive Data Analysis

(18:42)

[PLDI24] AI-Assisted Programming Today and Tomorrow

(1:12:7)

[PLMW@PLDI24] A Tour of Program Optimization

(36:49)

[PLDI24] Descend: A Safe GPU Systems Programming Language

(19:39)

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

(20:22)

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

(1:3:39)

[PLDI24] Live Verification in an Interactive Proof Assistant

(21:15)

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

(14:47)

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

(23:39)

[PLDI24] Foundational Integration Verification of a Cryptographic Server

(20:24)

[PLDI24] KATch: A Fast Symbolic Verifier for NetKAT

(17:26)

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

(16:11)

[PLDI24] [PLDI 2023] Program Reconditioning: Avoiding Undefined Behaviour When Finding and(…)

(18:54)

[PLDI24] Verified Extraction from Coq to OCaml

(20:54)

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

(21:5)

[PLDI24] GenSQL: A Probabilistic Programming System for Querying Generative Models of Database(…)

(20:28)

[PLDI24] Recursive Program Synthesis using Paramorphisms

(25:6)