Formal Methods for Surviving the Jungle of Heterogeneous Parallelism | IEEE Conference Publication | IEEE Xplore