{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:JU4YE6KIFQ7WJS7EUEFXJLRMB6","short_pith_number":"pith:JU4YE6KI","canonical_record":{"source":{"id":"1905.01833","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-06T06:12:58Z","cross_cats_sorted":[],"title_canon_sha256":"cc58ea92a58345e286614ae98c86a8d31669cdeaf379135743681e26e8959f46","abstract_canon_sha256":"fce37398cb53394d0feabd96802ff5b519b74456c0de8c069b809eb21805321f"},"schema_version":"1.0"},"canonical_sha256":"4d398279482c3f64cbe4a10b74ae2c0fb5361769eff9986475cafa6e79d1480f","source":{"kind":"arxiv","id":"1905.01833","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.01833","created_at":"2026-05-17T23:44:47Z"},{"alias_kind":"arxiv_version","alias_value":"1905.01833v3","created_at":"2026-05-17T23:44:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.01833","created_at":"2026-05-17T23:44:47Z"},{"alias_kind":"pith_short_12","alias_value":"JU4YE6KIFQ7W","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JU4YE6KIFQ7WJS7E","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JU4YE6KI","created_at":"2026-05-18T12:33:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:JU4YE6KIFQ7WJS7EUEFXJLRMB6","target":"record","payload":{"canonical_record":{"source":{"id":"1905.01833","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-06T06:12:58Z","cross_cats_sorted":[],"title_canon_sha256":"cc58ea92a58345e286614ae98c86a8d31669cdeaf379135743681e26e8959f46","abstract_canon_sha256":"fce37398cb53394d0feabd96802ff5b519b74456c0de8c069b809eb21805321f"},"schema_version":"1.0"},"canonical_sha256":"4d398279482c3f64cbe4a10b74ae2c0fb5361769eff9986475cafa6e79d1480f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:44:47.258558Z","signature_b64":"nu7IjVdTh+b4EroD5MR0cE1q/RykBoGkv4vx6Aups/vT26vOxIVXntZccwvy1f6zjOW5wEQ/o8vPVB6OLxKuCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"4d398279482c3f64cbe4a10b74ae2c0fb5361769eff9986475cafa6e79d1480f","last_reissued_at":"2026-05-17T23:44:47.258110Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:44:47.258110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.01833","source_version":3,"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-05-17T23:44:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"u08mhzITbG1/ytSDYH9dB/8Yd/Yvu284tkhWnmoUpFIUpvIWa/uO54+ko163QCEUsCmUjRUusMrIS4W2noABCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T02:50:54.530746Z"},"content_sha256":"46654a115cb32372747ab9719b6aa77ec28b3c46550a0ddc12c3d9130d4c84f6","schema_version":"1.0","event_id":"sha256:46654a115cb32372747ab9719b6aa77ec28b3c46550a0ddc12c3d9130d4c84f6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:JU4YE6KIFQ7WJS7EUEFXJLRMB6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Characterizing and Detecting CUDA Program Bugs","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Cong Liu, Husheng Zhou, Lingming Zhang, Mingyuan Wu, Yuqun Zhang","submitted_at":"2019-05-06T06:12:58Z","abstract_excerpt":"While CUDA has become a major parallel computing platform and programming model for general-purpose GPU computing, CUDA-induced bug patterns have not yet been well explored. In this paper, we conduct the first empirical study to reveal important categories of CUDA program bug patterns based on 319 bugs identified within 5 popular CUDA projects in GitHub. Our findings demonstrate that CUDA-specific characteristics may cause program bugs such as synchronization bugs that are rather difficult to detect. To efficiently detect such synchronization bugs, we establish the first lightweight general CU"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.01833","kind":"arxiv","version":3},"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"},"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-05-17T23:44:47Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bprAMWAjRbsvGB9+Kvl2OME+c2OllPDkqLWimGhxTBXr3z+NET+XuVi011Fs3TF4X9jHIBhSgzXZbi8tFJlrAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T02:50:54.531397Z"},"content_sha256":"ee1788f20f72e4df5c181a71ba3ea8977e5b9a9da1b600b0f48927c26bbb0ac0","schema_version":"1.0","event_id":"sha256:ee1788f20f72e4df5c181a71ba3ea8977e5b9a9da1b600b0f48927c26bbb0ac0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/JU4YE6KIFQ7WJS7EUEFXJLRMB6/bundle.json","state_url":"https://pith.science/pith/JU4YE6KIFQ7WJS7EUEFXJLRMB6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/JU4YE6KIFQ7WJS7EUEFXJLRMB6/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-05-31T02:50:54Z","links":{"resolver":"https://pith.science/pith/JU4YE6KIFQ7WJS7EUEFXJLRMB6","bundle":"https://pith.science/pith/JU4YE6KIFQ7WJS7EUEFXJLRMB6/bundle.json","state":"https://pith.science/pith/JU4YE6KIFQ7WJS7EUEFXJLRMB6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/JU4YE6KIFQ7WJS7EUEFXJLRMB6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:JU4YE6KIFQ7WJS7EUEFXJLRMB6","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":"fce37398cb53394d0feabd96802ff5b519b74456c0de8c069b809eb21805321f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-06T06:12:58Z","title_canon_sha256":"cc58ea92a58345e286614ae98c86a8d31669cdeaf379135743681e26e8959f46"},"schema_version":"1.0","source":{"id":"1905.01833","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.01833","created_at":"2026-05-17T23:44:47Z"},{"alias_kind":"arxiv_version","alias_value":"1905.01833v3","created_at":"2026-05-17T23:44:47Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.01833","created_at":"2026-05-17T23:44:47Z"},{"alias_kind":"pith_short_12","alias_value":"JU4YE6KIFQ7W","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_16","alias_value":"JU4YE6KIFQ7WJS7E","created_at":"2026-05-18T12:33:21Z"},{"alias_kind":"pith_short_8","alias_value":"JU4YE6KI","created_at":"2026-05-18T12:33:21Z"}],"graph_snapshots":[{"event_id":"sha256:ee1788f20f72e4df5c181a71ba3ea8977e5b9a9da1b600b0f48927c26bbb0ac0","target":"graph","created_at":"2026-05-17T23:44:47Z","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"},"paper":{"abstract_excerpt":"While CUDA has become a major parallel computing platform and programming model for general-purpose GPU computing, CUDA-induced bug patterns have not yet been well explored. In this paper, we conduct the first empirical study to reveal important categories of CUDA program bug patterns based on 319 bugs identified within 5 popular CUDA projects in GitHub. Our findings demonstrate that CUDA-specific characteristics may cause program bugs such as synchronization bugs that are rather difficult to detect. To efficiently detect such synchronization bugs, we establish the first lightweight general CU","authors_text":"Cong Liu, Husheng Zhou, Lingming Zhang, Mingyuan Wu, Yuqun Zhang","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-06T06:12:58Z","title":"Characterizing and Detecting CUDA Program Bugs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.01833","kind":"arxiv","version":3},"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:46654a115cb32372747ab9719b6aa77ec28b3c46550a0ddc12c3d9130d4c84f6","target":"record","created_at":"2026-05-17T23:44:47Z","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":"fce37398cb53394d0feabd96802ff5b519b74456c0de8c069b809eb21805321f","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2019-05-06T06:12:58Z","title_canon_sha256":"cc58ea92a58345e286614ae98c86a8d31669cdeaf379135743681e26e8959f46"},"schema_version":"1.0","source":{"id":"1905.01833","kind":"arxiv","version":3}},"canonical_sha256":"4d398279482c3f64cbe4a10b74ae2c0fb5361769eff9986475cafa6e79d1480f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"4d398279482c3f64cbe4a10b74ae2c0fb5361769eff9986475cafa6e79d1480f","first_computed_at":"2026-05-17T23:44:47.258110Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:44:47.258110Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nu7IjVdTh+b4EroD5MR0cE1q/RykBoGkv4vx6Aups/vT26vOxIVXntZccwvy1f6zjOW5wEQ/o8vPVB6OLxKuCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:44:47.258558Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.01833","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:46654a115cb32372747ab9719b6aa77ec28b3c46550a0ddc12c3d9130d4c84f6","sha256:ee1788f20f72e4df5c181a71ba3ea8977e5b9a9da1b600b0f48927c26bbb0ac0"],"state_sha256":"8f8a59cabbe3149d20cac4e2ba1bd8170f6aa471c2fc30f0043dfc25bab79754"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z6sVnAziYzGbdPHb+oXdy31f3CcjPI013V6kCN0Lsk/gNxGDYRfSmTyaejef4IE8DPpFGVgAH2PjPMOwm5J0Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T02:50:54.534735Z","bundle_sha256":"2e5627d8549050d53413c1bf4852dba631f410b27a46204a4303b44321a3cd30"}}