@inproceedings{conf/sc/DyerAB19,
  added-at = {2020-06-15T00:00:00.000+0200},
  author = {Dyer, Tristan and Altuntas, Alper and Jr., John W. Baugh},
  biburl = {https://www.bibsonomy.org/bibtex/22a61f7fe30d74b3f8d962a3300c006cb/dblp},
  booktitle = {CORRECTNESS@SC},
  crossref = {conf/sc/2019correctness},
  editor = {Laguna, Ignacio and Rubio-González, Cindy},
  ee = {https://doi.org/10.1109/Correctness49594.2019.00010},
  interhash = {1e7696c11d5e1f769a177f7581061dd8},
  intrahash = {2a61f7fe30d74b3f8d962a3300c006cb},
  isbn = {978-1-7281-6015-3},
  keywords = {dblp},
  pages = {36-43},
  publisher = {IEEE},
  timestamp = {2020-06-16T12:58:52.000+0200},
  title = {Bounded Verification of Sparse Matrix Computations.},
  url = {http://dblp.uni-trier.de/db/conf/sc/correctness2019.html#DyerAB19},
  year = 2019
}

{"_id":"NtMJBR2uzXYms38EC","bibbaseid":"dyer-altuntas-jr-boundedverificationofsparsematrixcomputations-2019","authorIDs":[],"author_short":["Dyer, T.","Altuntas, A.","Jr., J. W. B."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2020-06-15T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Dyer"],"firstnames":["Tristan"],"suffixes":[]},{"propositions":[],"lastnames":["Altuntas"],"firstnames":["Alper"],"suffixes":[]},{"propositions":[],"lastnames":["Jr."],"firstnames":["John","W.","Baugh"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/22a61f7fe30d74b3f8d962a3300c006cb/dblp","booktitle":"CORRECTNESS@SC","crossref":"conf/sc/2019correctness","editor":[{"propositions":[],"lastnames":["Laguna"],"firstnames":["Ignacio"],"suffixes":[]},{"propositions":[],"lastnames":["Rubio-González"],"firstnames":["Cindy"],"suffixes":[]}],"ee":"https://doi.org/10.1109/Correctness49594.2019.00010","interhash":"1e7696c11d5e1f769a177f7581061dd8","intrahash":"2a61f7fe30d74b3f8d962a3300c006cb","isbn":"978-1-7281-6015-3","keywords":"dblp","pages":"36-43","publisher":"IEEE","timestamp":"2020-06-16T12:58:52.000+0200","title":"Bounded Verification of Sparse Matrix Computations.","url":"http://dblp.uni-trier.de/db/conf/sc/correctness2019.html#DyerAB19","year":"2019","bibtex":"@inproceedings{conf/sc/DyerAB19,\n added-at = {2020-06-15T00:00:00.000+0200},\n author = {Dyer, Tristan and Altuntas, Alper and Jr., John W. Baugh},\n biburl = {https://www.bibsonomy.org/bibtex/22a61f7fe30d74b3f8d962a3300c006cb/dblp},\n booktitle = {CORRECTNESS@SC},\n crossref = {conf/sc/2019correctness},\n editor = {Laguna, Ignacio and Rubio-González, Cindy},\n ee = {https://doi.org/10.1109/Correctness49594.2019.00010},\n interhash = {1e7696c11d5e1f769a177f7581061dd8},\n intrahash = {2a61f7fe30d74b3f8d962a3300c006cb},\n isbn = {978-1-7281-6015-3},\n keywords = {dblp},\n pages = {36-43},\n publisher = {IEEE},\n timestamp = {2020-06-16T12:58:52.000+0200},\n title = {Bounded Verification of Sparse Matrix Computations.},\n url = {http://dblp.uni-trier.de/db/conf/sc/correctness2019.html#DyerAB19},\n year = 2019\n}\n\n","author_short":["Dyer, T.","Altuntas, A.","Jr., J. W. B."],"editor_short":["Laguna, I.","Rubio-González, C."],"key":"conf/sc/DyerAB19","id":"conf/sc/DyerAB19","bibbaseid":"dyer-altuntas-jr-boundedverificationofsparsematrixcomputations-2019","role":"author","urls":{"Link":"https://doi.org/10.1109/Correctness49594.2019.00010","Paper":"http://dblp.uni-trier.de/db/conf/sc/correctness2019.html#DyerAB19"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/John ?items=1000","creationDate":"2020-06-25T10:18:54.453Z","downloads":0,"keywords":["dblp"],"search_terms":["bounded","verification","sparse","matrix","computations","dyer","altuntas","jr."],"title":"Bounded Verification of Sparse Matrix Computations.","year":2019,"dataSources":["7pwnyondczync5QcQ"]}