1:32:31A Programmer's View of Shared and Distributed Memory Architectures - Keshav Pingali - OPLSS 2018
A 93-minute video from OPLSS: “A Programmer's View of Shared and Distributed Memory Architectures - Keshav Pingali - OPLSS 2018”.
OPLSS
3.61K 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:32:31
1:33:03Bluespec System Verilog: A Language for Hardware Design - Arvind - OPLSS 2018
A 93-minute video from OPLSS: “Bluespec System Verilog: A Language for Hardware Design - Arvind - OPLSS 2018”.
1:23:51Bluespec System Verilog: Concurrency and Semantics - Arvind - OPLSS 2018
A 84-minute video from OPLSS: “Bluespec System Verilog: Concurrency and Semantics - Arvind - OPLSS 2018”.
1:24:06Coalgebraic Semantics [1/4] - Alexandra Silva - OPLSS 2019
A 84-minute video from OPLSS: “Coalgebraic Semantics [1/4] - Alexandra Silva - OPLSS 2019”.
1:27:32Coalgebraic Semantics [2/4] - Alexandra Silva - OPLSS 2019
A 88-minute video from OPLSS: “Coalgebraic Semantics [2/4] - Alexandra Silva - OPLSS 2019”.
1:08:17Coalgebraic Semantics [3/4] - Alexandra Silva - OPLSS 2019
A 68-minute video from OPLSS: “Coalgebraic Semantics [3/4] - Alexandra Silva - OPLSS 2019”.
1:10:05Coalgebraic Semantics [4/4] - Alexandra Silva - OPLSS 2019
A 70-minute video from OPLSS: “Coalgebraic Semantics [4/4] - Alexandra Silva - OPLSS 2019”.
1:25:20Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
A 85-minute video from OPLSS: “Computational Type Theory [1/5] - Robert Harper - OPLSS 2018”.
1:15:33Computational Type Theory [2/5] - Robert Harper - OPLSS 2018
A 76-minute video from OPLSS: “Computational Type Theory [2/5] - Robert Harper - OPLSS 2018”.
1:20:17Computational Type Theory [3/5] - Robert Harper - OPLSS 2018
A 80-minute video from OPLSS: “Computational Type Theory [3/5] - Robert Harper - OPLSS 2018”.
1:13:09Computational Type Theory [4/5] - Robert Harper - OPLSS 2018
A 73-minute video from OPLSS: “Computational Type Theory [4/5] - Robert Harper - OPLSS 2018”.
1:25:29Computational Type Theory [5/5] - Robert Harper - OPLSS 2018
A 85-minute video from OPLSS: “Computational Type Theory [5/5] - Robert Harper - OPLSS 2018”.
1:19:35Contracts and Gradual Types 1- Sam Tobin-Hochstadt - OPLSS 2017
A 80-minute video from OPLSS: “Contracts and Gradual Types 1- Sam Tobin-Hochstadt - OPLSS 2017”.
1:29:45Contracts and Gradual Types 2 - Sam Tobin-Hochstadt - OPLSS 2017
A 90-minute video from OPLSS: “Contracts and Gradual Types 2 - Sam Tobin-Hochstadt - OPLSS 2017”.
1:16:17Contracts and Gradual Types 3 - Sam Tobin-Hochstadt - OPLSS 2017
A 76-minute video from OPLSS: “Contracts and Gradual Types 3 - Sam Tobin-Hochstadt - OPLSS 2017”.
1:21:46Contracts and Gradual Types 4 - Sam Tobin-Hochstadt - OPLSS 2017
A 82-minute video from OPLSS: “Contracts and Gradual Types 4 - Sam Tobin-Hochstadt - OPLSS 2017”.
1:41:14Correct and Secure Compilation for Multi-Language Software 1 - Amal Ahmed - OPLSS 2017
A 101-minute video from OPLSS: “Correct and Secure Compilation for Multi-Language Software 1 - Amal Ahmed - OPLSS 2017”.
1:30:03Correct and Secure Compilation for Multi-Language Software 2 - Amal Ahmed - OPLSS 2017
A 90-minute video from OPLSS: “Correct and Secure Compilation for Multi-Language Software 2 - Amal Ahmed - OPLSS 2017”.
1:38:36Correct and Secure Compilation for Multi-Language Software 3 - Amal Ahmed - OPLSS 2017
A 99-minute video from OPLSS: “Correct and Secure Compilation for Multi-Language Software 3 - Amal Ahmed - OPLSS 2017”.
1:22:46Correct and Secure Compilation for Multi-Language Software 4 - Amal Ahmed - OPLSS 2017
A 83-minute video from OPLSS: “Correct and Secure Compilation for Multi-Language Software 4 - Amal Ahmed - OPLSS 2017”.
1:31:26Data-Centric Abstractions and Operator Formulation of Algorithms - Keshav Pingali - OPLSS 2018
A 91-minute video from OPLSS: “Data-Centric Abstractions and Operator Formulation of Algorithms - Keshav Pingali - OPLSS 2018”.
1:17:25Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017
A 77-minute video from OPLSS: “Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017”.
1:18:30Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017
A 78-minute video from OPLSS: “Dependent Types in the Idris Programming Language 2 - Edwin Brady - OPLSS 2017”.
1:24:30Dependent Types in the Idris Programming Language 3 - Edwin Brady - OPLSS 2017
A 84-minute video from OPLSS: “Dependent Types in the Idris Programming Language 3 - Edwin Brady - OPLSS 2017”.
1:20:54Dependent Types in the Idris Programming Language 4 - Edwin Brady - OPLSS 2017
A 81-minute video from OPLSS: “Dependent Types in the Idris Programming Language 4 - Edwin Brady - OPLSS 2017”.
1:22:12Designing a Programming Language - Andrej Bauer - OPLSS 2018
A 82-minute video from OPLSS: “Designing a Programming Language - Andrej Bauer - OPLSS 2018”.
1:14:44Empowering Spreadsheet Users with Probabilistic Programming [1/3] - Andrew Gordon - OPLSS 2019
A 75-minute video from OPLSS: “Empowering Spreadsheet Users with Probabilistic Programming [1/3] - Andrew Gordon - OPLSS 2019”.
1:15:18Empowering Spreadsheet Users with Probabilistic Programming [2/3] - Andrew Gordon - OPLSS 2019
A 75-minute video from OPLSS: “Empowering Spreadsheet Users with Probabilistic Programming [2/3] - Andrew Gordon - OPLSS 2019”.
1:20:57Empowering Spreadsheet Users with Probabilistic Programming [3/3] - Andrew Gordon - OPLSS 2019
A 81-minute video from OPLSS: “Empowering Spreadsheet Users with Probabilistic Programming [3/3] - Andrew Gordon - OPLSS 2019”.
1:17:56Foundations of Programming Languages - Binding and Static Scope- Paul Downen - OPLSS 2018
A 78-minute video from OPLSS: “Foundations of Programming Languages - Binding and Static Scope- Paul Downen - OPLSS 2018”.
1:38:10Foundations of Programming Languages - Dynamic Semantics - Jan Hoffmann - OPLSS 2018
A 98-minute video from OPLSS: “Foundations of Programming Languages - Dynamic Semantics - Jan Hoffmann - OPLSS 2018”.
1:35:18Foundations of Programming Languages - Reducibility - STλC - Paul Downen - OPLSS 2018
A 95-minute video from OPLSS: “Foundations of Programming Languages - Reducibility - STλC - Paul Downen - OPLSS 2018”.
1:21:13Foundations of Programming Languages - Static Semantics - Jan Hoffmann - OPLSS 2018
A 81-minute video from OPLSS: “Foundations of Programming Languages - Static Semantics - Jan Hoffmann - OPLSS 2018”.
20:18Foundations of Programming Languages: Bounded Implementations - Jan Hoffmann - OPLSS 2018
A 20-minute video from OPLSS: “Foundations of Programming Languages: Bounded Implementations - Jan Hoffmann - OPLSS 2018”.
1:18:44Foundations of Programming Languages: Cost Semantics of Parallelism - Jan Hoffmann - OPLSS 2018
A 79-minute video from OPLSS: “Foundations of Programming Languages: Cost Semantics of Parallelism - Jan Hoffmann - OPLSS 2018”.
1:34:28Foundations of Programming Languages: Finite Data Structures - Jan Hoffmann - OPLSS 2018
A 94-minute video from OPLSS: “Foundations of Programming Languages: Finite Data Structures - Jan Hoffmann - OPLSS 2018”.