@inproceedings{GB07,
   author =    {F. Banterle and R. Giacobazzi},
   title =     {A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware},
   booktitle = {Proc.\ of The 14th International 
                Static Analysis Symposium, SAS'07},
   year =      2007,
   series =    {Lecture Notes in Computer Science},
   editor = {G. Fil{\'e} and H.R. Nielson},
   publisher = {Springer-Verlag},
   volume   =  {4634},
   pages   =   {315-335}}