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