Minotaur: A SIMD-Oriented Synthesizing Superoptimizer. - Zhengyang Liu 003; Stefan Mada; John Regehr (Proc. ACM Program. Lang., 2024)