Cited By
View all- Schenck RHinnerskov NHenriksen TMadsen MElsman M(2024)AUTOMAP: Inferring Rank-Polymorphic Function Applications with Integer Linear ProgrammingProceedings of the ACM on Programming Languages10.1145/36897748:OOPSLA2(1787-1813)Online publication date: 8-Oct-2024
- Munksgaard PHenriksen TSadayappan POancea CWolf FShende SCulhane CAlam SJagode H(2022)Memory optimizations in an array languageProceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis10.5555/3571885.3571926(1-15)Online publication date: 13-Nov-2022
- El Kharroubi MCoudray BMalaspinas OHenriksen TLow T(2022)Distributed parallel computing with Futhark: a functional language to generate distributed parallel codeProceedings of the 8th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming10.1145/3520306.3534501(12-24)Online publication date: 13-Jun-2022
- Show More Cited By