FHPNC 2021
| title | author | length |
|---|---|---|
| Generating High Performance Code for Irregular Data Structures using Dependent Types | Federico Pizzuti, Michel Steuwer, Christophe Dubach | 30m |
Extends a data-parallel language with index-sequence types (nuts), a scoping primitive (lift_nut / lift_nuts) and dependent pairs so offsets and packed CSR… | ||
| Improving GHC Haskell NUMA Profiling | phil schwinder | 38m |
Experimental profiling on a 64‑core, 8‑region Togian server measures GHC 8.2 with nofib benchmarks (prsa, sum Euler data‑parallel and divide‑and‑conquer)… | ||
| Is Functional HPC the Key to Low Carbon Computing? | Sven-Bodo Scholz | 01h 04m |
Computing energy could contribute nearly 40% of CO2 by 2040 so functional HPC aims to cut waste by raising utilization and producing fewer churned devices, but… | ||
| Parallelism-preserving automatic differentiation for second-order array languages | adam basker | 29m |
Paper gives concrete AD rules for map and scan in a second-order array DSL, implements forward-mode JVP and proves map-differentiation is componentwise; scan… | ||
| Reverse Automatic Differentiation for Accelerate (Extended Abstract) | Tom J. Smeding | 29m |
Implementation of reverse AD for Accelerate as a compiler transformation that turns array indexing into a dual array indexing → permute (scatter) operation… | ||
| Full workshop | Troels Henriksen | 03h 42m |
Workshop opens with practical results: a dependent-type array system uses lift_nuts and dependent pairs to express CSR and other sparse layouts, generates… | ||
| nothing matches | ||