ARTICLE:ANALYSIS_BY[name] student4
ARTICLE:ANALYSIS_TIME[minutes] 6
ARTICLE:COMMENT[string] "We are currently refactoring code for ease of use. Will be available soon. If you are interested in experimenting with an alpha version, email Santosh Nagarakatte." -http://www.cs.rutgers.edu/~santosh.nagarakatte/needlepoint/
ARTICLE:COMMERCIAL_EFFORT[none,part,full] part
ARTICLE:GRANT_SUPPORT[none or string] This paper is based upon work supported by the National Science Foundation (NSF) under Grant No. CCF-0644197 and CCF-0905464.
ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes
ARTICLE:LINK[url] http://dl.acm.org/citation.cfm?id=2254128&dl=ACM&coll=DL&CFID=217587786&CFTOKEN=30613891
ARTICLE:NSF_SUPPORT[none or number] CCF-0644197, CCF-0905464
ARTICLE:PAGE_COUNT[pages] 12
ARTICLE:STATUS[not_finished,finished] finished
ARTICLE:TYPE[conference,journal,poster,abstract] conference
AUTHOR:NAMES[list of first_last] Santosh_Nagarakatte Sebastian_Burckhardt Milo_M._K._Martin Madanlal_Musuvathi
BIBTEX:LABEL[string] NagarakatteBMM12
BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/pldi/NagarakatteBMM12
BUILD:ANALYSIS_BY[name] 
BUILD:ANALYSIS_TIME[minutes] 
BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown
BUILD:COMMENT[string] 
BUILD:ERROR_COMMENT[not_needed,comment] not_needed
BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] unknown
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_no. We did not receive code within our two month window after the initial request. In the survey response, the authors said that the code is now available. Our policy is to consider the code available at the time of the study. Therefore, we have kept the original classification of EM_no.
COMMENT:UPDATE[string] 
EMAIL1:CODE_AVAILABLE[yes,no,no_response] no
EMAIL1:REMARK[comment] available_soon
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] unknown
TOOL:GOOGLE_LINK[unknown,none,url,broken and url] none
TOOL:NAME[string] NeedlePoint
VERIFY:ANALYSIS_BY[name] student7
VERIFY:COMMENT[string] needed article link
VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished