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] 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] reasonable_effort SURVEY:AUTHOR1:BUILD_DIFFICULTY_COMMENT[string] SURVEY:AUTHOR1:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:AUTHOR1:CLASSIFICATION_COMMENT[string] SURVEY:AUTHOR1:CORRECT_CODE_LOCATION[string] SURVEY:AUTHOR1:PUBLIC_COMMENT[string] 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] yes SURVEY:AUTHOR2:BUILD_COMMENT[string] SURVEY:AUTHOR2:BUILD_DIFFICULTY[not_applicable, reasonable_effort, code_problematic or string] You downloaded the current binary release. SURVEY:AUTHOR2:BUILD_DIFFICULTY_COMMENT[string] The source release corresponding to the PLDI'12 paper is at the aforementioned URLs. SURVEY:AUTHOR2:CLASSIFICATION[practical,theoretical,hardware] practical SURVEY:AUTHOR2:CLASSIFICATION_COMMENT[string] Your classification pretends that papers should be either practical or theoretical. That simply isn't the case: many PLDI or OOPSLA papers nowadays present a formal type system with attendant proofs and also a real-world language implementation. Similarly, our paper presents all key algorithms but also features an implementation. 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] no_but_available SURVEY:AUTHOR2:SAME_VERSION_COMMENT[string] http://cs.nyu.edu/xtc/xtc-core-2.3.0.zip and http://cs.nyu.edu/xtc/xtc-testsuite-2.3.0.zip(they simply need to be linked from the home page). SURVEY:AUTHOR2:STUDY_FOUND_CORRECT_CODE[not_applicable, yes, no] yes