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:12:51
[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes (Jun 28th)
503 views
•
2 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
01:24:16
[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes
1.5K views
•
2 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
01:28:55
[PLDI'24] Norway/Finland/Sweden - PLDI Keynotes (Jun 27th)
588 views
•
2 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
06:45:25
[PLDI'24] Iceland/Denmark - PLDI Research Papers
446 views
•
2 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
23:30
[PLDI'23] Cakes That Bake Cakes: Dynamic Computation in CakeML
96 views
•
4 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
18:29
[PLDI'23] Psym: Efficient Symbolic Exploration of Distributed Systems
40 views
•
4 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
07:12:55
[PLDI'24] Sweden - PLDI Research Papers
699 views
•
2 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
04:55:00
[PLDI'24] Sweden - PLDI Research Papers (Jun 28th)
382 views
•
2 months 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
17:17
[PLDI'23] Scallop: A Language for Neurosymbolic Programming
202 views
•
4 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
20:07
[PLDI'23] Verified Density Compilation for a Probabilistic Programming Language
25 views
•
4 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
18:22
[PLDI'23] Garbage-Collection Safety for Region-Based Type-Polymorphic Programs
55 views
•
4 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
61 views
•
4 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
53 views
•
4 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
19:50
[PLDI'23] Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning
9 views
•
4 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
01:00
Provably Correct Peephole Optimizations with Alive (PLDI '15)
1.3K views
•
7 years ago
Microsoft Research
Download
Open on YouTube :/
Watch :3
17:54
[PLDI'23] Don't Look UB: Exposing Sanitizer-Eliding Compiler Optimizations
29 views
•
4 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
18:29
[PLDI'23] Reliable Actors with Retry Orchestration
41 views
•
4 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Watch :3
20:00
[PLDI'23] Modular Hardware Design with Timeline Types
155 views
•
4 months ago
ACM SIGPLAN
Download
Open on YouTube :/
Next Page