TY - RPRT TI - Learning to superoptimize programs AU - Rudy Bunel AU - Alban Desmaison AU - M. Pawan Kumar AU - Philip H. S. Torr AU - Pushmeet Kohli PY - 2017 UR - https://arxiv.org/abs/1611.01787 ID - 1611.01787 ER -