@inproceedings{DBLP:conf/oopsla/LeinoM12,
  author    = {K. Rustan M. Leino and
               Aleksandar Milicevic},
  title     = {Program extrapolation with jennisys},
  booktitle = {OOPSLA},
  year      = {2012},
  pages     = {411-430},
url_paper={pubs/2012/splash12-jen.pdf}
}

% Downloaded from http://people.csail.mit.edu/jnear/papers/fse12.pdf by Matt, 2017-03-06

{"_id":"KnrZodARGm7k3Lnc6","bibbaseid":"leino-milicevic-programextrapolationwithjennisys-2012","author_short":["Leino, K. R. M.","Milicevic, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["K.","Rustan","M."],"propositions":[],"lastnames":["Leino"],"suffixes":[]},{"firstnames":["Aleksandar"],"propositions":[],"lastnames":["Milicevic"],"suffixes":[]}],"title":"Program extrapolation with jennisys","booktitle":"OOPSLA","year":"2012","pages":"411-430","url_paper":"pubs/2012/splash12-jen.pdf","bibtex":"@inproceedings{DBLP:conf/oopsla/LeinoM12,\n author = {K. Rustan M. Leino and\n Aleksandar Milicevic},\n title = {Program extrapolation with jennisys},\n booktitle = {OOPSLA},\n year = {2012},\n pages = {411-430},\nurl_paper={pubs/2012/splash12-jen.pdf}\n}\n\n% Downloaded from http://people.csail.mit.edu/jnear/papers/fse12.pdf by Matt, 2017-03-06\n","author_short":["Leino, K. R. M.","Milicevic, A."],"key":"DBLP:conf/oopsla/LeinoM12","id":"DBLP:conf/oopsla/LeinoM12","bibbaseid":"leino-milicevic-programextrapolationwithjennisys-2012","role":"author","urls":{" paper":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/pubs/2012/splash12-jen.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://groups-csail-mit-edu.ezproxy.canberra.edu.au/sdg/sdgpub.bib","dataSources":["t9Kc2YBfktMvKserb","MautteQst6amcB23d"],"keywords":[],"search_terms":["program","extrapolation","jennisys","leino","milicevic"],"title":"Program extrapolation with jennisys","year":2012}