Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv. Specifying and verifying sparse matrix codes. In Paul Hudak, Stephanie Weirich, editors, Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010. pages 249-260, ACM, 2010. [doi]
@inproceedings{ArnoldHKBS10,
title = {Specifying and verifying sparse matrix codes},
author = {Gilad Arnold and Johannes Hölzl and Ali Sinan Köksal and Rastislav Bodík and Mooly Sagiv},
year = {2010},
doi = {10.1145/1863543.1863581},
url = {http://doi.acm.org/10.1145/1863543.1863581},
researchr = {https://researchr.org/publication/ArnoldHKBS10},
cites = {0},
citedby = {0},
pages = {249-260},
booktitle = {Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010},
editor = {Paul Hudak and Stephanie Weirich},
publisher = {ACM},
isbn = {978-1-60558-794-3},
}