research
∙
08/29/2023
Compiler Discovered Dynamic Scheduling of Irregular Code in High-Level Synthesis
Dynamically scheduled high-level synthesis (HLS) achieves higher through...
share
research
∙
03/12/2023
Frugal Computing – On the need for low-carbon and sustainable computing and the path towards zero-carbon computing
The current emissions from computing are almost 4 is already more than e...
research
∙
10/23/2022
Transformations for accelerator-based quantum circuit simulation in Haskell
For efficient hardware-accelerated simulations of quantum circuits, we c...
research
∙
04/02/2019
Value-Dependent Session Design in a Dependently Typed Language
Session Types offer a typing discipline that allows protocol specificati...
research
∙
12/21/2018
Towards Automatic Transformation of Legacy Scientific Code into OpenCL for Optimal Performance on FPGAs
There is a large body of legacy scientific code written in languages lik...
research
∙
11/27/2017
2D Image Convolution using Three Parallel Programming Models on the Xeon Phi
Image convolution is widely used for sharpening, blurring and edge detec...
research
∙
11/13/2017