[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] How to read a PL-security paper

(38:27)

[PLMW@PLDI24] A Tour of Program Optimization

(36:49)

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

(11:54:55)

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

(29:55)

PLMW@PLDI: Day 1

(2:8:49)

PLMW@PLDI: Day 2

(5:6:39)

DÉJEUNER SPIRITUEL/ L'IMPORTANCE DE GARDER LA FOI.

(11:14)

[PLMW @ ICFP24] How to read a research paper

(49:38)

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

(1:24:16)

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

(5:54:22)

Jim Dowling - Function Calling for LLMs | PyData London 2024

(34:42)

[PLMW@ICFP'23] Getting Productive in Research

(44:55)

Jim Dowling - From zero to a working ML system with Python, free serverless services + FTI pipelines

(1:30:43)

Select ML from Databases [PyCon DE \u0026 PyData Berlin 2024]

(43:49)

Emeli Dral - Mind the language: how to monitor NLP and LLM in production | PyData Amsterdam 2023

(25:19)

I tried coding on my iPad for 7 days

(7:25)

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

(1:5:18)

PLMW@PLDI: Day 1

(2:19:39)

[PLMW @ ICFP24] Welcome

(6:55)

[PLDI24] Compiling Conditional Quantum Gates without Using Helper Qubits

(17:1econd)

[PLDI24] AI-Assisted Programming Today and Tomorrow

(1:12:7)

[PLMW @ ICFP24] Getting the Most Out of ICFP

(47:53)

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

(18:5)

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

(1:3:39)

PLMW@PLDI: Day 1

(46)

[PLDI24] Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in(…)

(22:7)

[PLDI24] Descend: A Safe GPU Systems Programming Language

(19:39)