research
∙
02/11/2022
Lightning: Scaling the GPU Programming Model Beyond a Single GPU
The GPU programming model is primarily aimed at the development of appli...
share
research
∙
05/25/2021
A linear parallel algorithm to compute bisimulation and relational coarsest partitions
The most efficient way to calculate strong bisimilarity is by calculatio...
research
∙
09/15/2020
Term Rewriting on GPUs
We present a way to implement term rewriting on a GPU. We do this by let...
research
∙
09/10/2020