Tobias Grosser

A Certified Pointer-Style SSA Data Structure

2026 · HAL (Le Centre pour la Communication Scientifique Directe)

Intermediate representations in static single assignment (SSA) form offer local reasoning, fast direct access, and intuitive algorithms, which has made them the de facto standard in industrial compilers. While assigning each variable exactly once is …