ARTICLE:ANALYSIS_BY[name] student4
ARTICLE:ANALYSIS_TIME[minutes] 10
ARTICLE:COMMENT[string] verified in coq
ARTICLE:COMMERCIAL_EFFORT[none,part,full] none
ARTICLE:GRANT_SUPPORT[none or string] This research was sponsored in part by NSF grants CCF-0915030, CCF-0915157, CNS-0910660, CCF-1149211, AFOSR MURI grant FA9550-09-1-0539, and a gift from Google.
ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes
ARTICLE:LINK[url] http://dl.acm.org/citation.cfm?id=2254111&dl=ACM&coll=DL&CFID=217587786&CFTOKEN=30613891
ARTICLE:NSF_SUPPORT[none or number] CCF-0915030, CCF-0915157, CNS-0910660, CCF-1149211
ARTICLE:PAGE_COUNT[pages] 10
ARTICLE:STATUS[not_finished,finished] finished
ARTICLE:TYPE[conference,journal,poster,abstract] conference
AUTHOR:NAMES[list of first_last] Greg_Morrisett Gang_Tan Joseph_Tassarotti Jean-Baptiste_Tristan Edward_Gan
BIBTEX:LABEL[string] MorrisettTTTG12
BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/pldi/MorrisettTTTG12
BUILD:ANALYSIS_BY[name] student5
BUILD:ANALYSIS_TIME[minutes] 50
BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown
BUILD:COMMENT[string] Tried x86 version of the build, it works. No example provided to test the software.
BUILD:ERROR_COMMENT[not_needed,comment] not_needed
BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] finished downloaded compiles
BUILD:VERIFY_BY[name] 
BUILD:VERIFY_COMMENT[string] 
BUILD:VERIFY_STATUS[needed,not_needed,started,finished] not_needed
BUILD:VERIFY_TIME[minutes] 
COMMENT:CORRECTION[string] 
COMMENT:RESPONSE[string] We originally classified this paper as Em_yes. In the survey response, one author said that we didn't find the correct code and the other two said that we did. The link that we used matches links given in the survey. We have kept the original classification of EM_yes.
COMMENT:UPDATE[string] 
EMAIL1:CODE_AVAILABLE[yes,no,no_response] yes
EMAIL1:REMARK[comment] 
EMAIL:STATUS[unknown,not_needed,not_found or list of {needed,request_1,response_1,sent_thank_you}] needed request_1 response_1 sent_thank_you
PI:COMMENT_CC[string] 
PI:COMMENT_TP[string] 
TOOL:ARTICLE_LINK[unknown,none,url,broken and url] none
TOOL:DATA_LINK[unknown,none,url,broken and url] unknown
TOOL:EMAIL_LINK[unknown,none,sent_no_url,url,broken and url] broken http://sos.cse.lehigh.edu/gonative/
TOOL:GOOGLE_LINK[unknown,none,url,broken and url] none
TOOL:NAME[string] RockSalt
VERIFY:ANALYSIS_BY[name] student7
VERIFY:COMMENT[string] needed article link
VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished