A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware.

Francesco Banterle, Roberto Giacobazzi

Browse the full SAS paper archive.