Don't have Telegram yet? Try it now!
https://hgpu.org/?p=1162
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware