author-photo

Wim Vanderbauwhede

University of Glasgow

157

Papers

748

Citations

Citation Trend

Filter By

Papers (105) Sort By

Journal Conference Others

PERCEPTRON: an open-source GPU-accelerated proteoform identification pipeline for top-down proteomics.

2021 Nucleic Acids Research
Show All
- Source
- Cite
- Save
Citations (0)
Making legacy Fortran code type safe through automated program transformation

2021 The Journal of Supercomputing
- Wim Vanderbauwhede
Show All
- Source
- Cite
- Save
Citations (0)
TISON: a next-generation multi-scale modeling theatre for in silico systems oncology

2021 bioRxiv
Show All
- Source
- Cite
- Save
Citations (3)
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Artifact).

2020
Show All
- Source
- Cite
- Save
Citations (0)
A Framework for Resource Dependent EDSLs in a Dependently Typed Language (Pearl).

2020 ECOOP | European Conference on Object-Oriented Programming
Show All
- Source
- Cite
- Save
Citations (0)
Value-Dependent Session Design in a Dependently Typed Language

2019
Show All
- Source
- Cite
- Save
Citations (3)
Well-Typed Models are Correct Models: Applying State-of-the-Art Advances in Programming Language Theory to Systems-on-a-Chip

2019
- Jan de Muijnck-Hughes
- Wim Vanderbauwhede
Show All
- Source
- Cite
- Save
Citations (0)
Value-Dependent Session Design in a Dependently Typed Language

2019 arXiv: Programming Languages
Show All
- Source
- Cite
- Save
Citations (1)
Type-Driven Automated Program Transformations and Cost Modelling for Optimising Streaming Programs on FPGAs

2019 International Journal of Parallel Programming
Show All
- Source
- Cite
- Save
Citations (2)
A Typing Discipline for Hardware Interfaces (Artifact).

2019
- Jan de Muijnck-Hughes
- Wim Vanderbauwhede
Show All
- Source
- Cite
- Save
Citations (0)