7 citations · 18 across the 8 of their papers we have counts for
8 papers
Transformations for accelerator-based quantum circuit simulation in Haskell
Youssef Moawad, Wim Vanderbauwhede, René Steijl
For efficient hardware-accelerated simulations of quantum circuits, we can define hardware-specific quantum-circuit transformations. We use a functional programming approach to cre…
Value-Dependent Session Design in a Dependently Typed Language
Jan de Muijnck-Hughes, Edwin Brady, Wim Vanderbauwhede
Session Types offer a typing discipline that allows protocol specifications to be used during type-checking, ensuring that implementations adhere to a given specification. When loo…
Towards Automatic Transformation of Legacy Scientific Code into OpenCL for Optimal Performance on FPGAs
Wim Vanderbauwhede, Syed Waqar Nabi
There is a large body of legacy scientific code written in languages like Fortran that is not optimised to get the best performance out of heterogeneous acceleration devices like G…
2D Image Convolution using Three Parallel Programming Models on the Xeon Phi
Ashkan Tousimojarad, Wim Vanderbauwhede, W Paul Cockshott
Image convolution is widely used for sharpening, blurring and edge detection. In this paper, we review two common algorithms for convolving a 2D image by a separable kernel (filter…
Inferring Program Transformations from Type Transformations for Partitioning of Ordered Sets
Wim Vanderbauwhede
In this paper I introduce a mechanism to derive program transforma- tions from order-preserving transformations of vector types. The purpose of this work is to allow automatic gene…
A Reconfigurable Vector Instruction Processor for Accelerating a Convection Parametrization Model on FPGAs
Syed Waqar Nabi, Saji N. Hameed, Wim Vanderbauwhede
High Performance Computing (HPC) platforms allow scientists to model computationally intensive algorithms. HPC clusters increasingly use General-Purpose Graphics Processing Units (…