1162

A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

Francesco Banterle, Roberto Giacobazzi
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}

}

Download Download (PDF)   View View   Source Source   

634

views

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
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2017 hgpu.org

All rights belong to the respective authors

Contact us: