GPU-accelerated fixpoint algorithms for faster compiler analyses.

Thorsten Blaß Michael Philippsen

Published in: CC (2019)

Keyphrases

gpu accelerated
fixpoint
orders of magnitude
real time
logic programs
learning algorithm
deductive databases
data mining algorithms
general purpose
x ray