@inproceedings{DBLP:conf/pldi/KamilCIS16,
  author       = {Shoaib Kamil and
                  Alvin Cheung and
                  Shachar Itzhaky and
                  Armando Solar{-}Lezama},
  title        = {Verified lifting of stencil computations},
  booktitle    = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming
                  Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,
                  USA, June 13-17, 2016},
  pages        = {711--726},
  year         = {2016},
  crossref     = {DBLP:conf/pldi/2016},
  url          = {https://doi.org/10.1145/2908080.2908117},
  doi          = {10.1145/2908080.2908117},
  timestamp    = {Sun, 19 Jan 2025 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pldi/KamilCIS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"gsfQmHyatWM9CoXvx","bibbaseid":"kamil-cheung-itzhaky-solarlezama-verifiedliftingofstencilcomputations-2016","author_short":["Kamil, S.","Cheung, A.","Itzhaky, S.","Solar-Lezama, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Shoaib"],"propositions":[],"lastnames":["Kamil"],"suffixes":[]},{"firstnames":["Alvin"],"propositions":[],"lastnames":["Cheung"],"suffixes":[]},{"firstnames":["Shachar"],"propositions":[],"lastnames":["Itzhaky"],"suffixes":[]},{"firstnames":["Armando"],"propositions":[],"lastnames":["Solar-Lezama"],"suffixes":[]}],"title":"Verified lifting of stencil computations","booktitle":"Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016","pages":"711–726","year":"2016","crossref":"DBLP:conf/pldi/2016","url":"https://doi.org/10.1145/2908080.2908117","doi":"10.1145/2908080.2908117","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/pldi/KamilCIS16.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/pldi/KamilCIS16,\n author = {Shoaib Kamil and\n Alvin Cheung and\n Shachar Itzhaky and\n Armando Solar{-}Lezama},\n title = {Verified lifting of stencil computations},\n booktitle = {Proceedings of the 37th {ACM} {SIGPLAN} Conference on Programming\n Language Design and Implementation, {PLDI} 2016, Santa Barbara, CA,\n USA, June 13-17, 2016},\n pages = {711--726},\n year = {2016},\n crossref = {DBLP:conf/pldi/2016},\n url = {https://doi.org/10.1145/2908080.2908117},\n doi = {10.1145/2908080.2908117},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/pldi/KamilCIS16.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Kamil, S.","Cheung, A.","Itzhaky, S.","Solar-Lezama, A."],"key":"DBLP:conf/pldi/KamilCIS16","id":"DBLP:conf/pldi/KamilCIS16","bibbaseid":"kamil-cheung-itzhaky-solarlezama-verifiedliftingofstencilcomputations-2016","role":"author","urls":{"Paper":"https://doi.org/10.1145/2908080.2908117"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/s/Solar=Lezama:Armando","dataSources":["rGuy4xgsrB7zfgooW","DAnxudWukpMXCtWy8"],"keywords":[],"search_terms":["verified","lifting","stencil","computations","kamil","cheung","itzhaky","solar-lezama"],"title":"Verified lifting of stencil computations","year":2016}