Conference paperA New Speculation Technique to Optimize Floating-Point Performance while Preserving Bit-by-Bit Reproducibility
Conference paperAutomated Metamorphic Testing using Transitive Relations for Specializing Stance Detection Models