@misc{indiciae82aeb7cb9a03,
  title = {Data-Driven Program Completion},
  author = {Yanxin Lu and Swarat Chaudhuri and Chris Jermaine and David Melski},
  year = {2017},
  url = {https://arxiv.org/abs/1705.09042},
  note = {Source identifier: 1705.09042}
}