TY  - RPRT
TI  - Souper: A Synthesizing Superoptimizer
AU  - Raimondas Sasnauskas
AU  - Yang Chen
AU  - Peter Collingbourne
AU  - Jeroen Ketema
AU  - Gratian Lup
AU  - Jubi Taneja
AU  - John Regehr
PY  - 2018
UR  - https://arxiv.org/abs/1711.04422
ID  - 1711.04422
ER  -