Static Single Assignment (SSA) is a program representation used in compilers where each variable is assigned exactly once. The post catalogs important papers on SSA, discussing the introduction and development of SSA from the 1980s to 2023. Key papers cover topics like phi functions, dominance frontiers, single-pass generation, comparisons with Continuation Passing Style, and more recent developments such as Pizlo form which simplifies the handling of SSA in compiler design. Insights and comments on each paper are provided.
Table of contents
A brief bit of backgroundLet’s generate some variablesOther papersOther resourcesA keyword dumpSort: