PLMW@PLDI: Day 1

(2:8:49)

Hallway Interaction at PLDI 2020

(4:4)

PLDI 2020 - Spoofax Tutorial Part 1 Introduction

(13:32)

PLDI 2020 - SOAP - Keynote: Formal Reasoning and the Hacker Way

(1:27)

PLDI 2020 - SOAP - Tool Talk: Soufflé

(14:59)

PLDI 2020 - SOAP - TACAI: An Intermediate Representation based on Abstract Interpretation

(23:8)

PLDI 2020 - SOAP - Explaining Bug Provenance with Trace Witnesses

(24:41)

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

(1:24:16)

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

(1:3:39)

[PLDI24] Descend: A Safe GPU Systems Programming Language

(19:39)

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

(9:19:55)

The Future of Mathematics?

(1:14:48)

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

(1:28:55)

MAPL

(9:32:52)

Ask Me Anything with Doug Lea, hosted by Laurence Tratt

(38:26)

Programming a Warehouse-scale Computer - Luiz André Barroso

(1:5:44)

Ask Me Anything with Bjarne Stroustrup, hosted by John Regehr

(55:42)

PLMW@PLDI: Day 1

(2:19:39)

How Virtual PLDI 2020 Will Work

(5:24)

PLDI 2020 - SOAP - Tool Talk: KLEE

(12:7)

PLDI 2020 - SOAP - Tool Talk: WALA

(16:13)

PLDI 2020 - SOAP - Tool Talk: DOOP

(16:42)

PLDI 2020 - SOAP - Tool Talk: CodeChecker

(13:37)

PLDI 2020 - Declarative Language Definition with Spoofax Tutorial

(4:36:30)

Aetherling: Type-Directed Scheduling of Streaming Accelerators - PLDI 2020

(15:51)

Lean 4 @ PLDI 2020

(1:41:36)

PLDI 2020 - SOAP - Tool Talk: MagpieBridge

(16:15)