Research talks I've watched and enjoyed them. A few of them are available on this YouTube playlist.
- Adventures with Types in Haskell (1-4) by Simon Peyton Jones
- Bits of Advice For the VM Writer by Cliff Click @ VMSS16
- Collapsing Towers of Interpreters by Tiark Rompf @ POPL2018
- Compiling the Web – Building a Just-in-Time Compiler for JavaScript by Andreas Gal @ MSResearch 2008 😍
- Decoupling Algorithms from the Organization of Computation for High-Performance Graphics & Imaging by Jonathan Ragan-Kelley @ MSResearch 2016 😍
- Let's Take Machine Learning from Alchemy to Electricity by Ali Rahimi @ NIPS2017
- On Characterizing the Capacity of Neural Networks using Algebraic Topology by William Guss @ MSResearch 2018
- Stabilizer: Statistically Sound Performance Evaluation by Emery Berger @MSResearch 2013
- The Tensor Algebra Compiler by Fredrik Kjolstad @MSResearch 2017; TACO Compiler 😍
- Verifying Spatial Properties of Array Computations by Domonic Orchard @ OOPSLA 2017; CamFort
- Virtual Machine Warmup Blows Hot and Cold by Edd Barrett @ OOPSLA 2017; Krun 😍
- Category Theory for the Working Hacker by Philip Wadler @ Lambda World 2016
- "Propositions as Types" by Philip Wadler @ Strange Loop 2015
- The Resurgence of Software Performance Engineering by Charles E. Leiserson @MSResearch 2016
- How to Write a Great Research Paper by Simon Peyton Jones 😍
- MLIR: Multi-Level Intermediate Representation by T. Shpeisman & C. Lattner @ EuroLLVM 2019