@misc{indiciae575914ef4a62,
  title = {Type-Directed Code Reuse using Integer Linear Programming},
  author = {Yuepeng Wang and Yu Feng and Ruben Martins and Arati Kaushik and Isil Dillig and Steven P. Reiss},
  year = {2016},
  url = {https://arxiv.org/abs/1608.07745},
  note = {Source identifier: 1608.07745}
}