Sampaio, Diogo, Martins, Rafael, Collange, Caroline, AND Pereira, Fernando. " Divergence Analysis with Affine Constraints" Proceedings of the International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD) [Online], (24 October 2012)