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
- 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