FLiT: Cross-platform floating-point result-consistency tester and workload | IEEE Conference Publication | IEEE Xplore