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 are grateful to Google and Microsoft for generously supporting our work. ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes ARTICLE:LINK[url] http://dl.acm.org/citation.cfm?id=2254088&dl=ACM&coll=DL&CFID=217587786&CFTOKEN=30613891 ARTICLE:NSF_SUPPORT[none or number] none ARTICLE:PAGE_COUNT[pages] 12 ARTICLE:STATUS[not_finished,finished] finished ARTICLE:TYPE[conference,journal,poster,abstract] conference AUTHOR:NAMES[list of first_last] Volodymyr_Kuznetsov Johannes_Kinder Stefan_Bucur George_Candea BIBTEX:LABEL[string] KuznetsovKBC12 BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/pldi/KuznetsovKBC12 BUILD:ANALYSIS_BY[name] student0 BUILD:ANALYSIS_TIME[minutes] 30 BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown BUILD:COMMENT[string] issue with llvm building 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 runs BUILD:VERIFY_BY[name] student4 BUILD:VERIFY_COMMENT[string] BUILD:VERIFY_STATUS[needed,not_needed,started,finished] finished BUILD:VERIFY_TIME[minutes] 480 COMMENT:CORRECTION[string] In the survey response, the authors said that we built the wrong code. We built related but incorrect code from their website. Therefore, we have attempted to compile the correct code. 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://cloud9.epfl.ch/ 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] Efficient State Merging in Symbolic Execution VERIFY:ANALYSIS_BY[name] student7 VERIFY:COMMENT[string] needed article link VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished