EqBench: A Dataset of Equivalent and Non-equivalent Program Pairs | IEEE Conference Publication | IEEE Xplore