[PLDI24] Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior

(20:1econd)

[PLDI24] RefinedRust: A Type System for High-Assurance Verification of Rust Programs

(16:59)

[PLDI24] Much Still to Do in Compiler Verification (A Perspective from the CakeML Project)

(1:5:18)

[PLDI24] LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs

(17:2)

[PLDI24] AI-Assisted Programming Today and Tomorrow

(1:12:7)

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

(23:39)

[PLDI24] A Lightweight Polyglot Code Transformation Language

(18:41)

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

(21:15)

[PLMW@PLDI24] Letting users do the undecidable: lessons from program synthesis

(31:2)

[PLDI24] Quest Complete: The Holy Grail of Gradual Security

(21:42)

[PLDI24] Predictable Verification using Intrinsic Definitions

(18:50)

[PLDI24] Concurrent Immediate Reference Counting

(16:56)

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

(1:3:39)

[PLDI24] Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis

(40:6)

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

(17:9)

[PLDI24] Recursive Program Synthesis using Paramorphisms

(25:6)

[PLDI24] Scaling Type-Based Points-to Analysis with Saturation

(20:9)