Gross – Research Compiler Using Graph IR for Code Optimizations and Generations
Hmm, seems a little lacking in references to prior art. However, Prof. Michael Franz used a (subset?) of thinned gated single assignment in his thesis so there's hope. As I keep arguing [1], TGSA is astonishingly under-appreciated.