SURVEY:SUMMARY:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] not_applicable SURVEY:SUMMARY:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:SUMMARY:CORRECT_CODE_LOCATION[string] You found correct website, but downloaded wrong code from it. State merging is not integrated in Cloud9, it is instead distributed as a separate archive. This is explained right where the State Merging is announced (in the "News" block on the website), and the link to the archive is provided there as well.You need to download the following archive: https://s3.amazonaws.com/static.cloud9.epfl.ch/cloud9-state-merging-pldi12.tar.bz2We also distribute the experimental data as well (not needed if you only want to re-run the experiments): https://s3.amazonaws.com/static.cloud9.epfl.ch/state-merging-expdata-pldi12.tar.bz2 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] no 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] You found correct website, but downloaded wrong code from it. State merging is not integrated in Cloud9, it is instead distributed as a separate archive. This is explained right where the State Merging is announced (in the "News" block on the website), and the link to the archive is provided there as well.You need to download the following archive: https://s3.amazonaws.com/static.cloud9.epfl.ch/cloud9-state-merging-pldi12.tar.bz2We also distribute the experimental data as well (not needed if you only want to re-run the experiments): https://s3.amazonaws.com/static.cloud9.epfl.ch/state-merging-expdata-pldi12.tar.bz2 SURVEY:AUTHOR1:PUBLIC_COMMENT[string] The implementation of the state merging algorithm described in our PLDI'12 paper is available as a self-contained archive with the source code and automated build scripts. For now, this code is not part of the Cloud9 distribution that the student built. Instead, it is available as a separate download, as explained on the Cloud9 website http://cloud9.epfl.ch/.

In addition to the source code, we also released the experimental data that we collected during our evaluation.

We provide support for the code on a dedicated mailing list (https://groups.google.com/forum/ #!forum/cloud9-dev). The list currently has nearly 50 members, many of whom successfully compiled the code and are using it for research. SURVEY:AUTHOR1:PUBLISHED_CODE[not_applicable, yes, no] yes SURVEY:AUTHOR1:SAME_VERSION[not_applicable, yes, no_but_available, no_and_not_available] yes SURVEY:AUTHOR1:SAME_VERSION_COMMENT[string] SURVEY:AUTHOR1:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] no