{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:6S7YVJYV6MB65O74KRZ5VZDM5I","short_pith_number":"pith:6S7YVJYV","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"},"canonical_sha256":"f4bf8aa715f303eebbfc5473dae46cea3ff7e649129704a91537e871a3d419c7","source":{"kind":"arxiv","id":"2508.20911","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.20911","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"arxiv_version","alias_value":"2508.20911v1","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.20911","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"pith_short_12","alias_value":"6S7YVJYV6MB6","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"pith_short_16","alias_value":"6S7YVJYV6MB65O74","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"pith_short_8","alias_value":"6S7YVJYV","created_at":"2026-07-05T12:01:13Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:6S7YVJYV6MB65O74KRZ5VZDM5I","target":"record","payload":{"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"},"canonical_sha256":"f4bf8aa715f303eebbfc5473dae46cea3ff7e649129704a91537e871a3d419c7","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"},"source_kind":"arxiv","source_id":"2508.20911","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:01:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GLf7mfeRsSgrYOFrN8RrvUDD0QtgbDzv0dfjhZy0EyhkAesiM5d1+oIvWxiyxWOLFbCLr+mJdm2JgjJ+b4SpDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T15:48:19.533116Z"},"content_sha256":"0fdbe96245d486c0e9d855f8391f299a2445962de7a32bef18a93282a6a0335a","schema_version":"1.0","event_id":"sha256:0fdbe96245d486c0e9d855f8391f299a2445962de7a32bef18a93282a6a0335a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:6S7YVJYV6MB65O74KRZ5VZDM5I","target":"graph","payload":{"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T12:01:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3L+3fJNlZLtX0E/XnjMKfXB9Vh4FRsEePdX2bbT0617EEpQ5Whh9ccKfVmW8GLT5zIeF7GbMhiOqnsxTDxf+DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-07T15:48:19.534244Z"},"content_sha256":"04caaa875523cadb8a2ef0157ece019542927e294c3c7235094ec528cadc149f","schema_version":"1.0","event_id":"sha256:04caaa875523cadb8a2ef0157ece019542927e294c3c7235094ec528cadc149f"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/bundle.json","state_url":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-07T15:48:19Z","links":{"resolver":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I","bundle":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/bundle.json","state":"https://pith.science/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6S7YVJYV6MB65O74KRZ5VZDM5I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:6S7YVJYV6MB65O74KRZ5VZDM5I","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"6f442a29e196eada8eeeb19db6f8f13d7fc92aa9d03eaf819d296a7d6ebe6bd4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-28T15:40:20Z","title_canon_sha256":"93945dcdf9bad7720b7e6b87057f77afdf58c139f4069160725a396b4f88b639"},"schema_version":"1.0","source":{"id":"2508.20911","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.20911","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"arxiv_version","alias_value":"2508.20911v1","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.20911","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"pith_short_12","alias_value":"6S7YVJYV6MB6","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"pith_short_16","alias_value":"6S7YVJYV6MB65O74","created_at":"2026-07-05T12:01:13Z"},{"alias_kind":"pith_short_8","alias_value":"6S7YVJYV","created_at":"2026-07-05T12:01:13Z"}],"graph_snapshots":[{"event_id":"sha256:04caaa875523cadb8a2ef0157ece019542927e294c3c7235094ec528cadc149f","target":"graph","created_at":"2026-07-05T12:01:13Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2508.20911/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"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","authors_text":"Guanjun Liu, Kaiwen Zhang, Miaomiao Wang, Xiaofeng Li, Yiming Cheng, Yuandao Cai, Zuocheng Feng","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-28T15:40:20Z","title":"Deep Learning Based Concurrency Bug Detection and Localization"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.20911","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0fdbe96245d486c0e9d855f8391f299a2445962de7a32bef18a93282a6a0335a","target":"record","created_at":"2026-07-05T12:01:13Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"6f442a29e196eada8eeeb19db6f8f13d7fc92aa9d03eaf819d296a7d6ebe6bd4","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-08-28T15:40:20Z","title_canon_sha256":"93945dcdf9bad7720b7e6b87057f77afdf58c139f4069160725a396b4f88b639"},"schema_version":"1.0","source":{"id":"2508.20911","kind":"arxiv","version":1}},"canonical_sha256":"f4bf8aa715f303eebbfc5473dae46cea3ff7e649129704a91537e871a3d419c7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f4bf8aa715f303eebbfc5473dae46cea3ff7e649129704a91537e871a3d419c7","first_computed_at":"2026-07-05T12:01:13.289629Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:01:13.289629Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HuJCngvFjxNxmnwcwt1OMiTQHc7l42zk86eF4lKRxtJTje3rqdxPuljncu+oqXMqAh8aGwk12wA2LpetXqpXAw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:01:13.290173Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.20911","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0fdbe96245d486c0e9d855f8391f299a2445962de7a32bef18a93282a6a0335a","sha256:04caaa875523cadb8a2ef0157ece019542927e294c3c7235094ec528cadc149f"],"state_sha256":"177e25228e6e7d2395094a48436041f70fb97093ac03a23ea7152f861b6cd8d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r2orDrxMl741VDJn6YK99/o8DmkaZEr3zt/86oV/fwNQGV9hfw4/5Py2x1zWOXUG3W6LnL32ajlEDG3GTerQBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-07T15:48:19.555669Z","bundle_sha256":"d3a43b7178d066eaa7357c9a21a40244bf29530821c381556b2ee42257fb78a5"}}