@misc{indiciae83396de15621,
  title = {Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version},
  author = {Andreea Costea and Amy Zhu and Nadia Polikarpova and Ilya Sergey},
  year = {2020},
  url = {https://arxiv.org/abs/2001.10723},
  note = {Source identifier: 2001.10723}
}