@misc{indiciae407aae1802a6,
  title = {SWIM: Synthesizing What I Mean},
  author = {Mukund Raghothaman and Yi Wei and Youssef Hamadi},
  year = {2016},
  doi = {10.1145/2884781.2884808},
  url = {https://arxiv.org/abs/1511.08497},
  note = {Source identifier: 1511.08497}
}