Algorithm Design Courses
ACM SIGPLAN via YouTube Merging Inductive Relations for Improved Program Specification
ACM SIGPLAN via YouTube Optimal Reads-From Consistency Checking for C11-Style Memory Models
ACM SIGPLAN via YouTube Explainable Program Synthesis by Localizing Specifications
ACM SIGPLAN via YouTube Regular Expression Matching using Bit Vector Automata
ACM SIGPLAN via YouTube APL in Research - Prototyping Software
Dyalog User Meetings via YouTube Greedy Method in Design and Analysis of Algorithms - Lecture 1
Sundeep Saradhi Kanthety via YouTube EfficientML.ai Lecture - Introduction to Efficient Machine Learning
MIT HAN Lab via YouTube EfficientML.ai Lecture - Introduction to Efficient Machine Learning
MIT HAN Lab via YouTube Machine Learning in the Optimization and Discovery Loop
Broad Institute via YouTube