cff-version: 1.2.0
abstract: "# GPU Questions<br>This is the data from the card sorting from the paper "Formal methods for GPGPU programming: is the demand met?" (Section 3) that will be published at integrated Formal Methods 2020.<br><br>The original questions, with title and body can be found in the `complete_dataset_GPGPUtags.csv` file. Note that there are duplicates, but that doesn't matter.<br><br>The file `Results_final.csv` has all the categories associated with the questions resulting from the card sorting.<br><br>The file `categories.csv` has the sums of all the categories<br><br>Note that some questions have since been removed from stack overflow, but otherwise the questions can be found via: `https://stackoverflow.com/questions/[id]` where [id] is the id of the questions."
authors:
  - family-names: Haak, van den
    given-names: Lars
    orcid: "https://orcid.org/0000-0002-0330-5016"
  - family-names: Wijs
    given-names: Anton
  - family-names: van den Brand
    given-names: Mark
  - family-names: Huisman
    given-names: Marieke
    orcid: "https://orcid.org/0000-0003-4467-072X"
title: "Card sorting data for Formal methods for GPGPU programming: is the demand met?"
keywords:
version: 1
identifiers:
  - type: doi
    value: 10.4121/12988781.v1
license: CC0
date-released: 2020-11-02