@article{learningtosuperoptimizeprograms,
  title = {Learning to superoptimize programs},
  author = {Rudy Bunel and Alban Desmaison and M. Pawan Kumar and Philip H. S. Torr and Pushmeet Kohli},
  year = {2016},
  eprint = {1611.01787},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1611.01787v3},
}