{"id":"https://openalex.org/W2192729013","doi":"https://doi.org/10.1109/tse.2015.2467371","title":"Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures","display_name":"Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures","publication_year":2015,"publication_date":"2015-08-13","ids":{"openalex":"https://openalex.org/W2192729013","doi":"https://doi.org/10.1109/tse.2015.2467371","mag":"2192729013"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2015.2467371","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2467371","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Software Engineering","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/A5100388550","display_name":"Lu Zhang","orcid":"https://orcid.org/0000-0001-5115-4518"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lu Zhang","raw_affiliation_strings":["Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University (Virginia Tech), Blacksburg, VA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University (Virginia Tech), Blacksburg, VA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005480799","display_name":"Arijit Chattopadhyay","orcid":null},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Arijit Chattopadhyay","raw_affiliation_strings":["Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University (Virginia Tech), Blacksburg, VA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University (Virginia Tech), Blacksburg, VA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100406941","display_name":"Chao Wang","orcid":"https://orcid.org/0000-0002-1083-109X"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Chao Wang","raw_affiliation_strings":["Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University (Virginia Tech), Blacksburg, VA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bradley Department of Electrical and Computer Engineering, Virginia Polytechnic Institute and State University (Virginia Tech), Blacksburg, VA","institution_ids":["https://openalex.org/I859038795"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I859038795"],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":0.7192,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.80208485,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":"41","issue":"12","first_page":"1202","last_page":"1216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":1.0,"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":1.0,"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.9997000098228455,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/linearizability","display_name":"Linearizability","score":0.9492531418800354},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8946335315704346},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6957617402076721},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5884044170379639},{"id":"https://openalex.org/keywords/concurrent-data-structure","display_name":"Concurrent data structure","score":0.5850710272789001},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.5507395267486572},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5468168258666992},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.52738356590271},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5014276504516602},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.49127405881881714},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.4229496121406555},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.40663576126098633},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.37670329213142395},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3605160713195801}],"concepts":[{"id":"https://openalex.org/C20528329","wikidata":"https://www.wikidata.org/wiki/Q513932","display_name":"Linearizability","level":3,"score":0.9492531418800354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8946335315704346},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6957617402076721},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5884044170379639},{"id":"https://openalex.org/C203222032","wikidata":"https://www.wikidata.org/wiki/Q5159104","display_name":"Concurrent data structure","level":3,"score":0.5850710272789001},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.5507395267486572},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5468168258666992},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.52738356590271},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5014276504516602},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.49127405881881714},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.4229496121406555},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.40663576126098633},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.37670329213142395},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3605160713195801},{"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/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2015.2467371","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2467371","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","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 Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":61,"referenced_works":["https://openalex.org/W71333976","https://openalex.org/W103567565","https://openalex.org/W134469934","https://openalex.org/W192267309","https://openalex.org/W995851627","https://openalex.org/W1411363976","https://openalex.org/W1522334395","https://openalex.org/W1534988187","https://openalex.org/W1543180701","https://openalex.org/W1553228708","https://openalex.org/W1556323883","https://openalex.org/W1575599371","https://openalex.org/W1579452275","https://openalex.org/W1581214603","https://openalex.org/W1606621385","https://openalex.org/W1668135660","https://openalex.org/W1893845610","https://openalex.org/W1919495026","https://openalex.org/W1970702766","https://openalex.org/W1977476643","https://openalex.org/W1978493229","https://openalex.org/W1983572666","https://openalex.org/W2003293595","https://openalex.org/W2033757118","https://openalex.org/W2035510793","https://openalex.org/W2054739713","https://openalex.org/W2056637671","https://openalex.org/W2082679906","https://openalex.org/W2082766667","https://openalex.org/W2086939182","https://openalex.org/W2101939036","https://openalex.org/W2102640269","https://openalex.org/W2109033563","https://openalex.org/W2111759889","https://openalex.org/W2113027907","https://openalex.org/W2138927523","https://openalex.org/W2149074552","https://openalex.org/W2153229512","https://openalex.org/W2157888439","https://openalex.org/W2160059864","https://openalex.org/W2161466480","https://openalex.org/W2165422215","https://openalex.org/W2166580349","https://openalex.org/W2295944892","https://openalex.org/W2341655714","https://openalex.org/W2911806870","https://openalex.org/W4235116491","https://openalex.org/W4243324871","https://openalex.org/W4256696816","https://openalex.org/W6602840258","https://openalex.org/W6607855351","https://openalex.org/W6631212040","https://openalex.org/W6631773662","https://openalex.org/W6632442514","https://openalex.org/W6632781076","https://openalex.org/W6633320249","https://openalex.org/W6634706149","https://openalex.org/W6634709934","https://openalex.org/W6639489693","https://openalex.org/W6684327164","https://openalex.org/W6758571485"],"related_works":["https://openalex.org/W2401048407","https://openalex.org/W1506186203","https://openalex.org/W1589338698","https://openalex.org/W2907766023","https://openalex.org/W2762846896","https://openalex.org/W1544746240","https://openalex.org/W2033757118","https://openalex.org/W3006268170","https://openalex.org/W59785199","https://openalex.org/W3197177433"],"abstract_inverted_index":{"We":[0,106],"propose":[1],"a":[2,9,65,112,121],"new":[3,134],"method":[4,70,76,110,135],"for":[5,16,77],"runtime":[6,43,68],"checking":[7,78],"of":[8,25,50,58,85,148],"relaxed":[10],"consistency":[11],"property":[12],"called":[13,126],"quasi":[14,79,95,140],"linearizability":[15,20,26,80,96,141],"concurrent":[17,60,86,101,149],"data":[18,61,87,150],"structures.Quasi":[19],"generalizes":[21],"the":[22,31,42,47,55,59,72,82,93,100,117,133,144],"standard":[23],"notion":[24],"by":[27,99],"introducing":[28],"nondeterminism":[29,39],"into":[30],"parallel":[32],"computations":[33],"quantitatively":[34],"and":[35,120],"then":[36],"exploiting":[37],"such":[38],"to":[40],"improve":[41],"performance.":[44],"However,":[45],"ensuring":[46],"quantitative":[48],"aspects":[49],"this":[51],"correctness":[52],"condition":[53],"in":[54,81,111,138,143],"low-level":[56],"code":[57,84,146],"structure":[62],"implementation":[63],"is":[64,71,136],"difficult":[66],"task.Our":[67],"verification":[69],"first":[73],"fully":[74],"automated":[75],"C/C++":[83],"structures.":[88,151],"It":[89],"guarantees":[90],"that":[91,132],"all":[92],"reported":[94],"violations":[97,142],"manifested":[98],"executions":[102],"are":[103],"real":[104],"violations.":[105],"have":[107],"implemented":[108],"our":[109],"software":[113],"tool":[114,125],"based":[115],"on":[116],"LLVM":[118],"compiler":[119],"systematic":[122],"concurrency":[123],"testing":[124],"Inspect.":[127],"Our":[128],"experimental":[129],"evaluation":[130],"shows":[131],"effective":[137],"detecting":[139],"source":[145],"implementations":[147]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}