ARTICLE:ANALYSIS_BY[name] student4
ARTICLE:ANALYSIS_TIME[minutes] 7
ARTICLE:COMMENT[string] 
ARTICLE:COMMERCIAL_EFFORT[none,part,full] none
ARTICLE:GRANT_SUPPORT[none or string] This work was partially supported by Korea Ministry of Education,  Science and Technology/Korea Science and Enginering Foundation’s ERC grant R11-2008-007-01002-0, Brain Korea 21, Mid-career Research Program 2010-0022061, and by Singapore Ministry of Education research grant MOE2010-T2-2-073.
ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] no
ARTICLE:LINK[url] http://dl.acm.org/citation.cfm?id=2254070&dl=ACM&coll=DL&CFID=217587786&CFTOKEN=30613891
ARTICLE:NSF_SUPPORT[none or number] none
ARTICLE:PAGE_COUNT[pages] 10
ARTICLE:STATUS[not_finished,finished] finished
ARTICLE:TYPE[conference,journal,poster,abstract] conference
AUTHOR:NAMES[list of first_last] Bruno_C._d._S._Oliveira Tom_Schrijvers Wontae_Choi Wonchan_Lee Kwangkeun_Yi
BIBTEX:LABEL[string] OliveiraSCLY12
BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/pldi/OliveiraSCLY12
BUILD:ANALYSIS_BY[name] 
BUILD:ANALYSIS_TIME[minutes] 
BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown
BUILD:COMMENT[string] issue with "Ambiguous module name `Prelude'" see build notes | student4 57
BUILD:ERROR_COMMENT[not_needed,comment] not_needed
BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] not_needed
BUILD:VERIFY_BY[name] 
BUILD:VERIFY_COMMENT[string] Built and ran successfully by student8 in 30 - but this was reclassified
BUILD:VERIFY_STATUS[needed,not_needed,started,finished] not_needed
BUILD:VERIFY_TIME[minutes] 
COMMENT:CORRECTION[string] Originally, we classified this paper as BC and OK_gt_30. In the survey response, the authors said that the paper as NC and that the paper's correctness depends on the correctness of the proofs and that the code is only an add-on. Therefore, we have reclassified it as NC.
COMMENT:RESPONSE[string] 
COMMENT:UPDATE[string] 
EMAIL1:CODE_AVAILABLE[yes,no,no_response] 
EMAIL1:REMARK[comment] 
EMAIL:STATUS[unknown,not_needed,not_found or list of {needed,request_1,response_1,sent_thank_you}] not_needed
PI:COMMENT_CC[string] 
PI:COMMENT_TP[string] 
TOOL:ARTICLE_LINK[unknown,none,url,broken and url] http://ropas.snu.ac.kr/~bruno/implicit/
TOOL:DATA_LINK[unknown,none,url,broken and url] unknown
TOOL:EMAIL_LINK[unknown,none,sent_no_url,url,broken and url] 
TOOL:GOOGLE_LINK[unknown,none,url,broken and url] 
TOOL:NAME[string] Implicit Calculus
VERIFY:ANALYSIS_BY[name] student7
VERIFY:COMMENT[string] needed article link
VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished