14 citations · 51 across the 20 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 4 cited
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…
cs.PF2019★ 2 cited
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…