{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:6S7YVJYV6MB65O74KRZ5VZDM5I","short_pith_number":"pith:6S7YVJYV","schema_version":"1.0","canonical_sha256":"f4bf8aa715f303eebbfc5473dae46cea3ff7e649129704a91537e871a3d419c7","source":{"kind":"arxiv","id":"2508.20911","version":1},"attestation_state":"computed","paper":{"title":"Deep Learning Based Concurrency Bug Detection and Localization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Guanjun Liu, Kaiwen Zhang, Miaomiao Wang, Xiaofeng Li, Yiming Cheng, Yuandao Cai, Zuocheng Feng","submitted_at":"2025-08-28T15:40:20Z","abstract_excerpt":"Concurrency bugs, caused by improper synchronization of shared resources in multi-threaded or distributed systems, are notoriously hard to detect and thus compromise software reliability and security. The existing deep learning methods face three main limitations. First, there is an absence of large and dedicated datasets of diverse concurrency bugs for them. Second, they lack sufficient representation of concurrency semantics. Third, binary classification results fail to provide finer-grained debug information such as precise bug lines. To address these problems, we propose a novel method for"},"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":"2508.20911","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-28T15:40:20Z","cross_cats_sorted":[],"title_canon_sha256":"93945dcdf9bad7720b7e6b87057f77afdf58c139f4069160725a396b4f88b639","abstract_canon_sha256":"6f442a29e196eada8eeeb19db6f8f13d7fc92aa9d03eaf819d296a7d6ebe6bd4"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:01:13.290173Z","signature_b64":"HuJCngvFjxNxmnwcwt1OMiTQHc7l42zk86eF4lKRxtJTje3rqdxPuljncu+oqXMqAh8aGwk12wA2LpetXqpXAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f4bf8aa715f303eebbfc5473dae46cea3ff7e649129704a91537e871a3d419c7","last_reissued_at":"2026-07-05T12:01:13.289629Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:01:13.289629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Deep Learning Based Concurrency Bug Detection and Localization","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Guanjun Liu, Kaiwen Zhang, Miaomiao Wang, Xiaofeng Li, Yiming Cheng, Yuandao Cai, Zuocheng Feng","submitted_at":"2025-08-28T15:40:20Z","abstract_excerpt":"Concurrency bugs, caused by improper synchronization of shared resources in multi-threaded or distributed systems, are notoriously hard to detect and thus compromise software reliability and security. The existing deep learning methods face three main limitations. First, there is an absence of large and dedicated datasets of diverse concurrency bugs for them. Second, they lack sufficient representation of concurrency semantics. Third, binary classification results fail to provide finer-grained debug information such as precise bug lines. To address these problems, we propose a novel method for"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.20911","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2508.20911/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2508.20911","created_at":"2026-07-05T12:01:13.289696+00:00"},{"alias_kind":"arxiv_version","alias_value":"2508.20911v1","created_at":"2026-07-05T12:01:13.289696+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.20911","created_at":"2026-07-05T12:01:13.289696+00:00"},{"alias_kind":"pith_short_12","alias_value":"6S7YVJYV6MB6","created_at":"2026-07-05T12:01:13.289696+00:00"},{"alias_kind":"pith_short_16","alias_value":"6S7YVJYV6MB65O74","created_at":"2026-07-05T12:01:13.289696+00:00"},{"alias_kind":"pith_short_8","alias_value":"6S7YVJYV","created_at":"2026-07-05T12:01:13.289696+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/6S7YVJYV6MB65O74KRZ5VZDM5I","json":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I.json","graph_json":"https://pith.science/api/pith-number/6S7YVJYV6MB65O74KRZ5VZDM5I/graph.json","events_json":"https://pith.science/api/pith-number/6S7YVJYV6MB65O74KRZ5VZDM5I/events.json","paper":"https://pith.science/paper/6S7YVJYV"},"agent_actions":{"view_html":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I","download_json":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I.json","view_paper":"https://pith.science/paper/6S7YVJYV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2508.20911&json=true","fetch_graph":"https://pith.science/api/pith-number/6S7YVJYV6MB65O74KRZ5VZDM5I/graph.json","fetch_events":"https://pith.science/api/pith-number/6S7YVJYV6MB65O74KRZ5VZDM5I/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/action/storage_attestation","attest_author":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/action/author_attestation","sign_citation":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/action/citation_signature","submit_replication":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/action/replication_record"}},"created_at":"2026-07-05T12:01:13.289696+00:00","updated_at":"2026-07-05T12:01:13.289696+00:00"}