Data-Flow Driven Equivalence Checking for Verification of Code Motion Techniques | IEEE Conference Publication | IEEE Xplore