Bookshelf
Resources that I found useful and recommend to others.
Courses
- UCB CS294-113: Virtual Machines and Managed Runtimes by Mario Wolczko
- CS 6120: Advanced Compilers: The Self-Guided Online Course
- Static Program Analysis by Anders Møller
- Static Program Analyses by Fernando Magno Quintao Pereira
- Static Analysis and Verification at FIT BUT
- the page is in Czech, but the slides are in English
Blog Posts
- Understanding Basic Graal Graphs
- Writing Truly Memory Safe JIT Compilers
- Simple but Powerful Pratt Parsing
- Scheduling Internals
- Atomic Polling Intervals for Highly Concurrent Workloads
- Beating the compiler (using hand-written assembly with threaded code to speed up Uxn interpreter)
- Computed goto for efficient dispatch tables
- M3: Massey Meta Machine
- How to land a change to LLVM in 20 easy patches
- Do Not Taunt Happy Fun Branch Predictor
- Crafting an interpreter with Rust
- Bril: An Intermediate Language for Teaching Compilers
- A catalog of ways to generate SSA
- The simplicity of Prolog
Books
- Crafting Interpreters by Robert Nystrom
- Talking Compilers with ChatGPT
- Mapping High Level Constructs to LLVM IR
Java
- Inside Java
- A categorized list of all Java and JVM features since JDK 8 to 21
- Java Object Headers and Compressed OOPS
- Mark–Scavenge: Waiting for Trash to Take Itself Out
Videos
- GraalVM Native Image: Large-scale static analysis for Java - Christian Wimmer
- Graal Tutorial at PLDI 2017 conference - Christian Wimmer
- One VM to Rule Them All, One VM to Bind Them - Christian Wimmer
- Dynamic Metacompilation with Truffle - Christian Humer
- JVM Anatomy 101
- Advanced Topics in Programming Languages: The Java Memory Model
- Advanced Topics in Programming Languages: Concurrency and Message Passing in Newsqueak
- Modernizing Compiler Design for Carbon Toolchain - Chandler Carruth
Blogs
- Russ Cox’s blog
- Matt Keeter’s blog
- Bob Nystrom’s blog
- Max Bernstein’s blog
- Eli Bendersky’s website
- Chandler Carruth’s blog
- Edoardo Vacchi’s blog
- Maxime Chevalier-Boisvert’s blog