Description
Artifact for the paper AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear Programming submitted to OOPSLA 24.
| Date made available | 18 Jul 2024 |
|---|---|
| Publisher | Zenodo |
futhark-oopsla24
- Robert Schenck (Creator)
- Nikolaj Hey Hinnerskov (Creator)
- Troels Henriksen (Creator)
- Magnus Madsen (Creator)
- Martin Elsman (Creator)
Dataset