A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
Dipartimento di Informatica, Universit`a degli Studi di Verona, Strada Le Grazie 15, 37134 Verona, Italy
In Static Analysis , Vol. 4634 (2007), pp. 315-332.
@article{banterle2007fast,
title={A fast implementation of the octagon abstract domain on graphics hardware},
author={Banterle, F. and Giacobazzi, R.},
journal={Static Analysis},
pages={315–332},
year={2007},
publisher={Springer}
}
We propose an efficient implementation of the Octagon Abstract Domain (OAD) on Graphics Processing Unit (GPU) by exploiting stream processing to speed-up OAD computations. OAD is a relational numerical abstract domain which approximates invariants as conjunctions of constraints of the form
November 4, 2010 by hgpu
