@inproceedings{DBLP:conf/pldi/ZhuMJ18,
  author       = {He Zhu and
                  Stephen Magill and
                  Suresh Jagannathan},
  editor       = {Jeffrey S. Foster and
                  Dan Grossman},
  title        = {A data-driven {CHC} solver},
  booktitle    = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,
                  USA, June 18-22, 2018},
  pages        = {707--721},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3192366.3192416},
  doi          = {10.1145/3192366.3192416},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/ZhuMJ18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"bXXhRwfvYZGXWmxHd","bibbaseid":"zhu-magill-jagannathan-adatadrivenchcsolver-2018","author_short":["Zhu, H.","Magill, S.","Jagannathan, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["He"],"propositions":[],"lastnames":["Zhu"],"suffixes":[]},{"firstnames":["Stephen"],"propositions":[],"lastnames":["Magill"],"suffixes":[]},{"firstnames":["Suresh"],"propositions":[],"lastnames":["Jagannathan"],"suffixes":[]}],"editor":[{"firstnames":["Jeffrey","S."],"propositions":[],"lastnames":["Foster"],"suffixes":[]},{"firstnames":["Dan"],"propositions":[],"lastnames":["Grossman"],"suffixes":[]}],"title":"A data-driven CHC solver","booktitle":"Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2018, Philadelphia, PA, USA, June 18-22, 2018","pages":"707–721","publisher":"ACM","year":"2018","url":"https://doi.org/10.1145/3192366.3192416","doi":"10.1145/3192366.3192416","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/pldi/ZhuMJ18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pldi/ZhuMJ18,\n author = {He Zhu and\n Stephen Magill and\n Suresh Jagannathan},\n editor = {Jeffrey S. Foster and\n Dan Grossman},\n title = {A data-driven {CHC} solver},\n booktitle = {Proceedings of the 39th {ACM} {SIGPLAN} Conference on Programming\n Language Design and Implementation, {PLDI} 2018, Philadelphia, PA,\n USA, June 18-22, 2018},\n pages = {707--721},\n publisher = {{ACM}},\n year = {2018},\n url = {https://doi.org/10.1145/3192366.3192416},\n doi = {10.1145/3192366.3192416},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/pldi/ZhuMJ18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Zhu, H.","Magill, S.","Jagannathan, S."],"editor_short":["Foster, J. S.","Grossman, D."],"key":"DBLP:conf/pldi/ZhuMJ18","id":"DBLP:conf/pldi/ZhuMJ18","bibbaseid":"zhu-magill-jagannathan-adatadrivenchcsolver-2018","role":"author","urls":{"Paper":"https://doi.org/10.1145/3192366.3192416"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/j/SJagannathan.bib","dataSources":["w34nNagszyiH26GmA"],"keywords":[],"search_terms":["data","driven","chc","solver","zhu","magill","jagannathan"],"title":"A data-driven CHC solver","year":2018}