https://123dok.org/document/eqol6ekq-exploiting-gpu-architectures-for-dynamic-invariant-mining.html