Research talks I've watched and enjoyed them. A few of them are available on this YouTube playlist.
- Compiling the Web – Building a Just-in-Time Compiler for JavaScript by Andreas Gal @ MSResearch 2008
- Stabilizer: Statistically Sound Performance Evaluation by Emery Berger @MSResearch 2013
- The Tensor Algebra Compiler by Fredrik Kjolstad @MSResearch 2017
- 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