(11.22 MB)
Download file

Card sorting data for Formal methods for GPGPU programming: is the demand met?

Download (11.22 MB)
# GPU Questions
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.

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.

The file `Results_final.csv` has all the categories associated with the questions resulting from the card sorting.

The file `categories.csv` has the sums of all the categories

Note that some questions have since been removed from stack overflow, but otherwise the questions can be found via: `[id]` where [id] is the id of the questions.





Eindhoven University of Technology University of Twente