@misc{indiciae4eb0f51308ff,
  title = {SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic},
  author = {Ton Chanh Le and Guolong Zheng and ThanhVu Nguyen},
  year = {2019},
  url = {https://arxiv.org/abs/1903.09713},
  note = {Source identifier: 1903.09713}
}