ARTICLE:ANALYSIS_BY[name] student0 ARTICLE:ANALYSIS_TIME[minutes] 3 ARTICLE:COMMENT[string] ARTICLE:COMMERCIAL_EFFORT[none,part,full] none ARTICLE:GRANT_SUPPORT[none or string] Funded in part by NSF Grant 1053594, the Arlene & Arnold Goldstein Center at the Technion Au- tonomous Systems Program, a Technion fellowship, and an Andrew and Erna Finci Viterbi Postdoctoral Fellowship. ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes ARTICLE:LINK[url] http://www.vldb.org/pvldb/vol5/p1459_stacypatterson_vldb2012.pdf ARTICLE:NSF_SUPPORT[none or number] NSF Grant 1053594 ARTICLE:PAGE_COUNT[pages] 12 ARTICLE:STATUS[not_finished,finished] finished ARTICLE:TYPE[conference,journal,poster,abstract] conference AUTHOR:NAMES[list of first_last] Stacy_Patterson Aaron_J._Elmore Faisal_Nawab Divyakant_Agrawal Amr_El_Abbadi BIBTEX:LABEL[string] PattersonENAA12 BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/journals/pvldb/PattersonENAA12 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 BC. In the survey response, the authors said that the code is secondary to the proofs. The paper includes code benchmarks. Therefore, we have kept the original classification of BC. COMMENT:UPDATE[string] EMAIL1:CODE_AVAILABLE[yes,no,no_response] no EMAIL1:REMARK[comment] EMAIL:STATUS[unknown,not_needed,not_found or list of {needed,request_1,response_1,sent_thank_you}] needed request_1 request_2 response_1 response_2 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] Paxos-CP VERIFY:ANALYSIS_BY[name] student5 VERIFY:COMMENT[string] none VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished