Reading List

01/31/24

• The reference paper for constructing SSA is Efficiently Computing Static Single Assignment Form and the Control Dependence Graph by Cytron et al.
• The reference paper for dominance frontiers is A Simple, Fast Dominance Algorithm by Cooper et al.

02/01/24

• The reference thesis for llvm is LLVM: An Infrastructure for Multi-stage Optimization by Chris Lattner.
• The reference paper for functional equivalence of SSA is SSA is Functional Programming by Andrew Appel.

02/12/24

• The reference material for PRE is this handout.
• The reference paper for PRE is A Variation of Knoop, Ruthing, and Steffen’s Lazy Code Motion

Paper Discussions

Compilation for Sparse Tensor Algebra

• The Tensor Algebra Compiler paper by Kjolstad et al.
• Format Abstraction for Sparse Tensor Algebra Compilers paper by Chou et al.
• Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model paper by Ahrens et al.
• Unified Compilation for Lossless Compression and Sparse Computing paper by Donenfeld et al.

Automatic Vectorization

• VeGen: A Vectorizer Generator for SIMD and Beyond paper by Chen et al.
• All you need is superword-level parallelism: systematic control-flow vectorization with SLP paper by Chen et al.
• Whole-Function Vectorization paper by Karrenberg et al.

Automatic Verification and Fuzzing

• Test-Case Reduction for C Compiler Bugs paper by Regehr et al.
• Alive2: Bounded Translation Validation for LLVM paper by Lopes et al.
• Rare Path Guided Fuzzing paper by Saha et al.
• Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing paper by Donaldson et al.

Manged Langauges and Runtimes

• Perceus: garbage free reference counting with reuse paper by Reinking et al.
• Virtual Machine Showdown: Stack Versus Registers paper by Shi et al.

Data Layout

• Late Data Layout: Unifying Data Representation Transformations paper by Ureche et al.
• Whole-Program Optimization of Global Variable Layout paper by McIntosh et al.
• Optimizing Tensor Programs on Flexible Storage paper by Schleich et al.