ARTICLE:ANALYSIS_BY[name] student4 ARTICLE:ANALYSIS_TIME[minutes] 7 ARTICLE:COMMENT[string] may have used liquid haskell (linux)( http://goto.ucsd.edu/~rjhala/liquid/haskell/blog/about/ ) not clear to me if this was used for what they called liquid effects, they did test with csolve and test cases not to be found, unless with liquid haskell ARTICLE:COMMERCIAL_EFFORT[none,part,full] none ARTICLE:GRANT_SUPPORT[none or string] This work was supported by NSF grants CCF-0644361, CNS-0720802, CCF-0702603, and a gift from Microsoft Research. ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes ARTICLE:LINK[url] http://dl.acm.org/citation.cfm?id=2254071 ARTICLE:NSF_SUPPORT[none or number] CCF-0644361 ,CNS-0720802 ,CCF-0702603 ARTICLE:PAGE_COUNT[pages] 10 ARTICLE:STATUS[not_finished,finished] finished ARTICLE:TYPE[conference,journal,poster,abstract] conference AUTHOR:NAMES[list of first_last] Ming_Kawaguchi Patrick_Maxim_Rondon Alexander_Bakst Ranjit_Jhala BIBTEX:LABEL[string] KawaguchiRBJ12 BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/pldi/KawaguchiRBJ12 BUILD:ANALYSIS_BY[name] student4 BUILD:ANALYSIS_TIME[minutes] 45 BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown BUILD:COMMENT[string] online version of code works - didn't try to build 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 runs online 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] unknown TOOL:GOOGLE_LINK[unknown,none,url,broken and url] http://goto.ucsd.edu/csolve/ TOOL:NAME[string] Liquid Effects VERIFY:ANALYSIS_BY[name] student5 VERIFY:COMMENT[string] link to tool found on author's slides (google), updated tool link , build phase has to be performed again since tool link was different, CSOLVE is used in implementation, email set to unknown, added article link VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished