1:05:4150 Years of Programming and Language Design
A 66-minute video from ACM SIGPLAN: “50 Years of Programming and Language Design”.
ACM SIGPLAN
11.5K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
1:05:41
16:40A Big Step from Finite to Infinite Computations
A 17-minute video from ACM SIGPLAN: “A Big Step from Finite to Infinite Computations”.
16:09A Case Study in Language-Based Security: Building an I/O Library for Wyvern
A 16-minute video from ACM SIGPLAN: “A Case Study in Language-Based Security: Building an I/O Library for Wyvern”.
23:38A CompCert Compiler that Preserves Cryptographic Constant-time
A 24-minute video from ACM SIGPLAN: “A CompCert Compiler that Preserves Cryptographic Constant-time”.
20:54A Complete Formal Semantics of x86-64 User Level Instruction Set Architecture
A 21-minute video from ACM SIGPLAN: “A Complete Formal Semantics of x86-64 User Level Instruction Set Architecture”.
14:59A Concurrency Model for JavaScript with Cooperative Cancellation
A 15-minute video from ACM SIGPLAN: “A Concurrency Model for JavaScript with Cooperative Cancellation”.
21:39A Constructive Formalization of the Weak Perfect Graph Theorem
A 22-minute video from ACM SIGPLAN: “A Constructive Formalization of the Weak Perfect Graph Theorem”.
30:53A Coq Library of Undecidable Problems
A 31-minute video from ACM SIGPLAN: “A Coq Library of Undecidable Problems”.
14:50A DSL for Explanatory Decision Making
A 15-minute video from ACM SIGPLAN: “A DSL for Explanatory Decision Making”.
13:36A Derivative-based Parser Generator for Visibly Pushdown Grammars
A 14-minute video from ACM SIGPLAN: “A Derivative-based Parser Generator for Visibly Pushdown Grammars”.
12:31A Dictionary-Passing Translation of Featherweight Go
A 13-minute video from ACM SIGPLAN: “A Dictionary-Passing Translation of Featherweight Go”.
15:27A Domain-Specific Language for Filtering in Application-Level Gateways
A 15-minute video from ACM SIGPLAN: “A Domain-Specific Language for Filtering in Application-Level Gateways”.
12:44A Family of Languages for Trustworthy Agent-Based Simulation
A 13-minute video from ACM SIGPLAN: “A Family of Languages for Trustworthy Agent-Based Simulation”.
19:59A Fast Analytical Model of Fully Associative Caches
A 20-minute video from ACM SIGPLAN: “A Fast Analytical Model of Fully Associative Caches”.
21:24A Fault-Tolerant Programming Model for Distributed Interactive Applications
A 21-minute video from ACM SIGPLAN: “A Fault-Tolerant Programming Model for Distributed Interactive Applications”.
18:47A Flexible Type System for Fearless Concurrency
A 19-minute video from ACM SIGPLAN: “A Flexible Type System for Fearless Concurrency”.
23:00A Formalization of Java’s Concurrent Access Modes
A 23-minute video from ACM SIGPLAN: “A Formalization of Java’s Concurrent Access Modes”.
15:22A Framework for Resource Dependent EDSLs in a Dependently Typed Language
A 15-minute video from ACM SIGPLAN: “A Framework for Resource Dependent EDSLs in a Dependently Typed Language”.
21:47A Functional Proof Pearl: Inverting the Ackermann Heirarchy
A 22-minute video from ACM SIGPLAN: “A Functional Proof Pearl: Inverting the Ackermann Heirarchy”.
18:36A GHC-Plugin to Compile Effectful Languages (Finalist Talk)
A 19-minute video from ACM SIGPLAN: “A GHC-Plugin to Compile Effectful Languages (Finalist Talk)”.
14:33A General Approach to Define Binders Using Matching Logic (ICFP 2020)
A 15-minute video from ACM SIGPLAN: “A General Approach to Define Binders Using Matching Logic (ICFP 2020)”.
24:11A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)
A 24-minute video from ACM SIGPLAN: “A Graded Monad for Deadlock-Free Concurrency (Functional Pearl)”.
19:25A Language Feature to Unbundle Data at Will
A 19-minute video from ACM SIGPLAN: “A Language Feature to Unbundle Data at Will”.
21:17A Language for Probabilistically Oblivious Computation
A 21-minute video from ACM SIGPLAN: “A Language for Probabilistically Oblivious Computation”.
15:39A Large-Scale Longitudinal Study of Flaky Tests
A 16-minute video from ACM SIGPLAN: “A Large-Scale Longitudinal Study of Flaky Tests”.
18:53A Library Modeling Language for the Static Analysis of C Programs
A 19-minute video from ACM SIGPLAN: “A Library Modeling Language for the Static Analysis of C Programs”.
20:18A Low-Latency Garbage Collector for GHC (Demo) Haskell 2020
A 20-minute video from ACM SIGPLAN: “A Low-Latency Garbage Collector for GHC (Demo) Haskell 2020”.
16:54A Marriage of Pointer and Epoch Based Reclamation
A 17-minute video from ACM SIGPLAN: “A Marriage of Pointer and Epoch Based Reclamation”.
23:13A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference
A 23-minute video from ACM SIGPLAN: “A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference”.
15:43A Model for Detecting Faults in Build Specifications
A 16-minute video from ACM SIGPLAN: “A Model for Detecting Faults in Build Specifications”.
14:58A Modular Cost Analysis for Probabilistic Programs
A 15-minute video from ACM SIGPLAN: “A Modular Cost Analysis for Probabilistic Programs”.
13:44A Multi-Language Static Analysis of Python Programs with Native C Extensions
A 14-minute video from ACM SIGPLAN: “A Multi-Language Static Analysis of Python Programs with Native C Extensions”.
14:51A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming
A 15-minute video from ACM SIGPLAN: “A Multiparty Session Typing Discipline for Fault-tolerant Event-driven Distributed Programming”.
1:14:06A New Approach for Software Correctness and Reliability
A 74-minute video from ACM SIGPLAN: “A New Approach for Software Correctness and Reliability”.
24:46A Path to DOT: Formalizing Fully Path-Dependent Types
A 25-minute video from ACM SIGPLAN: “A Path to DOT: Formalizing Fully Path-Dependent Types”.
15:36A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Gramm
A 16-minute video from ACM SIGPLAN: “A Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Gramm”.