{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2019:3OPDBPTSVWPB3XMCSTVVTHBGSI","short_pith_number":"pith:3OPDBPTS","schema_version":"1.0","canonical_sha256":"db9e30be72ad9e1ddd8294eb599c26920eee66ca08fd2d6907a9a3b34509e1e1","source":{"kind":"arxiv","id":"1907.07110","version":1},"attestation_state":"computed","paper":{"title":"DeepRace: Finding Data Race Bugs via Deep Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Ali Jannesari, Ali Tehrani, Mohammed Khaleel, Reza Akbari","submitted_at":"2019-07-15T07:45:01Z","abstract_excerpt":"With the proliferation of multi-core hardware, parallel programs have become ubiquitous. These programs have their own type of bugs known as concurrency bugs and among them, data race bugs have been mostly in the focus of researchers over the past decades. In fact, detecting data races is a very challenging and important task. There have been several research paths in this area with many sophisticated tools designed and utilized that focus on detecting data race at the file level. In this paper, we propose DeepRace, a novel approach toward detecting data races in the source code. We build a de"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1907.07110","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2019-07-15T07:45:01Z","cross_cats_sorted":[],"title_canon_sha256":"9c0a34dd54d61ffaf84e67c299b8390624f0997d170732fd089605b229e7575b","abstract_canon_sha256":"9b2ac5e115e5cdfbf767c1b43b32c3aebd1b912a05dfec858e6d312b3b4623e6"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:40:28.057331Z","signature_b64":"ZENYJz9IPM8DCN1B+ezWNXlrU25Q/GcmnMfE3nn40AfpatFloVH1rg+5j+IzuoqeePJUMWvkqfWceZvWhsOLDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"db9e30be72ad9e1ddd8294eb599c26920eee66ca08fd2d6907a9a3b34509e1e1","last_reissued_at":"2026-05-17T23:40:28.056756Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:40:28.056756Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"DeepRace: Finding Data Race Bugs via Deep Learning","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Ali Jannesari, Ali Tehrani, Mohammed Khaleel, Reza Akbari","submitted_at":"2019-07-15T07:45:01Z","abstract_excerpt":"With the proliferation of multi-core hardware, parallel programs have become ubiquitous. These programs have their own type of bugs known as concurrency bugs and among them, data race bugs have been mostly in the focus of researchers over the past decades. In fact, detecting data races is a very challenging and important task. There have been several research paths in this area with many sophisticated tools designed and utilized that focus on detecting data race at the file level. In this paper, we propose DeepRace, a novel approach toward detecting data races in the source code. We build a de"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1907.07110","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"1907.07110","created_at":"2026-05-17T23:40:28.056827+00:00"},{"alias_kind":"arxiv_version","alias_value":"1907.07110v1","created_at":"2026-05-17T23:40:28.056827+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1907.07110","created_at":"2026-05-17T23:40:28.056827+00:00"},{"alias_kind":"pith_short_12","alias_value":"3OPDBPTSVWPB","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_16","alias_value":"3OPDBPTSVWPB3XMC","created_at":"2026-05-18T12:33:07.085635+00:00"},{"alias_kind":"pith_short_8","alias_value":"3OPDBPTS","created_at":"2026-05-18T12:33:07.085635+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI","json":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI.json","graph_json":"https://pith.science/api/pith-number/3OPDBPTSVWPB3XMCSTVVTHBGSI/graph.json","events_json":"https://pith.science/api/pith-number/3OPDBPTSVWPB3XMCSTVVTHBGSI/events.json","paper":"https://pith.science/paper/3OPDBPTS"},"agent_actions":{"view_html":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI","download_json":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI.json","view_paper":"https://pith.science/paper/3OPDBPTS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1907.07110&json=true","fetch_graph":"https://pith.science/api/pith-number/3OPDBPTSVWPB3XMCSTVVTHBGSI/graph.json","fetch_events":"https://pith.science/api/pith-number/3OPDBPTSVWPB3XMCSTVVTHBGSI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI/action/storage_attestation","attest_author":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI/action/author_attestation","sign_citation":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI/action/citation_signature","submit_replication":"https://pith.science/pith/3OPDBPTSVWPB3XMCSTVVTHBGSI/action/replication_record"}},"created_at":"2026-05-17T23:40:28.056827+00:00","updated_at":"2026-05-17T23:40:28.056827+00:00"}