External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Specifying and verifying sparse matrix codes

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]

Authors

Gilad Arnold

This author has not been identified. Look up 'Gilad Arnold' in Google

Johannes Hölzl

This author has not been identified. Look up 'Johannes Hölzl' in Google

Ali Sinan Köksal

This author has not been identified. Look up 'Ali Sinan Köksal' in Google

Rastislav Bodík

This author has not been identified. Look up 'Rastislav Bodík' in Google

Mooly Sagiv

This author has not been identified. Look up 'Mooly Sagiv' in Google
runs on