Publication Information

{'id': 'https://openalex.org/W3011029566', 'doi': 'https://doi.org/10.1145/3373376.3378475', 'title': 'Atomicity Checking in Linear Time using Vector Clocks', 'display_name': 'Atomicity Checking in Linear Time using Vector Clocks', 'publication_year': 2020, 'publication_date': '2020-03-09', 'ids': {'openalex': 'https://openalex.org/W3011029566', 'doi': 'https://doi.org/10.1145/3373376.3378475', 'mag': '3011029566'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1145/3373376.3378475', 'pdf_url': 'https://dl.acm.org/doi/pdf/10.1145/3373376.3378475', 'source': None, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'type': 'preprint', 'type_crossref': 'proceedings-article', 'indexed_in': ['arxiv', 'crossref', 'datacite'], 'open_access': {'is_oa': True, 'oa_status': 'bronze', 'oa_url': 'https://dl.acm.org/doi/pdf/10.1145/3373376.3378475', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5016958234', 'display_name': 'Umang Mathur', 'orcid': 'https://orcid.org/0000-0002-7610-0660'}, 'institutions': [{'id': 'https://openalex.org/I157725225', 'display_name': 'University of Illinois Urbana-Champaign', 'ror': 'https://ror.org/047426m28', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I157725225']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Umang Mathur', 'raw_affiliation_strings': ['University of Illinois at Urbana-Champaign, Urbana, IL, USA'], 'affiliations': [{'raw_affiliation_string': 'University of Illinois at Urbana-Champaign, Urbana, IL, USA', 'institution_ids': ['https://openalex.org/I157725225']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5076852218', 'display_name': 'Mahesh Viswanathan', 'orcid': 'https://orcid.org/0000-0001-7977-0080'}, 'institutions': [{'id': 'https://openalex.org/I157725225', 'display_name': 'University of Illinois Urbana-Champaign', 'ror': 'https://ror.org/047426m28', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I157725225']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'Mahesh Viswanathan', 'raw_affiliation_strings': ['University of Illinois at Urbana-Champaign, Urbana, IL, USA'], 'affiliations': [{'raw_affiliation_string': 'University of Illinois at Urbana-Champaign, Urbana, IL, USA', 'institution_ids': ['https://openalex.org/I157725225']}]}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': None, 'has_fulltext': True, 'fulltext_origin': 'pdf', 'cited_by_count': 23, 'citation_normalized_percentile': {'value': 0.997945, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 93, 'max': 94}, 'biblio': {'volume': None, 'issue': None, 'first_page': '183', 'last_page': '199'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10054', 'display_name': 'Parallel Computing and Optimization Techniques', 'score': 0.9999, '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'}}, 'topics': [{'id': 'https://openalex.org/T10054', 'display_name': 'Parallel Computing and Optimization Techniques', 'score': 0.9999, '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/T10772', 'display_name': 'Distributed systems and fault tolerance', 'score': 0.9997, '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/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.997, '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/atomicity', 'display_name': 'Atomicity', 'score': 0.92880356}, {'id': 'https://openalex.org/keywords/serializability', 'display_name': 'Serializability', 'score': 0.6062137}, {'id': 'https://openalex.org/keywords/interleaving', 'display_name': 'Interleaving', 'score': 0.49080834}, {'id': 'https://openalex.org/keywords/speedup', 'display_name': 'Speedup', 'score': 0.44529584}], 'concepts': [{'id': 'https://openalex.org/C188045909', 'wikidata': 'https://www.wikidata.org/wiki/Q3306359', 'display_name': 'Atomicity', 'level': 3, 'score': 0.92880356}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.8773366}, {'id': 'https://openalex.org/C191558696', 'wikidata': 'https://www.wikidata.org/wiki/Q137712', 'display_name': 'Serializability', 'level': 5, 'score': 0.6062137}, {'id': 'https://openalex.org/C28034677', 'wikidata': 'https://www.wikidata.org/wiki/Q17092530', 'display_name': 'Interleaving', 'level': 2, 'score': 0.49080834}, {'id': 'https://openalex.org/C138101251', 'wikidata': 'https://www.wikidata.org/wiki/Q213092', 'display_name': 'Thread (computing)', 'level': 2, 'score': 0.48142263}, {'id': 'https://openalex.org/C173608175', 'wikidata': 'https://www.wikidata.org/wiki/Q232661', 'display_name': 'Parallel computing', 'level': 1, 'score': 0.47461215}, {'id': 'https://openalex.org/C48044578', 'wikidata': 'https://www.wikidata.org/wiki/Q727490', 'display_name': 'Scalability', 'level': 2, 'score': 0.4501231}, {'id': 'https://openalex.org/C68339613', 'wikidata': 'https://www.wikidata.org/wiki/Q1549489', 'display_name': 'Speedup', 'level': 2, 'score': 0.44529584}, {'id': 'https://openalex.org/C80444323', 'wikidata': 'https://www.wikidata.org/wiki/Q2878974', 'display_name': 'Theoretical computer science', 'level': 1, 'score': 0.37079906}, {'id': 'https://openalex.org/C120314980', 'wikidata': 'https://www.wikidata.org/wiki/Q180634', 'display_name': 'Distributed computing', 'level': 1, 'score': 0.35882556}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.2714203}, {'id': 'https://openalex.org/C111919701', 'wikidata': 'https://www.wikidata.org/wiki/Q9135', 'display_name': 'Operating system', 'level': 1, 'score': 0.17997953}, {'id': 'https://openalex.org/C75949130', 'wikidata': 'https://www.wikidata.org/wiki/Q848010', 'display_name': 'Database transaction', 'level': 2, 'score': 0.17947876}, {'id': 'https://openalex.org/C72108876', 'wikidata': 'https://www.wikidata.org/wiki/Q844565', 'display_name': 'Transaction processing', 'level': 3, 'score': 0.17705005}, {'id': 'https://openalex.org/C25185021', 'wikidata': 'https://www.wikidata.org/wiki/Q4053284', 'display_name': 'Distributed transaction', 'level': 4, 'score': 0.0}], 'mesh': [], 'locations_count': 4, 'locations': [{'is_oa': True, 'landing_page_url': 'https://doi.org/10.1145/3373376.3378475', 'pdf_url': 'https://dl.acm.org/doi/pdf/10.1145/3373376.3378475', 'source': None, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, {'is_oa': True, 'landing_page_url': 'http://arxiv.org/abs/2001.04961', 'pdf_url': 'http://arxiv.org/pdf/2001.04961', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/2001.04961', 'pdf_url': 'https://arxiv.org/pdf/2001.04961', 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': None, 'license_id': None, 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://api.datacite.org/dois/10.48550/arxiv.2001.04961', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4393179698', 'display_name': 'DataCite API', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I4210145204', 'host_organization_name': 'DataCite', 'host_organization_lineage': ['https://openalex.org/I4210145204'], 'host_organization_lineage_names': ['DataCite'], 'type': 'metadata'}, 'license': None, 'license_id': None, 'version': None}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://doi.org/10.1145/3373376.3378475', 'pdf_url': 'https://dl.acm.org/doi/pdf/10.1145/3373376.3378475', 'source': None, 'license': None, 'license_id': None, 'version': 'publishedVersion', 'is_accepted': True, 'is_published': True}, 'sustainable_development_goals': [{'id': 'https://metadata.un.org/sdg/16', 'display_name': 'Peace, justice, and strong institutions', 'score': 0.81}], 'grants': [{'funder': 'https://openalex.org/F4320306076', 'funder_display_name': 'National Science Foundation', 'award_id': '1901069'}, {'funder': 'https://openalex.org/F4320309327', 'funder_display_name': 'Google', 'award_id': 'PhD Fellowship'}], 'datasets': [], 'versions': ['https://openalex.org/W3000335052', 'https://openalex.org/W3011029566'], 'referenced_works_count': 77, 'referenced_works': ['https://openalex.org/W1483476483', 'https://openalex.org/W1496148388', 'https://openalex.org/W1563374799', 'https://openalex.org/W1581214603', 'https://openalex.org/W1652742168', 'https://openalex.org/W1868584616', 'https://openalex.org/W1963966612', 'https://openalex.org/W1994305220', 'https://openalex.org/W1999075586', 'https://openalex.org/W2002096014', 'https://openalex.org/W2002946738', 'https://openalex.org/W2010830544', 'https://openalex.org/W2025871578', 'https://openalex.org/W2051393771', 'https://openalex.org/W2072062729', 'https://openalex.org/W2072419942', 'https://openalex.org/W2082766667', 'https://openalex.org/W2093101674', 'https://openalex.org/W2100627043', 'https://openalex.org/W2101161997', 'https://openalex.org/W2102640269', 'https://openalex.org/W2102731275', 'https://openalex.org/W2109033563', 'https://openalex.org/W2112401557', 'https://openalex.org/W2115313734', 'https://openalex.org/W2120027538', 'https://openalex.org/W2135954168', 'https://openalex.org/W2141607910', 'https://openalex.org/W2153174073', 'https://openalex.org/W2153229512', 'https://openalex.org/W2157888439', 'https://openalex.org/W2159812975', 'https://openalex.org/W2159856414', 'https://openalex.org/W2164726441', 'https://openalex.org/W2165422215', 'https://openalex.org/W2166091242', 'https://openalex.org/W2167744164', 'https://openalex.org/W2171076136', 'https://openalex.org/W2171537091', 'https://openalex.org/W2172255864', 'https://openalex.org/W2245661419', 'https://openalex.org/W2272267978', 'https://openalex.org/W2327265941', 'https://openalex.org/W2546468634', 'https://openalex.org/W2604985896', 'https://openalex.org/W2606910946', 'https://openalex.org/W2606939423', 'https://openalex.org/W2625706696', 'https://openalex.org/W2761882621', 'https://openalex.org/W2767894675', 'https://openalex.org/W2799137521', 'https://openalex.org/W2884340427', 'https://openalex.org/W2887512784', 'https://openalex.org/W2888262223', 'https://openalex.org/W2911806870', 'https://openalex.org/W2912271380', 'https://openalex.org/W2913647445', 'https://openalex.org/W2913672609', 'https://openalex.org/W2914920698', 'https://openalex.org/W2936795142', 'https://openalex.org/W2955814330', 'https://openalex.org/W2980051590', 'https://openalex.org/W3011029566', 'https://openalex.org/W3027461786', 'https://openalex.org/W3148851051', 'https://openalex.org/W3209492068', 'https://openalex.org/W40327287', 'https://openalex.org/W4206138900', 'https://openalex.org/W4210712189', 'https://openalex.org/W4229621504', 'https://openalex.org/W4235116491', 'https://openalex.org/W4243324871', 'https://openalex.org/W4247445868', 'https://openalex.org/W4247660350', 'https://openalex.org/W4250515648', 'https://openalex.org/W600896354', 'https://openalex.org/W80790317'], 'related_works': ['https://openalex.org/W50993356', 'https://openalex.org/W2494152628', 'https://openalex.org/W2409338718', 'https://openalex.org/W2383108850', 'https://openalex.org/W2249229821', 'https://openalex.org/W2171076136', 'https://openalex.org/W2084848907', 'https://openalex.org/W2037438990', 'https://openalex.org/W2034579025', 'https://openalex.org/W164845491'], 'abstract_inverted_index': {'Multi-threaded': [0], 'programs': [1], 'are': [2, 50], 'challenging': [3], 'to': [4, 9, 19, 43, 125, 140], 'write.': [5], 'Developers': [6], 'often': [7], 'need': [8], 'reason': [10, 20], 'about': [11, 21], 'a': [12, 77, 83, 92, 114, 143], 'prohibitively': [13], 'large': [14, 144], 'number': [15, 87, 145], 'of': [16, 24, 59, 70, 79, 88, 100, 128, 146], 'thread': [17], 'interleavings': [18], 'the': [22, 55, 98, 101, 104], 'behavior': [23], 'software.': [25], 'A': [26], 'non-interference': [27], 'property': [28], 'like': [29], 'atomicity': [30], 'can': [31, 94], 'reduce': [32], 'this': [33, 109], 'interleaving': [34], 'space': [35], 'by': [36, 73], 'ensuring': [37], 'that': [38, 121, 137], 'any': [39], 'execution': [40, 45], 'is': [41], 'equivalent': [42], 'an': [44, 132], 'where': [46], 'all': [47], 'atomic': [48], 'blocks': [49], 'executed': [51], 'serially.': [52], 'We': [53], 'consider': [54], 'well': [56], 'studied': [57], 'notion': [58], 'conflict': [60, 71, 129], 'serializability': [61, 72, 130], 'for': [62], 'dynamically': [63], 'checking': [64], 'atomicity.': [65], 'Existing': [66], 'algorithms': [67], 'detect': [68, 126], 'violations': [69, 127], 'detecting': [74], 'cycles': [75], 'in': [76, 82, 90, 131], 'graph': [78, 93], 'transactions': [80], 'observed': [81], 'given': [84], 'execution.': [85], 'The': [86], 'edges': [89], 'such': [91], 'grow': [95], 'quadratically': [96], 'with': [97, 142, 148], 'length': [99], 'trace': [102], 'making': [103], 'analysis': [105], 'not': [106], 'scalable.': [107], 'In': [108], 'paper,': [110], 'we': [111], 'present': [112], 'AeroDrome,': [113], 'novel': [115], 'single': [116], 'pass': [117], 'linear': [118], 'time': [119], 'algorithm': [120], 'uses': [122], 'vector': [123], 'clocks': [124], 'online': [133], 'setting.': [134], 'Experiments': [135], 'show': [136], 'AeroDrome': [138], 'scales': [139], 'traces': [141], 'events': [147], 'significant': [149], 'speedup.': [150]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W3011029566', 'counts_by_year': [{'year': 2024, 'cited_by_count': 6}, {'year': 2023, 'cited_by_count': 7}, {'year': 2022, 'cited_by_count': 2}, {'year': 2021, 'cited_by_count': 4}, {'year': 2020, 'cited_by_count': 3}], 'updated_date': '2024-12-17T07:44:18.728680', 'created_date': '2020-03-23'}