uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A Comparative Study of GPUVerify and GKLEE
BITS Pilani KK Birla Goa Campus, Dept Comp Sci & Informat Syst, Sancoale, Goa, India..
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computer Systems.ORCID iD: 0000-0002-2733-7098
BITS Pilani KK Birla Goa Campus, Dept Comp Sci & Informat Syst, Sancoale, Goa, India..
2016 (English)In: 2016 Fourth International Conference On Parallel, Distributed And Grid Computing (PDGC) / [ed] Kumar, P Singh, AK, IEEE , 2016, 112-117 p.Conference paper, Published paper (Refereed)
Abstract [en]

Use of Graphics Processing Unit (CPU) software is increasing due to the need for data intensive operations and availability of GPUs. This has led to a need for effective GPU software verification tools. These tools have to satisfy requirements such as accuracy, reliability and ease of use. In this work, we have considered two such tools: GPUVerify and GKLEE. Our objectives were to learn about the common challenges developers faced in GPU programming, to understand the specific bugs that these two tools report and compare their scope and scalability aspects. We have also considered usability and learnability aspects. In order to test the software, twenty-six benchmarks were selected from open-source applications. These benchmarks were then verified using the tools and the results documented and analysed. The conclusions have been included in the final section.

Place, publisher, year, edition, pages
IEEE , 2016. 112-117 p.
Keyword [en]
GPU kernel verification, GPUVerify, GKLEE
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:uu:diva-333851DOI: 10.1109/PDGC.2016.7913126ISI: 000403764900021ISBN: 978-1-5090-3669-1 OAI: oai:DiVA.org:uu-333851DiVA: diva2:1158093
Conference
4th IEEE International Conference on Parallel, Distributed and Grid Computing (IEEE PDGC), DEC 22-24, 2016, Waknaghat, INDIA
Available from: 2017-11-17 Created: 2017-11-17 Last updated: 2017-11-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Authority records BETA

Rümmer, Philipp

Search in DiVA

By author/editor
Rümmer, Philipp
By organisation
Computer Systems
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf