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] We thank the NVIDIA Corporation for their generous donation of both hardware and financial support. This material is based upon work performed in part while John Reppy was serving at the National Science Foundation. ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes ARTICLE:LINK[url] http://doi.acm.org/10.1145/2254064.2254079 ARTICLE:NSF_SUPPORT[none or number] 0000000 ARTICLE:PAGE_COUNT[pages] 10 ARTICLE:STATUS[not_finished,finished] finished ARTICLE:TYPE[conference,journal,poster,abstract] conference AUTHOR:NAMES[list of first_last] Charisee_Chiw Gordon_Kindlmann John_Reppy Lamont_Samuels Nick_Seltzer BIBTEX:LABEL[string] ChiwKRSS12 BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/pldi/ChiwKRSS12 BUILD:ANALYSIS_BY[name] student4 BUILD:ANALYSIS_TIME[minutes] 34 BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown BUILD:COMMENT[string] Trouble getting it to run test cases appeared to have error missing some dependency see build_notes BUILD:ERROR_COMMENT[not_needed,comment] MISSING_THIRD_PARTY_PACKAGE 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] 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] none 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] http://diderot-language.cs.uchicago.edu/downloads.html TOOL:NAME[string] Diderot VERIFY:ANALYSIS_BY[name] student5 VERIFY:COMMENT[string] Decided Tool exists, build yet to be verified VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished