Catalog of Static Single Assignment (SSA) generation methods, detailing historical papers and approaches. SSA assigns variables once, improving compiler efficiency. Important papers cover various methods from 1980s to 2023, addressing phi functions, dominance frontiers, single-pass generation, and incremental SSA. Highlights include Cytron's minimal phi instructions, Brandis & Mössenböck's parsing approach, and recent works using reaching definitions. The author plans to add more resources and encourage contributions on SSA-related topics.
A Catalog of Ways to Generate SSA
