Compilers reading list

Core

• Compilers: Principles, Techniques, and Tools (WorldCat)
• A data locality optimizing algorithm
• Parameterized object sensitivity for points-to analysis for Java (needs work)
• Code Generation Schema for Modulo Scheduled Loops

Internal Organization

• An Overview of the PL.8 Compiler
• LLVM: A Compilation Framework for Lifelong Program Analysis & Transformation

Dataflow Analysis

• Global Data Flow Analysis and Iterative Algorithms
• Engineering a Compiler (WorldCat)

Single Static Assignment

• Efficiently Computing Static Single Assignment Form and the Control Dependence Graph

Interprocedural Analysis

• Program Analysis via Graph Reachability

Pointer analysis

• The Ant and the Grasshopper: Fast and Accurate Pointer Analysis for Millions of Lines of Code

Vectorization

• Exploiting Superword Level Parallelism with Multimedia Instruction Sets

Program Synthesis

• A Fast Fourier Transform Compiler
• A Comparison of Empirical and Model-Driven Optimization

JIT

• CoDeSe: fast deserialization via code generation

Dynamic Analysis

• Pin: Building Customized Program Analysis Tools with Dynamic Instrumentation
• Trace-based Just-in-Time Type Specialization for Dynamic Languages

Native Code Generation

• Improvements to Graph Coloring Register Allocation
• Automatic Generation of Peephole Superoptimizers

Correctness

• Automatic Predicate Abstraction of C Programs
• Saturn: A Scalable Framework for Error Detection Using Boolean Satisfiability
• ABCD: Eliminating Array Bounds Checks on Demand

Static Analysis

• Lessons from Building Static Analysis Tools at Google
• A few billion lines of code later: using static analysis to find bugs in the real world
• Rudra: Finding Memory Safety Bugs in Rust at the Ecosystem Scale

Related fields

• Computer Science reading list