A fast implementation of the octagon abstract domain on graphics hardware

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4634 LNCS, Issue , 2007, Pages 315-332

  Banterle, Francesco ^a   Giacobazzi, Roberto ^a  

^a UNIVERSITY OF VERONA   (Italy)

Author keywords

Abstract interpretation; General processing on GPU; Octagon abstract domain; Parallel computing; Static program analysis

Indexed keywords

APPROXIMATION THEORY; COMPUTATIONAL METHODS; COMPUTER HARDWARE; CONSTRAINT THEORY; GRAPHIC METHODS; MATHEMATICAL OPERATORS; MATRIX ALGEBRA; STATIC ANALYSIS;

ABSTRACT INTERPRETATION; GRAPHICS PROCESSING UNITS (GPU); OCTAGON ABSTRACT DOMAIN (OAD); STATIC PROGRAM ANALYSIS;

PARALLEL PROCESSING SYSTEMS;

EID: 38149132419     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74061-2_20     Document Type: Conference Paper

References (23)

1. Blythe, D.: The direct3d 10 system. In: SIGGRAPH '06: ACM SIGGRAPH 2006 Papers, pp. 724-734. ACM Press, New York, USA (2006)
2. Bolz, J., Farmer, I., Grinspun, E., Schröoder, P.: Sparse matrix solvers on the gpu: conjugate gradients and multigrid. ACM Trans. Graph. 22(3), 917-924 (2003)
3. Buck, I., Foley, T., Horn, D., Sugerman, J., Fatahalian, K., Houston, M., Hanrahan, P.: Brook for gpus: stream computing on graphics hardware. ACM Trans. Graph. 23(3), 777-786 (2004)
4. Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Conference Record of the Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Los Angeles, California, pp. 238-252. ACM Press, New York (1977)
5. Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: The ASTRÉE analyzer. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 21-30. Springer, Heidelberg (2005)
6. Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: POPL '78: Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, pp. 84-96. ACM Press, New York, NY, USA, pp. 84-96(1978)
7. Da Graçca, G., Defour, D.: Implementation of float-float operators on graphics hardware. ArXiv Computer Science e-prints (March 2006)
8. Fan, Z., Qiu, F., Kaufman, A., Yoakum-Stover, S.: Gpu cluster for high performance computing. In: SC '04: Proceedings of the 2004 ACM/IEEE conference on Supercomputing, Washington, DC, USA, p. 47. IEEE Computer Society Press, Los Alamitos (2004)
9. Galoppo, N., Govindaraju, N., Henson, M., Manocha, D.: Lu-gpu: Efficient algorithms for solving dense linear systems on graphics hardware. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, p. 3. Springer, Heidelberg (2005)
10. Govindaraju, N., Gray, J., Kumar, R., Manocha, D.: Gputerasort: high performance graphics co-processor sorting for large database management. In: SIGMOD '06: Proceedings of the 2006 ACM SIGMOD international conference on Management of data, ACM Press, New York, pp. 325-336 (2006)
11. Horn, D.R., Houston, M., Hanrahan, P.: Clawhmmer: A streaming hmmer-search implementation. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, p. 11. Springer, Heidelberg (2005)
12. IEEE. IEEE 754: Standard for binary floating-point arithmetic.
13. Kessenich, J., Baldwin, D., Rost, R.: The opengl shading language v.1.20 revision 8 (September 2006)
14. Kruger, J., Westermann, R.: Linear algebra operators for gpu implementation of numerical algorithms. In: SIGGRAPH '03: ACM SIGGRAPH 2003 Papers, San Diego, California, ACM Press, New York, NY, USA, pp. 908-916 (2003)
15. Lefohn, A., Sengupta, S., Kniss, J., Strzodka, R., Owens, J.: Glift: Generic, efficient, random-access gpu data structures. ACM Trans. Graph. 25(1), 60-99 (2006)
16. Mark, W., Glanville, R., Akeley, K., Kilgard, M.: Cg: a system for programming graphics hardware in a c-like language. In: SIGGRAPH '03: ACM SIGGRAPH 2003 Papers, pp. 896-907. ACM Press, New York, NY, USA (2003)
17. McCool, M., Toit, S.D., Popa, T., Chan, B., Moule, K.: Shader algebra. In: SIGGRAPH '04: ACM SIGGRAPH 2004 Papers. ACM Press, New York, NY, USA, pp. 787-795.(2004)
18. Miné, A.: The octagon abstract domain. In: AST 2001 in WCRE 2001, October 2001. IEEE, pp. 310-319. IEEE Computer Society Press, Los Alamitos (2001)
19. Miné, A.: Relational abstract domains for the detection of floating-point run-time errors. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol. 2986, pp. 3-17. Springer, Heidelberg (2004)
20. Neider, J., Davis, T.: OpenGL Programming Guide: The Official Guide to Learning OpenGL, Release 1. Addison-Wesley Longman Publishing Co., Inc, Boston, MA, USA (1993)
21. Owens, J., Luebke, D., Govindaraju, N., Harris, M., Kruger, J., Lefohn, A., Purcell, T.: A survey of general-purpose computation on graphics hardware. In: Eurographics 2005, State of the Art Reports, pp. 21-51 (August 2005)
22. Pharr, M., Fernando, R.: GPU Gems 2: Programming Techniques for High-Performance Graphics and General-Purpose Computation. Addison-Wesley, Redwood City, CA, USA (2005)
23. Venkatasubramanian, S.: The graphics card as a stream computer. In: SIGMOD-DIMACS Workshop on Management and Processing of Data Streams (2003)