Predictable accelerator design with time-sensitive affine types nigam-2020-predictablePLDI · 2020