Compiler Notes

A notebook on compiler design and research.

• LLVM
  • LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation
  • 2020 LLVM Virtual Developers' Meeting
    • Undef and Poison: Present and Future
    • Everything I know about debugging LLVM
    • Checked C: Adding memory safety support to LLVM
    • Posters
      • Quickly Finding RISC-V Code Quality Issues with Differential Analysis
      • llvm-diva: Debug Information Visual Analyzer
      • Enzyme: High-Performance Automatic Differentiation of LLVM
    • MLIR Tutorial
    • CIL: Common MLIR Dialect for C/C++ and Fortran
  • LLVM architecture presentation (2022)
  • Tutorials
  • Resources
  • Libraries
  • Language reference
  • Version history
• MLIR
  • MLIR: Scaling Compiler Infrastructure for Domain Specific Computation
  • Tutorials
  • Libraries
  • Projects
• Rust
  • Crates and tutorials
  • Trivia about Rust Types
• WebAssembly
  • Bringing the Web up to Speed with WebAssembly
  • Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code
  • Multi-Value All the Wasm!
• Emscripten
• QBE
• Futamura projections
  • Partial Evaluation of Computation Process: An Approach to a Compiler-Compiler
  • Practical Second Futamura Projection: Partial Evaluation for High-Performance Language Interpreters
• Adapton
  • Adapton: Composable, Demand-Driven Incremental Computation (PLDI 2014)
  • Incremental Computation with Adapton (University of Colorado Boulder, 2015)
  • miniAdapton: A Minimal Implementation of Incremental Computation in Scheme (2016)
  • Presentation outline (2022)
• CompCert
• Zig
• Mesa NIR
• Trusting Trust
• Data structures
• Programming language comparisons

Licensed under the terms of the GNU Free Documentation License, version 1.3.