Towards a GPU-based implementation of interaction nets

2014/04/01 by Eugen Jiresch
Computer Science · #cs.PL #cs.DC

paper · pdf · doi:10.4204/eptcs.143.4

published as EPTCS 143, 2014, pp. 41-53 · In Proceedings DCM 2012, arXiv:1403.7579

arxiv created 2014/04/01 · arxiv updated 2014/04/02

Abstract

We present ingpu, a GPU-based evaluator for interaction nets that heavily utilizes their potential for parallel evaluation. We discuss advantages and challenges of the ongoing implementation of ingpu and compare its performance to existing interaction nets evaluators.

Citations

• Proceedings 8th International Workshop on Developments in Computational Models