SafeGPU: Contract- and library-based GPGPU for object-oriented languages

• Main Authors: KOLESNICHENKO, Alexey, POSKITT, Christopher M., NANZ, Sebastian
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2016
• Subjects: GPGPU; parallel computing; runtime code generation; generative programming; object-orientation; managed languages; design-by-contract; program correctness; Programming Languages and Compilers; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4858; https://ink.library.smu.edu.sg/context/sis_research/article/5861/viewcontent/Kolesnichenko_Poskitt_Nanz.COMLAN.2016.pdf
• Institution: Singapore Management University

Using GPUs as general-purpose processors has revolutionized parallel computing by providing, for a large and growing set of algorithms, massive data-parallelization on desktop machines. An obstacle to their widespread adoption, however, is the difficulty of programming them and the low-level control...