{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:CIQFZZDH7QAZBI5ZMJIDCW33KO","short_pith_number":"pith:CIQFZZDH","canonical_record":{"source":{"id":"1606.01400","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-04T17:40:40Z","cross_cats_sorted":[],"title_canon_sha256":"4881c1a46ea4524397724dddc5718a35d2ed1e1378d8fb69da4f42e6391ff006","abstract_canon_sha256":"996b1bf63e37f40268735d6d675c223c0da507f34656dc5b94462f74a7275fd7"},"schema_version":"1.0"},"canonical_sha256":"12205ce467fc0190a3b96250315b7b53a50c69d6a3887511a0397cd3d19ce534","source":{"kind":"arxiv","id":"1606.01400","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.01400","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"arxiv_version","alias_value":"1606.01400v2","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.01400","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"pith_short_12","alias_value":"CIQFZZDH7QAZ","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CIQFZZDH7QAZBI5Z","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CIQFZZDH","created_at":"2026-05-18T12:30:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:CIQFZZDH7QAZBI5ZMJIDCW33KO","target":"record","payload":{"canonical_record":{"source":{"id":"1606.01400","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-04T17:40:40Z","cross_cats_sorted":[],"title_canon_sha256":"4881c1a46ea4524397724dddc5718a35d2ed1e1378d8fb69da4f42e6391ff006","abstract_canon_sha256":"996b1bf63e37f40268735d6d675c223c0da507f34656dc5b94462f74a7275fd7"},"schema_version":"1.0"},"canonical_sha256":"12205ce467fc0190a3b96250315b7b53a50c69d6a3887511a0397cd3d19ce534","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:17.132421Z","signature_b64":"rneoLl+1N1nveNar6jykyC+eQebybdNxWaZLsFiZbLqqKLhsw+ayUDlWh0Xz1sHAttpcv7g4PPcc9+nHj1kNBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"12205ce467fc0190a3b96250315b7b53a50c69d6a3887511a0397cd3d19ce534","last_reissued_at":"2026-05-18T01:11:17.131990Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:17.131990Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.01400","source_version":2,"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-18T01:11:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wboZT2H0oNMBmtpCbJ7m0hTAImxMwJhrmik0mUoGKmyTJ80jk5M4Vqnj1F20I56oP6eTpzjBxMW/zfJNZ61YCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:14:49.950787Z"},"content_sha256":"5907996eaa92d2787835ac87690b13952c759303eafbdf409e23b72d40bb5a93","schema_version":"1.0","event_id":"sha256:5907996eaa92d2787835ac87690b13952c759303eafbdf409e23b72d40bb5a93"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:CIQFZZDH7QAZBI5ZMJIDCW33KO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Operational Aspects of C/C++ Concurrency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Aleksandar Nanevski, Anton Podkopaev, Ilya Sergey","submitted_at":"2016-06-04T17:40:40Z","abstract_excerpt":"In this work, we present a family of operational semantics that gradually approximates the realistic program behaviors in the C/C++11 memory model. Each semantics in our framework is built by elaborating and combining two simple ingredients: viewfronts and operation buffers. Viewfronts allow us to express the spatial aspect of thread interaction, i.e., which values a thread can read, while operation buffers enable manipulation with the temporal execution aspect, i.e., determining the order in which the results of certain operations can be observed by concurrently running threads.\n  Starting fr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.01400","kind":"arxiv","version":2},"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-18T01:11:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H7hbVZEo99w3C6Mm0dlARur2jjy9rLBftysG6TL3s6TXxlzH4PEVPv6CELjJcITiFCC8NDKak+Baicu74wJqCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T11:14:49.951389Z"},"content_sha256":"d6555c1566808ca5cc294ecfd5d0a81b2a38769449fe4e6cc84fdf099938719d","schema_version":"1.0","event_id":"sha256:d6555c1566808ca5cc294ecfd5d0a81b2a38769449fe4e6cc84fdf099938719d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/bundle.json","state_url":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/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-30T11:14:49Z","links":{"resolver":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO","bundle":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/bundle.json","state":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:CIQFZZDH7QAZBI5ZMJIDCW33KO","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":"996b1bf63e37f40268735d6d675c223c0da507f34656dc5b94462f74a7275fd7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-04T17:40:40Z","title_canon_sha256":"4881c1a46ea4524397724dddc5718a35d2ed1e1378d8fb69da4f42e6391ff006"},"schema_version":"1.0","source":{"id":"1606.01400","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.01400","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"arxiv_version","alias_value":"1606.01400v2","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.01400","created_at":"2026-05-18T01:11:17Z"},{"alias_kind":"pith_short_12","alias_value":"CIQFZZDH7QAZ","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_16","alias_value":"CIQFZZDH7QAZBI5Z","created_at":"2026-05-18T12:30:09Z"},{"alias_kind":"pith_short_8","alias_value":"CIQFZZDH","created_at":"2026-05-18T12:30:09Z"}],"graph_snapshots":[{"event_id":"sha256:d6555c1566808ca5cc294ecfd5d0a81b2a38769449fe4e6cc84fdf099938719d","target":"graph","created_at":"2026-05-18T01:11:17Z","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":"In this work, we present a family of operational semantics that gradually approximates the realistic program behaviors in the C/C++11 memory model. Each semantics in our framework is built by elaborating and combining two simple ingredients: viewfronts and operation buffers. Viewfronts allow us to express the spatial aspect of thread interaction, i.e., which values a thread can read, while operation buffers enable manipulation with the temporal execution aspect, i.e., determining the order in which the results of certain operations can be observed by concurrently running threads.\n  Starting fr","authors_text":"Aleksandar Nanevski, Anton Podkopaev, Ilya Sergey","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-04T17:40:40Z","title":"Operational Aspects of C/C++ Concurrency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.01400","kind":"arxiv","version":2},"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:5907996eaa92d2787835ac87690b13952c759303eafbdf409e23b72d40bb5a93","target":"record","created_at":"2026-05-18T01:11:17Z","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":"996b1bf63e37f40268735d6d675c223c0da507f34656dc5b94462f74a7275fd7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-06-04T17:40:40Z","title_canon_sha256":"4881c1a46ea4524397724dddc5718a35d2ed1e1378d8fb69da4f42e6391ff006"},"schema_version":"1.0","source":{"id":"1606.01400","kind":"arxiv","version":2}},"canonical_sha256":"12205ce467fc0190a3b96250315b7b53a50c69d6a3887511a0397cd3d19ce534","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"12205ce467fc0190a3b96250315b7b53a50c69d6a3887511a0397cd3d19ce534","first_computed_at":"2026-05-18T01:11:17.131990Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:17.131990Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rneoLl+1N1nveNar6jykyC+eQebybdNxWaZLsFiZbLqqKLhsw+ayUDlWh0Xz1sHAttpcv7g4PPcc9+nHj1kNBA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:17.132421Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.01400","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5907996eaa92d2787835ac87690b13952c759303eafbdf409e23b72d40bb5a93","sha256:d6555c1566808ca5cc294ecfd5d0a81b2a38769449fe4e6cc84fdf099938719d"],"state_sha256":"8b0ef84ec4c2879c7a02d22d406d846784b43cc3cf98b77cae5b838e123b0515"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RekGZ249gCihCj9rS8x5YaANz2mMso/jpPMX53wkNrMx0UGnkm1K/0mZvrJ6ixZwxVDLCUl+2LsYoToweekQAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T11:14:49.954547Z","bundle_sha256":"9d49d7455d122222dd02a0e550de12eefa2a26e805a00124aae3719089b824fd"}}