Last released Jan 12, 2021
Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans
Last released Sep 14, 2019
Aetherling: a DSL for compiling data-parallel programs to hardware accelerators.
Supported by