Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published July 18, 2024 | Version 1.0.4
Software Open

futhark-oopsla24

Description

Artifact for the paper AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming submitted to OOPSLA 24.

Files

README.pdf

Files (110.1 MB)

Name Size Download all
md5:b0360b4d7cacf2956b356153dd988aba
110.0 MB Download
md5:5505c0429781dbb575e4f5f86eff3a16
762 Bytes Download
md5:36be5686513b636a73466a05f3899016
144.4 kB Preview Download

Additional details