[PLDI24] AI-Assisted Programming Today and Tomorrow

(1:12:7)

[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] Letting users do the undecidable: lessons from program synthesis

(31:2)

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

(16:59)

[PLDI24] A Verified Compiler for a Functional Tensor Language

(18:1econd)

[PLDI24] Daedalus: Safer Document Parsing

(21:)

[PLMW@PLDI24] Uncertainty and my scientific journey

(40:37)

PLMW@PLDI: Day 1

(2:8:49)

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

(38:27)

PILATUS PC24 D-CPTN TAKE OFF FROM FARNBOROUGH OFF TO COPENHAGEN 21-9-2024

(4:5)

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

(5:54:22)

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

(9:3:56)

[PLDI'24] Helsinki - PODELSKI (Jun 25th)

(9:19:55)

GATE 2026 Electrical Engineering: Ultimate Self-Study Strategy for your individual case

(9:24)

[PLDI'24] Finland/Norway - PLDI Research Papers

(7:20:43)

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

(4:20:46)

PLDI CAHR24: Advancing Inclusion and Cultural Safety

(8:57)

[PLDI24] Compilation of Modular and General Sparse Workspaces

(18:11)

[PLDI24] Automated Verification of Fundamental Algebraic Laws

(19:28)

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

(18:54)

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

(1:12:51)

[PLDI24] [PLDI 2023] CQS: A Formally-Verified Framework for Fair and Abortable Synchronization

(15:10)

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

(21:15)

[PLDI24] KATch: A Fast Symbolic Verifier for NetKAT

(17:26)

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

(16:11)

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

(1:5:18)

[PLDI24] Space-Efficient Polymorphic Gradual Typing, Mostly Parametric

(18:28)