{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:IJWONXJRTAH5QWDTOLTPSQCGL2","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":"b56acd6740109815bbac1f21e49406e9692a2209c0bbc6570eb78339f1b2a523","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-04T19:52:35Z","title_canon_sha256":"1e7cdc8b106ae26cbcab13914320e434c345bb8672c8fda21bd4117a6a722f44"},"schema_version":"1.0","source":{"id":"1611.01507","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1611.01507","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"arxiv_version","alias_value":"1611.01507v2","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1611.01507","created_at":"2026-05-18T00:58:03Z"},{"alias_kind":"pith_short_12","alias_value":"IJWONXJRTAH5","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_16","alias_value":"IJWONXJRTAH5QWDT","created_at":"2026-05-18T12:30:22Z"},{"alias_kind":"pith_short_8","alias_value":"IJWONXJR","created_at":"2026-05-18T12:30:22Z"}],"graph_snapshots":[{"event_id":"sha256:28ec364787093a24d7fde876d5985cfd924353e5b50571b2dfec3cda9963968b","target":"graph","created_at":"2026-05-18T00:58:03Z","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":"The C and C++ high-level languages provide programmers with atomic operations for writing high-performance concurrent code. At the assembly language level, C and C++ atomics get mapped down to individual instructions or combinations of instructions by compilers, depending on the ordering guarantees and synchronization instructions provided by the underlying architecture. These compiler mappings must uphold the ordering guarantees provided by C/C++ atomics or the compiled program will not behave according to the C/C++ memory model. In this paper we discuss two counterexamples to the well-known ","authors_text":"Caroline Trippel, Daniel Lustig, Margaret Martonosi, Michael Pellauer, Yatin A. Manerkar","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-04T19:52:35Z","title":"Counterexamples and Proof Loophole for the C/C++ to POWER and ARMv7 Trailing-Sync Compiler Mappings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1611.01507","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:245e3a16fb2f3b8aa64d838a3062c474da164c88068458c2adc9ceada231b176","target":"record","created_at":"2026-05-18T00:58:03Z","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":"b56acd6740109815bbac1f21e49406e9692a2209c0bbc6570eb78339f1b2a523","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2016-11-04T19:52:35Z","title_canon_sha256":"1e7cdc8b106ae26cbcab13914320e434c345bb8672c8fda21bd4117a6a722f44"},"schema_version":"1.0","source":{"id":"1611.01507","kind":"arxiv","version":2}},"canonical_sha256":"426ce6dd31980fd8587372e6f940465ebbcf375c1e3e7f12106d84f7744b2532","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"426ce6dd31980fd8587372e6f940465ebbcf375c1e3e7f12106d84f7744b2532","first_computed_at":"2026-05-18T00:58:03.576980Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:58:03.576980Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"syJ7Hfx3qCzvxwg+PkRjAFJ8Qu31IJOv14ORH3arTXX6oCz13+RrpSO2EKKzMTAucQNAJdr9ZX/TGDyJnfCgDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:58:03.577647Z","signed_message":"canonical_sha256_bytes"},"source_id":"1611.01507","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:245e3a16fb2f3b8aa64d838a3062c474da164c88068458c2adc9ceada231b176","sha256:28ec364787093a24d7fde876d5985cfd924353e5b50571b2dfec3cda9963968b"],"state_sha256":"60afbb37a706831c5003fe53caa119f362331bdc0425f3d988637fb36c64a8e9"}