Filters
Upload date
Any date
Last Hour
Today
This week
This month
This year
Duration
Any duration
Short (< 4 minutes)
Long (> 20 minutes)
Medium (4 - 20 minutes)
Sort By
Relevance
Rating
Upload Date
View count
Apply!
Videos
Web
Watch :3
01:24:16
[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes
1.4K views
•
1 month ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
06:45:25
[PLDI'24] Iceland/Denmark - PLDI Research Papers
433 views
•
1 month ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
01:28:55
[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes (Jun 27th)
568 views
•
1 month ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
17:17
[PLDI'23] Scallop: A Language for Neurosymbolic Programming
179 views
•
3 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
03:22
This is Still PLDI
14K views
•
4 years ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
04:55:00
[PLDI'24] Sweden - PLDI Research Papers (Jun 28th)
370 views
•
1 month ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
03:38
Pure Implementation -- Official Song of PLDI 2021
5.1K views
•
3 years ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
01:12:51
[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes (Jun 28th)
446 views
•
1 month ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
07:12:55
[PLDI'24] Sweden - PLDI Research Papers
679 views
•
1 month ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
20:07
[PLDI'23] Verified Density Compilation for a Probabilistic Programming Language
19 views
•
3 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
18:32
[PLDI'23] Covering All the Bases: Type-Based Verification of Test Input Generators
50 views
•
3 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
18:28
[PLDI'23] An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits
60 views
•
3 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
01:00
Provably Correct Peephole Optimizations with Alive (PLDI '15)
1.3K views
•
7 years ago
Microsoft Research
Download
Open on YouTube :/
Watch :3
18:29
[PLDI'23] Psym: Efficient Symbolic Exploration of Distributed Systems
38 views
•
3 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
23:30
[PLDI'23] Cakes That Bake Cakes: Dynamic Computation in CakeML
91 views
•
3 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
18:29
[PLDI'23] Reliable Actors with Retry Orchestration
40 views
•
3 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
17:54
[PLDI'23] Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
29 views
•
3 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
01:09:47
Business Meeting - PLDI 2022
151 views
•
2 years ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
40:37
[PLMW@PLDI24] Uncertainty and my scientific journey
440 views
•
4 weeks ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
01:00
Aetherling Video Abstract - PLDI 2020
22 views
•
4 years ago
David Durst
Download
Open on YouTube :/
Next Page