Certified Transformation for Static Single Assignment of SPMD Programs | IEEE Conference Publication | IEEE Xplore