@misc{indiciae8532c28b2d99,
  title = {Semantic Solutions to Program Analysis Problems},
  author = {Sam Tobin-Hochstadt and David Van Horn},
  year = {2011},
  url = {https://arxiv.org/abs/1105.0106},
  note = {Source identifier: 1105.0106}
}