PickVidsBest Compilers, interpreters & program analysis Videos
The 98 Compilers, interpreters & program analysis videos here were recommended by different people across different months. Choose by who it is for: 2 introductory, 43 intermediate, 2 for a general viewer, and 51 for someone who wants the harder derivation. Most of them are a talk. What they share is that one speaker finishes a claim, and the examples exist to hold that claim up. Channels you will keep seeing include CppCon, Google TechTalks, Strange Loop Conference.
GopherCon 2015: Go GC: Solving the Latency Problem - Rick Hudson
Rick Hudson's GopherCon 2015 talk on Go 1.5's new low-latency concurrent garbage collector.
Chris Seaton @ VMSS16: JRuby+Truffle: Why it’s Important to Optimise the Tricky Parts
Chris Seaton talks about JRuby+Truffle, explaining how the Truffle and Graal combination optimises the tricky parts of Ruby and why it outperforms other Ruby implementations.
2017 LLVM Developers’ Meeting: “Implementing Swift Generics ”
Swift compiler engineers explain how Swift implements generics using dictionary-passing with reified type metadata.
Lisp at the Frontier of Computation, by Robert Smith at Rigetti Computing
Robert Smith of Rigetti Computing talks at a Bay Area Lisp and Scheme meetup about using Common Lisp for quantum computing.
Illustrating Crafting Interpreters
Bob Nystrom shows his process for hand-drawing the diagrams in his book Crafting Interpreters, from pencil sketches to tracing and inking.
CppCon 2019: Matt Godbolt “Compiler Explorer: Behind The Scenes”
Matt Godbolt tells the story of Compiler Explorer, from a hacky basement server to a cloud-scaled service handling tens of thousands of daily requests.
A 10x faster TypeScript
Anders Hejlsberg introduces the native port of the TypeScript compiler, written in Go, which promises roughly 10x faster tooling.
Analyzing Programs with Z3
Tikhon Jelvis's Compose Conference talk on using the Z3 SMT solver to analyze and verify programs, including checking invariants with bounded loops.
Episode 1: A basic expression evaluator
The first episode of a long live-coding series in which Immo Landwerth builds the Minsk compiler for a small language in C#.
Chris Lattner: Compilers, LLVM, Swift, TPU, and ML Accelerators | Lex Fridman Podcast #21
Lex Fridman interviews Chris Lattner, creator of LLVM, Clang and Swift, about compilers, Swift for TensorFlow, TPUs and ML accelerators.
Brandt Bucher – A JIT Compiler for CPython
Brandt Bucher presents his prototype JIT compiler for CPython at the 2023 Core Developer Sprint.
Lecture 7A: Metacircular Evaluator, Part 1
Lecture 7A from MIT 6.001 (SICP) by Abelson and Sussman introduces the metacircular evaluator, a Scheme interpreter written in Scheme.
Oral History of John Backus
Grady Booch interviews John Backus, who led the IBM team that created FORTRAN in 1957, for the Computer History Museum in 2006.
Lecture 1B | MIT 6.001 Structure and Interpretation, 1986
Lecture 1B of MIT's 6.001 Structure and Interpretation of Computer Programs (1986) with Gerald Sussman, covering procedures, processes and the substitution model.
ReactiveConf 2017 - Tom Dale: Secrets of the Glimmer VM
Tom Dale explains the internals of the Glimmer VM, Ember's rendering engine, which compiles templates to opcodes.
TypeScript is being ported to Go | interview with Anders Hejlsberg
An interview with Anders Hejlsberg, lead architect of TypeScript, about porting the TypeScript compiler to Go.
CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization
Christian Schafmeister presents CANDO at the 2016 European Lisp Symposium.
[#36] Zig Roadmap 2024 - Andrew Kelley
Andrew Kelley's 2024 Zig roadmap talk, followed by a Q&A, covers the language's priorities and the state of the project.
Zig Roadmap 2023 - Andrew Kelley
Andrew Kelley's roadmap talk on upcoming Zig compiler milestones, focused on compilation speed.
The Mill CPU Architecture – The Compiler (10 of 13)
A long Mill Computing lecture on the Mill CPU's compiler toolchain, covering the specializer that targets family members, scheduling and latency passes, and the belt.
Mojo Lang - Tomorrow's High Performance Python? (with Chris Lattner)
Developer Voices interviews Chris Lattner about Mojo, a Python-compatible language aimed at CPU/GPU performance built on LLVM and MLIR.
GoingNative 2012 - Day 2 - Clang
Chandler Carruth's GoingNative 2012 talk on Clang, covering how the compiler helps defend C++ code from mistakes.
Andy Keep - Writing a Nanopass Compiler
Andy Keep's Clojure/Conj talk on writing a nanopass compiler, built from many single-task passes with formally defined intermediate languages.
CppCon 2018: Hana Dusíková “Compile Time Regular Expressions”
Hana Dusikova's CppCon 2018 talk presenting a C++ library that builds regular expressions from compile-time strings, using a C++20 feature.