Published July 4, 2024
| Version 1.0.1
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
Files
(109.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b4e65c82fb087b01d72ad0e2fe5a0d68
|
109.7 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/diku-dk/futhark-oopsla24