Published July 18, 2024
| Version 1.0.4
Software
Open
futhark-oopsla24
Creators
- 1. DIKU, University of Copenhagen
- 2. Aarhus University
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
Software
- Repository URL
- https://github.com/diku-dk/futhark-oopsla24