22:31AnyDSL: A Partial Evaluation Framework for Programming High-Performance LibrariesACM SIGPLAN1.6K viewsView & Download
0:00Session 1 - 2026 IDFPA Student and University World ChampionshipsInternational Drug Free Powerlifting Association0 viewsView & Download
9:48:24[PLDI'25] Grand Ball Room - Keynote | PLDI Research Papers | Award Ceremony (June 19th)ACM SIGPLAN1.5K viewsView & Download
9:34:35[PLDI'25] Grand Ball Room - PLDI Research Papers (June 18th)ACM SIGPLAN860 viewsView & Download
21:06[PLDI'25] Type-Constrained Code Generation with Language ModelsACM SIGPLAN262 viewsView & Download
11:22PLP 1.4-1.5: Compilation, interpretation, and environmentsJonathan Aldrich786 viewsView & Download
![[PLDI'25] Partial Evaluation, Whole-Program Compilation — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/S3ByUa1L5TM/mqdefault)
![[PEPM'23] Fast Cryptographic Code via Partial Evaluation — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/ovr9AfpbqhY/mqdefault)
![[PLDI'25] Grand Ball Room - Keynote | PLDI Research Papers | Award Ceremony (June 19th) — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/WB-PtB5bi98/mqdefault)
![[PLDI'25] Grand Ball Room - PLDI Research Papers (June 18th) — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/ubfPyMCvhXs/mqdefault)
![[PLDI'25] Programming by Navigation — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/H_F6epzaeBE/mqdefault)
![[PLDI'25] First-Class Verification Dialects for MLIR — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/KV1aV8W37wo/mqdefault)
![[PLDI'25] Type-Constrained Code Generation with Language Models — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/DaE0wRnRil0/mqdefault)
![[PLDI'25] Spineless Traversal for Layout Invalidation — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/FTOob7Ia1kQ/mqdefault)
![[PLDI'25] Practical Type Inference with Levels — ACM SIGPLAN — pldi25 partial evaluation whole program compilation YouTube to MP3 & MP4 download on TubeGalore](/api/image/u85Cv1oKdV4/mqdefault)
