UniAna: Using Abstract Interpretation to Analyze the Uniformity of VariablesVectorizing compilers employ divergence analysis to detect at which program point a specific variable is
This website accompanies our POPL'21 paper An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs. There are Coq proofs to establish the soundness of our uniformity analysis on GitHub and its documentation can be found here. The analysis is also implemented in LLVM.
- An Abstract Interpretation for SPMD Divergence on Reducible Control Flow Graphs - POPL 2021
Rosemann, J., Moll, S. and Hack, S.
Principles of Programming Languages, 2021. [url] [bib]