@inproceedings{DBLP:conf/pldi/RamanathanGJ07,
  author       = {Murali Krishna Ramanathan and
                  Ananth Grama and
                  Suresh Jagannathan},
  editor       = {Jeanne Ferrante and
                  Kathryn S. McKinley},
  title        = {Static specification inference using predicate mining},
  booktitle    = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming
                  Language Design and Implementation, San Diego, California, USA, June
                  10-13, 2007},
  pages        = {123--134},
  publisher    = {{ACM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1250734.1250749},
  doi          = {10.1145/1250734.1250749},
  timestamp    = {Fri, 25 Jun 2021 14:48:54 +0200},
  biburl       = {https://dblp.org/rec/conf/pldi/RamanathanGJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"LAwh2bFBXEommWQMD","bibbaseid":"ramanathan-grama-jagannathan-staticspecificationinferenceusingpredicatemining-2007","author_short":["Ramanathan, M. K.","Grama, A.","Jagannathan, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Murali","Krishna"],"propositions":[],"lastnames":["Ramanathan"],"suffixes":[]},{"firstnames":["Ananth"],"propositions":[],"lastnames":["Grama"],"suffixes":[]},{"firstnames":["Suresh"],"propositions":[],"lastnames":["Jagannathan"],"suffixes":[]}],"editor":[{"firstnames":["Jeanne"],"propositions":[],"lastnames":["Ferrante"],"suffixes":[]},{"firstnames":["Kathryn","S."],"propositions":[],"lastnames":["McKinley"],"suffixes":[]}],"title":"Static specification inference using predicate mining","booktitle":"Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, San Diego, California, USA, June 10-13, 2007","pages":"123–134","publisher":"ACM","year":"2007","url":"https://doi.org/10.1145/1250734.1250749","doi":"10.1145/1250734.1250749","timestamp":"Fri, 25 Jun 2021 14:48:54 +0200","biburl":"https://dblp.org/rec/conf/pldi/RamanathanGJ07.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pldi/RamanathanGJ07,\n author = {Murali Krishna Ramanathan and\n Ananth Grama and\n Suresh Jagannathan},\n editor = {Jeanne Ferrante and\n Kathryn S. McKinley},\n title = {Static specification inference using predicate mining},\n booktitle = {Proceedings of the {ACM} {SIGPLAN} 2007 Conference on Programming\n Language Design and Implementation, San Diego, California, USA, June\n 10-13, 2007},\n pages = {123--134},\n publisher = {{ACM}},\n year = {2007},\n url = {https://doi.org/10.1145/1250734.1250749},\n doi = {10.1145/1250734.1250749},\n timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},\n biburl = {https://dblp.org/rec/conf/pldi/RamanathanGJ07.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ramanathan, M. K.","Grama, A.","Jagannathan, S."],"editor_short":["Ferrante, J.","McKinley, K. S."],"key":"DBLP:conf/pldi/RamanathanGJ07","id":"DBLP:conf/pldi/RamanathanGJ07","bibbaseid":"ramanathan-grama-jagannathan-staticspecificationinferenceusingpredicatemining-2007","role":"author","urls":{"Paper":"https://doi.org/10.1145/1250734.1250749"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/j/SJagannathan.bib","dataSources":["w34nNagszyiH26GmA"],"keywords":[],"search_terms":["static","specification","inference","using","predicate","mining","ramanathan","grama","jagannathan"],"title":"Static specification inference using predicate mining","year":2007}