Publication Information

{'id': 'https://openalex.org/W2811782531', 'doi': 'https://doi.org/10.1145/3236950.3236959', 'title': 'Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks', 'display_name': 'Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks', 'publication_year': 2018, 'publication_date': '2018-08-14', 'ids': {'openalex': 'https://openalex.org/W2811782531', 'doi': 'https://doi.org/10.1145/3236950.3236959', 'mag': '2811782531'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1145/3236950.3236959', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'preprint', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'https://arxiv.org/pdf/1807.03585', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5035364564', 'display_name': 'Martin Sulzmann', 'orcid': 'https://orcid.org/0000-0002-8165-3403'}, 'institutions': [{'id': 'https://openalex.org/I70886390', 'display_name': 'Karlsruhe University of Applied Sciences', 'ror': 'https://ror.org/01c0m1t63', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I70886390']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Martin Sulzmann', 'raw_affiliation_strings': ['Karlsruhe University of Applied Sciences, Karlsruhe, Germany'], 'affiliations': [{'raw_affiliation_string': 'Karlsruhe University of Applied Sciences, Karlsruhe, Germany', 'institution_ids': ['https://openalex.org/I70886390']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5032117711', 'display_name': 'Kai Stadtmüller', 'orcid': None}, 'institutions': [{'id': 'https://openalex.org/I70886390', 'display_name': 'Karlsruhe University of Applied Sciences', 'ror': 'https://ror.org/01c0m1t63', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I70886390']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Kai Stadtmüller', 'raw_affiliation_strings': ['Karlsruhe University of Applied Sciences, Karlsruhe, Germany'], 'affiliations': [{'raw_affiliation_string': 'Karlsruhe University of Applied Sciences, Karlsruhe, Germany', 'institution_ids': ['https://openalex.org/I70886390']}]}], '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': 'ngrams', 'cited_by_count': 12, 'citation_normalized_percentile': {'value': 0.997644, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 86, 'max': 87}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10054', 'display_name': 'Parallel Computing and Optimization Techniques', 'score': 0.9998, '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.9998, '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/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9984, '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'}}, {'id': 'https://openalex.org/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9982, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, '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/vector-clock', 'display_name': 'Vector clock', 'score': 0.8354182}, {'id': 'https://openalex.org/keywords/tracing', 'display_name': 'Tracing', 'score': 0.66594285}, {'id': 'https://openalex.org/keywords/trace', 'display_name': 'TRACE (psycholinguistics)', 'score': 0.6179824}], 'concepts': [{'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.859783}, {'id': 'https://openalex.org/C52563298', 'wikidata': 'https://www.wikidata.org/wiki/Q1413349', 'display_name': 'Vector clock', 'level': 5, 'score': 0.8354182}, {'id': 'https://openalex.org/C193702766', 'wikidata': 'https://www.wikidata.org/wiki/Q1414548', 'display_name': 'Concurrency', 'level': 2, 'score': 0.810272}, {'id': 'https://openalex.org/C138673069', 'wikidata': 'https://www.wikidata.org/wiki/Q322229', 'display_name': 'Tracing', 'level': 2, 'score': 0.66594285}, {'id': 'https://openalex.org/C75291252', 'wikidata': 'https://www.wikidata.org/wiki/Q1315756', 'display_name': 'TRACE (psycholinguistics)', 'level': 2, 'score': 0.6179824}, {'id': 'https://openalex.org/C854659', 'wikidata': 'https://www.wikidata.org/wiki/Q1859284', 'display_name': 'Message passing', 'level': 2, 'score': 0.6104437}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.4800621}, {'id': 'https://openalex.org/C138101251', 'wikidata': 'https://www.wikidata.org/wiki/Q213092', 'display_name': 'Thread (computing)', 'level': 2, 'score': 0.47380584}, {'id': 'https://openalex.org/C120314980', 'wikidata': 'https://www.wikidata.org/wiki/Q180634', 'display_name': 'Distributed computing', 'level': 1, 'score': 0.42567518}, {'id': 'https://openalex.org/C2778562939', 'wikidata': 'https://www.wikidata.org/wiki/Q1298791', 'display_name': 'Synchronization (alternating current)', 'level': 3, 'score': 0.18689242}, {'id': 'https://openalex.org/C31258907', 'wikidata': 'https://www.wikidata.org/wiki/Q1301371', 'display_name': 'Computer network', 'level': 1, 'score': 0.12907872}, {'id': 'https://openalex.org/C129891060', 'wikidata': 'https://www.wikidata.org/wiki/Q1513059', 'display_name': 'Clock synchronization', 'level': 4, 'score': 0.08482793}, {'id': 'https://openalex.org/C127162648', 'wikidata': 'https://www.wikidata.org/wiki/Q16858953', 'display_name': 'Channel (broadcasting)', 'level': 2, 'score': 0.0}, {'id': 'https://openalex.org/C41895202', 'wikidata': 'https://www.wikidata.org/wiki/Q8162', 'display_name': 'Linguistics', 'level': 1, 'score': 0.0}, {'id': 'https://openalex.org/C138885662', 'wikidata': 'https://www.wikidata.org/wiki/Q5891', 'display_name': 'Philosophy', 'level': 0, 'score': 0.0}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1145/3236950.3236959', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/1807.03585', 'pdf_url': 'https://arxiv.org/pdf/1807.03585', '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}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/1807.03585', 'pdf_url': 'https://arxiv.org/pdf/1807.03585', '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}, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 24, 'referenced_works': ['https://openalex.org/W1522334395', 'https://openalex.org/W186123808', 'https://openalex.org/W1971500760', 'https://openalex.org/W1971957791', 'https://openalex.org/W1976507378', 'https://openalex.org/W2005728319', 'https://openalex.org/W2020867825', 'https://openalex.org/W2040851906', 'https://openalex.org/W2046183160', 'https://openalex.org/W2055963247', 'https://openalex.org/W2089237839', 'https://openalex.org/W2120476011', 'https://openalex.org/W2146280225', 'https://openalex.org/W2204863282', 'https://openalex.org/W2296352734', 'https://openalex.org/W2304784773', 'https://openalex.org/W2512167970', 'https://openalex.org/W2564372592', 'https://openalex.org/W2606910946', 'https://openalex.org/W2795275488', 'https://openalex.org/W2811782531', 'https://openalex.org/W3137220996', 'https://openalex.org/W4211008702', 'https://openalex.org/W4235975350'], 'related_works': ['https://openalex.org/W4232891356', 'https://openalex.org/W4206956498', 'https://openalex.org/W3150606594', 'https://openalex.org/W2998398829', 'https://openalex.org/W2951317547', 'https://openalex.org/W2899486387', 'https://openalex.org/W2369494673', 'https://openalex.org/W2271865972', 'https://openalex.org/W2041807992', 'https://openalex.org/W2007723605'], 'abstract_inverted_index': {'Understanding': [0], 'the': [1, 63, 101, 142, 151], 'runtime': [2, 76], 'behavior': [3, 119], 'of': [4, 56, 62, 97, 150, 153], 'concurrent': [5], 'programs': [6], 'is': [7, 14, 94, 129], 'a': [8, 17, 44, 53, 75, 139], 'challenging': [9], 'task.': [10], 'A': [11], 'popular': [12], 'approach': [13, 128], 'to': [15, 47, 83, 104, 132], 'establish': [16], 'happens-before': [18], 'relation': [19], 'via': [20], 'vector': [21, 49, 106], 'clocks.': [22], 'Thus,': [23, 115], 'we': [24, 116], 'can': [25, 117], 'identify': [26], 'bugs': [27], 'and': [28, 72, 99, 146], 'performance': [29], 'bottlenecks,': [30], 'for': [31, 52, 141], 'example,': [32], 'by': [33], 'checking': [34], 'if': [35], 'two': [36], 'conflicting': [37], 'events': [38, 81], 'may': [39], 'happen': [40], 'concurrently.': [41], 'We': [42, 136], 'employ': [43], 'two-phase': [45], 'method': [46], 'derive': [48], 'clock': [50, 107], 'information': [51], 'wide': [54], 'range': [55], 'concurrency': [57, 85], 'features': [58, 65], 'that': [59, 78, 86, 120], 'includes': [60], 'all': [61, 80], 'message-passing': [64, 84], 'in': [66], 'Go.': [67], 'The': [68, 89], 'first': [69], 'phase': [70, 91], '(instrumentation': [71], 'tracing)': [73], 'yields': [74], 'trace': [77], 'records': [79], 'related': [82], 'took': [87], 'place.': [88], 'second': [90], '(trace': [92], 'replay)': [93], 'carried': [95], 'out': [96], 'fline': [98], 'replays': [100], 'recorded': [102], 'traces': [103], 'infer': [105], 'information.': [108], 'Trace': [109], 'replay': [110], 'operates': [111], 'on': [112], 'thread-local': [113], 'traces.': [114], 'observe': [118], 'might': [121], 'result': [122], 'from': [123], 'some': [124], 'alternative': [125], 'schedule.': [126], 'Our': [127], 'not': [130], 'tied': [131], 'any': [133], 'specific': [134], 'language.': [135], 'have': [137], 'built': [138], 'prototype': [140], 'Go': [143], 'programming': [144], 'language': [145], 'provide': [147], 'empirical': [148], 'evidence': [149], 'usefulness': [152], 'our': [154], 'method.': [155]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2811782531', 'counts_by_year': [{'year': 2024, 'cited_by_count': 1}, {'year': 2023, 'cited_by_count': 2}, {'year': 2022, 'cited_by_count': 1}, {'year': 2021, 'cited_by_count': 4}, {'year': 2020, 'cited_by_count': 2}, {'year': 2019, 'cited_by_count': 1}, {'year': 2018, 'cited_by_count': 1}], 'updated_date': '2024-12-11T13:02:06.664131', 'created_date': '2018-07-19'}