SURVEY:SUMMARY:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] reasonable_effort SURVEY:SUMMARY:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:SUMMARY:CORRECT_CODE_LOCATION[string] The link you provided shows where to get the *current* code, and the 2012 binary mentioned above. SURVEY:SUMMARY:PUBLISHED_CODE[not_applicable, yes, no] yes SURVEY:SUMMARY:SAME_VERSION[not_applicable, yes, no_but_available, no_and_not_available] yes SURVEY:SUMMARY:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR1:BUILD_COMMENT[string] SURVEY:AUTHOR1:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] not_applicable SURVEY:AUTHOR1:BUILD_DIFFICULTY_COMMENT[string] none SURVEY:AUTHOR1:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:AUTHOR1:CLASSIFICATION_COMMENT[string] SURVEY:AUTHOR1:CORRECT_CODE_LOCATION[string] The link you provided shows where to get the *current* code, and the 2012 binary mentioned above. SURVEY:AUTHOR1:PUBLIC_COMMENT[string] I think it's fantastic that you have undertaken this comprehensive study. SURVEY:AUTHOR1:PUBLISHED_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR1:SAME_VERSION[not_applicable, yes, no_but_available, no_and_not_available] no_but_available SURVEY:AUTHOR1:SAME_VERSION_COMMENT[string] We published, and still have available, a Windows binary for our OOPSLA 2012 paper.The GPUVerify project is now fully open source, with (I think) clear build instructions. However, the tool is way better than it was in 2012 so the latest version will not precisely reproduce the results of the 2012 version.We *could* make the 2012 version available, but it would require figuring out exactly which revision of the various components we used in 2012. SURVEY:AUTHOR1:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] no SURVEY:AUTHOR2:BUILD_COMMENT[string] SURVEY:AUTHOR2:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] reasonable_effort SURVEY:AUTHOR2:BUILD_DIFFICULTY_COMMENT[string] The exact download corresponding to our OOPSLA'12 paper requires Windows. Nightly builds of GPUVerify for Linux require a recent version of mono to be installed. We include instructions for this. SURVEY:AUTHOR2:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:AUTHOR2:CLASSIFICATION_COMMENT[string] SURVEY:AUTHOR2:CORRECT_CODE_LOCATION[string] SURVEY:AUTHOR2:PUBLIC_COMMENT[string] SURVEY:AUTHOR2:PUBLISHED_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR2:SAME_VERSION[not_applicable, yes, no_but_available, no_and_not_available] yes SURVEY:AUTHOR2:SAME_VERSION_COMMENT[string] The exact code and benchmarks are available as a download:http://multicore.doc.ic.ac.uk/tools/GPUVerify/download.phpThis page also provides a nightly build of the GPUVerify which is more recent. SURVEY:AUTHOR2:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR3:BUILD_COMMENT[string] SURVEY:AUTHOR3:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] reasonable_effort SURVEY:AUTHOR3:BUILD_DIFFICULTY_COMMENT[string] SURVEY:AUTHOR3:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:AUTHOR3:CLASSIFICATION_COMMENT[string] SURVEY:AUTHOR3:CORRECT_CODE_LOCATION[string] SURVEY:AUTHOR3:PUBLIC_COMMENT[string] SURVEY:AUTHOR3:PUBLISHED_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR3:SAME_VERSION[not_applicable, yes, no_but_available, no_and_not_available] yes SURVEY:AUTHOR3:SAME_VERSION_COMMENT[string] SURVEY:AUTHOR3:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] yes