{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:CIQFZZDH7QAZBI5ZMJIDCW33KO","short_pith_number":"pith:CIQFZZDH","schema_version":"1.0","canonical_sha256":"12205ce467fc0190a3b96250315b7b53a50c69d6a3887511a0397cd3d19ce534","source":{"kind":"arxiv","id":"1606.01400","version":2},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1606.01400","created_at":"2026-05-18T01:11:17.132055+00:00"},{"alias_kind":"arxiv_version","alias_value":"1606.01400v2","created_at":"2026-05-18T01:11:17.132055+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.01400","created_at":"2026-05-18T01:11:17.132055+00:00"},{"alias_kind":"pith_short_12","alias_value":"CIQFZZDH7QAZ","created_at":"2026-05-18T12:30:09.641336+00:00"},{"alias_kind":"pith_short_16","alias_value":"CIQFZZDH7QAZBI5Z","created_at":"2026-05-18T12:30:09.641336+00:00"},{"alias_kind":"pith_short_8","alias_value":"CIQFZZDH","created_at":"2026-05-18T12:30:09.641336+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/CIQFZZDH7QAZBI5ZMJIDCW33KO","json":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO.json","graph_json":"https://pith.science/api/pith-number/CIQFZZDH7QAZBI5ZMJIDCW33KO/graph.json","events_json":"https://pith.science/api/pith-number/CIQFZZDH7QAZBI5ZMJIDCW33KO/events.json","paper":"https://pith.science/paper/CIQFZZDH"},"agent_actions":{"view_html":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO","download_json":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO.json","view_paper":"https://pith.science/paper/CIQFZZDH","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1606.01400&json=true","fetch_graph":"https://pith.science/api/pith-number/CIQFZZDH7QAZBI5ZMJIDCW33KO/graph.json","fetch_events":"https://pith.science/api/pith-number/CIQFZZDH7QAZBI5ZMJIDCW33KO/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/action/timestamp_anchor","attest_storage":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/action/storage_attestation","attest_author":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/action/author_attestation","sign_citation":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/action/citation_signature","submit_replication":"https://pith.science/pith/CIQFZZDH7QAZBI5ZMJIDCW33KO/action/replication_record"}},"created_at":"2026-05-18T01:11:17.132055+00:00","updated_at":"2026-05-18T01:11:17.132055+00:00"}