{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:33ZGFTEFJSDFV7JXBVLMQB5LWU","short_pith_number":"pith:33ZGFTEF","canonical_record":{"source":{"id":"1709.04551","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T22:00:17Z","cross_cats_sorted":[],"title_canon_sha256":"d18bbe629ec19eca6351bbab1da2c72766f793c97aef6faae1dd19b604c8f464","abstract_canon_sha256":"4d017836297299fd486c954753c4c828402a3ce8454b04d18303638c8d1e5728"},"schema_version":"1.0"},"canonical_sha256":"def262cc854c865afd370d56c807abb53b4997504b440e01fb9c1026583ac04f","source":{"kind":"arxiv","id":"1709.04551","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.04551","created_at":"2026-05-18T00:35:11Z"},{"alias_kind":"arxiv_version","alias_value":"1709.04551v1","created_at":"2026-05-18T00:35:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.04551","created_at":"2026-05-18T00:35:11Z"},{"alias_kind":"pith_short_12","alias_value":"33ZGFTEFJSDF","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"33ZGFTEFJSDFV7JX","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"33ZGFTEF","created_at":"2026-05-18T12:30:55Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:33ZGFTEFJSDFV7JXBVLMQB5LWU","target":"record","payload":{"canonical_record":{"source":{"id":"1709.04551","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T22:00:17Z","cross_cats_sorted":[],"title_canon_sha256":"d18bbe629ec19eca6351bbab1da2c72766f793c97aef6faae1dd19b604c8f464","abstract_canon_sha256":"4d017836297299fd486c954753c4c828402a3ce8454b04d18303638c8d1e5728"},"schema_version":"1.0"},"canonical_sha256":"def262cc854c865afd370d56c807abb53b4997504b440e01fb9c1026583ac04f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:35:11.313556Z","signature_b64":"kyLkxlUghEBKhriZ4b1B8gC6os9mAmfDLDaEQhiAhRnmrlbXASimS3tsfwJ1jReJO5edLzfQXPWtzxA5RwY9Bw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"def262cc854c865afd370d56c807abb53b4997504b440e01fb9c1026583ac04f","last_reissued_at":"2026-05-18T00:35:11.313028Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:35:11.313028Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1709.04551","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-05-18T00:35:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"V6G/K0nF7tVRU8aAv/2EZ/nxArHaLDjZsiSMKvB7J0B/g5u82OyYSVQmgNu8ADM/kPlyujEHz8QkQOaeGPAVAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:42:14.659406Z"},"content_sha256":"2a22a6a3dcd24cf0c35985ae5ca8810b04d55c8cfee52672a1dc3b4f6ace8424","schema_version":"1.0","event_id":"sha256:2a22a6a3dcd24cf0c35985ae5ca8810b04d55c8cfee52672a1dc3b4f6ace8424"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:33ZGFTEFJSDFV7JXBVLMQB5LWU","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Operational Semantic Basis for OpenMP Race Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"Ganesh Gopalakrishnan, Simone Atzeni","submitted_at":"2017-09-13T22:00:17Z","abstract_excerpt":"OpenMP is the de facto standard to exploit the on-node parallelism in new generation supercomputers.Despite its overall ease of use, even expert users are known to create OpenMP programs that harbor concurrency errors, of which one of the most insidious of errors are {\\em data races}.OpenMP is also a rapidly evolving standard, which means that future data races may be introduced within unfamiliar contexts.A simple and rigorous operational semantics for OpenMP can help build reliable race checkers and ward off future errors through programmer education and better tooling.This paper's key contri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.04551","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"},"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-18T00:35:11Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"eoBN3+u/sz+DQ0k05QYFES3MDw6jtBbK6nX8dpgbxYuGyqtu/0Nc1rhvm6Cc3POoizSFUFYt8Gkmy59mSbw+DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T12:42:14.660036Z"},"content_sha256":"7fcf3ddea45b68bd84d8eee0d08c821a39f15a64464bfce65eedf1d1ef2e63de","schema_version":"1.0","event_id":"sha256:7fcf3ddea45b68bd84d8eee0d08c821a39f15a64464bfce65eedf1d1ef2e63de"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/33ZGFTEFJSDFV7JXBVLMQB5LWU/bundle.json","state_url":"https://pith.science/pith/33ZGFTEFJSDFV7JXBVLMQB5LWU/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/33ZGFTEFJSDFV7JXBVLMQB5LWU/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-27T12:42:14Z","links":{"resolver":"https://pith.science/pith/33ZGFTEFJSDFV7JXBVLMQB5LWU","bundle":"https://pith.science/pith/33ZGFTEFJSDFV7JXBVLMQB5LWU/bundle.json","state":"https://pith.science/pith/33ZGFTEFJSDFV7JXBVLMQB5LWU/state.json","well_known_bundle":"https://pith.science/.well-known/pith/33ZGFTEFJSDFV7JXBVLMQB5LWU/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:33ZGFTEFJSDFV7JXBVLMQB5LWU","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":"4d017836297299fd486c954753c4c828402a3ce8454b04d18303638c8d1e5728","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T22:00:17Z","title_canon_sha256":"d18bbe629ec19eca6351bbab1da2c72766f793c97aef6faae1dd19b604c8f464"},"schema_version":"1.0","source":{"id":"1709.04551","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1709.04551","created_at":"2026-05-18T00:35:11Z"},{"alias_kind":"arxiv_version","alias_value":"1709.04551v1","created_at":"2026-05-18T00:35:11Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1709.04551","created_at":"2026-05-18T00:35:11Z"},{"alias_kind":"pith_short_12","alias_value":"33ZGFTEFJSDF","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_16","alias_value":"33ZGFTEFJSDFV7JX","created_at":"2026-05-18T12:30:55Z"},{"alias_kind":"pith_short_8","alias_value":"33ZGFTEF","created_at":"2026-05-18T12:30:55Z"}],"graph_snapshots":[{"event_id":"sha256:7fcf3ddea45b68bd84d8eee0d08c821a39f15a64464bfce65eedf1d1ef2e63de","target":"graph","created_at":"2026-05-18T00:35:11Z","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":"OpenMP is the de facto standard to exploit the on-node parallelism in new generation supercomputers.Despite its overall ease of use, even expert users are known to create OpenMP programs that harbor concurrency errors, of which one of the most insidious of errors are {\\em data races}.OpenMP is also a rapidly evolving standard, which means that future data races may be introduced within unfamiliar contexts.A simple and rigorous operational semantics for OpenMP can help build reliable race checkers and ward off future errors through programmer education and better tooling.This paper's key contri","authors_text":"Ganesh Gopalakrishnan, Simone Atzeni","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T22:00:17Z","title":"An Operational Semantic Basis for OpenMP Race Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1709.04551","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:2a22a6a3dcd24cf0c35985ae5ca8810b04d55c8cfee52672a1dc3b4f6ace8424","target":"record","created_at":"2026-05-18T00:35:11Z","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":"4d017836297299fd486c954753c4c828402a3ce8454b04d18303638c8d1e5728","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2017-09-13T22:00:17Z","title_canon_sha256":"d18bbe629ec19eca6351bbab1da2c72766f793c97aef6faae1dd19b604c8f464"},"schema_version":"1.0","source":{"id":"1709.04551","kind":"arxiv","version":1}},"canonical_sha256":"def262cc854c865afd370d56c807abb53b4997504b440e01fb9c1026583ac04f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"def262cc854c865afd370d56c807abb53b4997504b440e01fb9c1026583ac04f","first_computed_at":"2026-05-18T00:35:11.313028Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:35:11.313028Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kyLkxlUghEBKhriZ4b1B8gC6os9mAmfDLDaEQhiAhRnmrlbXASimS3tsfwJ1jReJO5edLzfQXPWtzxA5RwY9Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:35:11.313556Z","signed_message":"canonical_sha256_bytes"},"source_id":"1709.04551","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:2a22a6a3dcd24cf0c35985ae5ca8810b04d55c8cfee52672a1dc3b4f6ace8424","sha256:7fcf3ddea45b68bd84d8eee0d08c821a39f15a64464bfce65eedf1d1ef2e63de"],"state_sha256":"61468e3c42fd9d42b57bc44794ed30232594c1dd6dce27b14ed75b8958083fad"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xp+sNNvMsxTqEmgCjt6lWmnCAhEl2hEm8H85KGasYnZj6+EQqotwk/ZAk64MnlTSuZxKSOGSIn6kJR9MlF92Cw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T12:42:14.663263Z","bundle_sha256":"3c7c2625e69f13e551b8199f6d3d692705f4e928399a062659adb496bf270752"}}