HELIX-UP: Relaxing program semantics to unleash parallelization | IEEE Conference Publication | IEEE Xplore