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

(38:27)

[PLMW@PLDI24] A Tour of Program Optimization

(36:49)

[PLMW@PLDI24] Uncertainty and my scientific journey

(40:37)

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

(31:2)

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

(1:9:21)

[PLMW@PLDI24] A Tale of Shared Memory Concurrency in Programming Languages

(29:55)

[PLMW @ ICFP24] How to read a research paper

(49:38)

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

(1:28:55)

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

(5:54:22)

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

(1:24:16)

[PLMW@ICFP'23] How to Thrive as a PhD student in PL

(47:58)

[ICFP'24] Orange 3 - PLMW (Sep 2nd)

(8:22:17)

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

(9:3:56)

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

(1:12:51)

[PLDI'24] Sweden - PLDI Research Papers

(7:12:56)

[PLMW@POPL'24] Refinement Types from Light to Deep Verification

(45:39)

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

[PLMW @ ICFP24] My PhD Compass: 6 Ways to Guide a PhD Towards Success

(41:59)

[PLDI24] AI-Assisted Programming Today and Tomorrow

(1:12:7)

[PLDI24] Wavefront Threading Enables Effective High-Level Synthesis

(21:24)

[PLDI24] Foundational Integration Verification of a Cryptographic Server

(20:24)

PLMW@PLDI: Day 1

(2:8:49)

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

(20:28)

[PLDI24] SpEQ: Translation of Sparse Codes using Equivalences

(19:9)

[PLDI'24] Sweden - PLMW@PLDI (Jun 25th)

(11:54:55)

[PLDI24] V-Star: Learning Visibly Pushdown Grammars from Program Inputs

(23:18)

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

(1:3:39)