An Empirical Study of the Effect of Source-Level Loop Transformations on Compiler Stability @OOPSLA18

定义了一个loop optimization stability，用于查看在优化后两个相同语义的代码能获得稳定的相同输出。通过先loop extract出for循环按RO/WAR&WO/RAW分类。loop mutate benchmark，metric定义了行为相似度（代码静态分析和动态PMU行为），也定义了不同编译器之间的稳定性，（所谓的z一致性）

用处是可以指导编译器语义修改、可以增加loop heuristics来让编译器没有做向量化的transform去做向量化。