{"id":"https://openalex.org/W2322452817","doi":"https://doi.org/10.1109/tpds.2015.2453985","title":"Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas","display_name":"Verifying Pipelined-RAM Consistency over Read/Write Traces of Data Replicas","publication_year":2015,"publication_date":"2015-07-08","ids":{"openalex":"https://openalex.org/W2322452817","doi":"https://doi.org/10.1109/tpds.2015.2453985","mag":"2322452817"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2015.2453985","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2015.2453985","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Parallel and Distributed Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5071661810","display_name":"Hengfeng Wei","orcid":"https://orcid.org/0000-0002-0427-9710"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hengfeng Wei","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017733349","display_name":"Marzio De Biasi","orcid":"https://orcid.org/0000-0002-9458-4662"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marzio De Biasi","raw_affiliation_strings":["Computational Complexity, Puzzles and Machines organization, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Computational Complexity, Puzzles and Machines organization, Italy","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102718047","display_name":"Yu Huang","orcid":"https://orcid.org/0000-0001-8921-036X"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Huang","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100740023","display_name":"Jiannong Cao","orcid":"https://orcid.org/0000-0002-2725-2529"},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Jiannong Cao","raw_affiliation_strings":["Hong Kong Polytechnic University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Hong Kong Polytechnic University","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037645622","display_name":"Jian L\u00fc","orcid":"https://orcid.org/0000-0002-7025-7448"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jian Lu","raw_affiliation_strings":["State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":0.7138,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.80936957,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"27","issue":"5","first_page":"1511","last_page":"1523"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11181","display_name":"Advanced Data Storage Technologies","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6655827164649963},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.6416078805923462},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6205508708953857},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.5928818583488464},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5378965139389038},{"id":"https://openalex.org/keywords/partition","display_name":"Partition (number theory)","score":0.5296575427055359},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.5259349942207336},{"id":"https://openalex.org/keywords/weak-consistency","display_name":"Weak consistency","score":0.5208026170730591},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.48771247267723083},{"id":"https://openalex.org/keywords/replication","display_name":"Replication (statistics)","score":0.44846850633621216},{"id":"https://openalex.org/keywords/strong-consistency","display_name":"Strong consistency","score":0.3841104805469513},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38206151127815247},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3289625644683838},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.324332594871521},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24692082405090332},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.21647429466247559},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.1571153700351715},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.1167820394039154}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6655827164649963},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.6416078805923462},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6205508708953857},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.5928818583488464},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5378965139389038},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.5296575427055359},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.5259349942207336},{"id":"https://openalex.org/C122377713","wikidata":"https://www.wikidata.org/wiki/Q4422799","display_name":"Weak consistency","level":4,"score":0.5208026170730591},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.48771247267723083},{"id":"https://openalex.org/C12590798","wikidata":"https://www.wikidata.org/wiki/Q3933199","display_name":"Replication (statistics)","level":2,"score":0.44846850633621216},{"id":"https://openalex.org/C31388003","wikidata":"https://www.wikidata.org/wiki/Q7624548","display_name":"Strong consistency","level":3,"score":0.3841104805469513},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38206151127815247},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3289625644683838},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.324332594871521},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24692082405090332},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.21647429466247559},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.1571153700351715},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.1167820394039154},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C185429906","wikidata":"https://www.wikidata.org/wiki/Q1130160","display_name":"Estimator","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tpds.2015.2453985","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2015.2453985","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Parallel and Distributed Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.716.5646","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.716.5646","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cs.nju.edu.cn/yuhuang/huangyufiles/papers/2015-PRAM-TPDS.pdf","raw_type":"text"},{"id":"pmh:oai:ira.lib.polyu.edu.hk:10397/61293","is_oa":false,"landing_page_url":"http://hdl.handle.net/10397/61293","pdf_url":null,"source":{"id":"https://openalex.org/S4306400205","display_name":"PolyU Institutional Research Archive (Hong Kong Polytechnic University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I14243506","host_organization_name":"Hong Kong Polytechnic University","host_organization_lineage":["https://openalex.org/I14243506"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Journal/Magazine Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1141684774","display_name":"\u57fa\u4e8e\u5206\u5e03\u8c13\u8bcd\u68c0\u6d4b\u7684\u73af\u5883\u663e\u5f0f\u5316\u5efa\u6a21\u4e0e\u5904\u7406\u6280\u672f\u7814\u7a76","funder_award_id":"61272047","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4722731998","display_name":null,"funder_award_id":"91318301","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G6667581590","display_name":null,"funder_award_id":"61321491","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320320719","display_name":"Department of Science and Technology, Ministry of Science and Technology, India","ror":"https://ror.org/0101xrq71"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320324852","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760"},{"id":"https://openalex.org/F4320324979","display_name":"Universit\u00e0 degli Studi di Udine","ror":null},{"id":"https://openalex.org/F4320325599","display_name":"University of Science and Technology of China","ror":"https://ror.org/04c4dkn09"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1540040039","https://openalex.org/W1694765325","https://openalex.org/W1983472973","https://openalex.org/W1986463648","https://openalex.org/W2011039300","https://openalex.org/W2013451019","https://openalex.org/W2025301734","https://openalex.org/W2026697016","https://openalex.org/W2043801088","https://openalex.org/W2044902313","https://openalex.org/W2054584570","https://openalex.org/W2054739713","https://openalex.org/W2077693819","https://openalex.org/W2095135670","https://openalex.org/W2101309537","https://openalex.org/W2101939036","https://openalex.org/W2105945277","https://openalex.org/W2125930899","https://openalex.org/W2128551356","https://openalex.org/W2130923111","https://openalex.org/W2150013559","https://openalex.org/W2153704625","https://openalex.org/W2157953345","https://openalex.org/W2341655714","https://openalex.org/W6675536193","https://openalex.org/W6679474665"],"related_works":["https://openalex.org/W2322874084","https://openalex.org/W3150250461","https://openalex.org/W2971748376","https://openalex.org/W4308856035","https://openalex.org/W3094813857","https://openalex.org/W2343489657","https://openalex.org/W2560551601","https://openalex.org/W2798797233","https://openalex.org/W2916847028","https://openalex.org/W4242516926"],"abstract_inverted_index":{"Data":[0],"replication":[1,17,34],"technologies":[2],"in":[3],"distributed":[4],"storage":[5],"systems":[6,18],"introduce":[7],"the":[8,41,102,116,145,153,157,161,169],"problem":[9,42],"of":[10,53,118,168],"data":[11,16,33],"consistency.":[12,28],"For":[13,107],"high":[14],"performance,":[15],"often":[19],"settle":[20],"for":[21,49],"weak":[22],"consistency":[23],"models,":[24],"such":[25],"as":[26],"Pipelined-RAM":[27,37,44],"To":[29],"determine":[30],"whether":[31,65,76],"a":[32,129],"system":[35],"provides":[36],"consistency,":[38],"we":[39,109],"study":[40],"ofverifying":[43],"consistencyover":[45],"read/write":[46],"traces":[47],"(VPC,":[48],"short).":[50],"Four":[51],"variants":[52],"VPC":[54],"(labeled":[55],"VPC-SU,":[56],"VPC-MU,":[57,108],"VPC-SD,":[58],"and":[59,75,151,178],"VPC-MD)":[60,99],"are":[61,67],"identified":[62],"according":[63],"to":[64,87,164],"there":[66],"Multiple":[68],"shared":[69,89],"variables":[70],"(or":[71,83],"one":[72,148],"Single":[73],"variable)":[74],"write":[77],"operations":[78,147],"can":[79,137],"assign":[80],"Duplicate":[81],"values":[82,136],"only":[84],"Unique":[85],"values)":[86],"each":[88],"variable.":[90],"We":[91],"prove":[92],"that":[93,133],"VPC-SD":[94],"is$\\sf":[95],"{NP}$-complete":[96,104],"(so":[97],"is":[98],"by":[100,126,149],"reducing":[101],"strongly$\\sf":[103],"problem3-Partitionto":[105],"it.":[106],"present":[110],"theRead-Centricalgorithm":[111],"with":[112],"time":[113],"complexity$O(n^4)$,":[114],"where$n$is":[115],"number":[117],"operations.":[119],"The":[120,171],"algorithm":[121],"constructs":[122],"an":[123],"operation":[124],"graph":[125],"iteratively":[127],"applying":[128],"rule":[130],"which":[131],"guarantees":[132],"no":[134],"overwritten":[135],"be":[138],"read":[139,146],"later.":[140],"It":[141],"incrementally":[142],"processes":[143],"all":[144],"one,":[150],"exploits":[152],"total":[154],"order":[155],"between":[156],"dictating":[158],"writes":[159],"on":[160],"same":[162],"variable":[163],"avoid":[165],"redundant":[166],"applications":[167],"rule.":[170],"experiments":[172],"have":[173],"demonstrated":[174],"its":[175],"practical":[176],"efficiency":[177],"scalability.":[179]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}