Published July 6, 2024
| Version 1.0.2
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.8 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1e6e26664ea4ee48f7c4c4bc80364f04
|
109.8 MB | Download |
Additional details
Software
- Repository URL
- https://github.com/diku-dk/futhark-oopsla24