Really, really cool! I've toyed with the idea of doing pattern matching (and graph rewriting) on the GPU before but this looks like it's much more advanced tha

Really, really cool! I've toyed with the idea of doing pattern matching (and graph rewriting) on the GPU before but this looks like it's much more advanced than I thought was feasible. I'm surprised they went with CUDA instead of OpenCL though. CUDA is proprietary NVidea technology and does not work for non-NVidea devices.