Hallway Interaction at PLDI 2020

(4:4)

PLDI 2020 - Spoofax Tutorial Part 1 Introduction

(13:32)

PLMW@PLDI: Day 1

(2:8:49)

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 - Tool Talk: KLEE

(12:7)

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

(9:19:55)

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

(1:24:16)

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

(1:28:55)

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

(11:54:55)

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

(1:3:39)

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

(5:54:22)

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

(1:9:21)

[PLDI'24] Sweden - PLDI Research Papers (Jun 28th)

(4:55:)

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

(38:27)

The Future of Mathematics?

(1:14:48)

PLDI 2020 - SOAP - Explaining Bug Provenance with Trace Witnesses

(24:41)

How Virtual PLDI 2020 Will Work

(5:24)

PLDI 2020 - SOAP - Tool Talk: DOOP

(16:42)

PLDI 2020 - SOAP - Tool Talk: WALA

(16:13)

PLDI 2020 - SOAP - Tool Talk: CodeChecker

(13:37)

PLMW@PLDI: Day 1

(2:19:39)

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)