padonIvySafetyVerification:
  type: article
  title: 'Ivy: Safety verification by interactive generalization'
  author:
  - Padon, Oded
  - McMillan, Kenneth L.
  - Panda, Aurojit
  - Sagiv, Mooly
  - Shoham, Sharon
  date: 2016-06
  page-range: 614-630
  url: https://doi.org/10.1145/2980983.2908118
  serial-number:
    doi: 10.1145/2908080.2908118
  parent:
    type: proceedings
    title: PLDI
    publisher: Association for Computing Machinery
    issue: 6
    volume: 51