{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:RW4TYNPC6MUXEGCMK7FLSJPYXC","short_pith_number":"pith:RW4TYNPC","canonical_record":{"source":{"id":"1407.7443","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-28T15:27:10Z","cross_cats_sorted":[],"title_canon_sha256":"5fabb87feb72fab43c5b891df8aa15b15df58b3e6af1441126b0ae4ae368f19e","abstract_canon_sha256":"b50fed6ffa9ef27b6f3f17ea2d3bfcc08e5ff9cc4511aa8ee86e50d12ecf858d"},"schema_version":"1.0"},"canonical_sha256":"8db93c35e2f32972184c57cab925f8b8abe3c05769180f214f4f12d5ad1f69d4","source":{"kind":"arxiv","id":"1407.7443","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.7443","created_at":"2026-05-18T01:59:53Z"},{"alias_kind":"arxiv_version","alias_value":"1407.7443v3","created_at":"2026-05-18T01:59:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.7443","created_at":"2026-05-18T01:59:53Z"},{"alias_kind":"pith_short_12","alias_value":"RW4TYNPC6MUX","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"RW4TYNPC6MUXEGCM","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"RW4TYNPC","created_at":"2026-05-18T12:28:46Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:RW4TYNPC6MUXEGCMK7FLSJPYXC","target":"record","payload":{"canonical_record":{"source":{"id":"1407.7443","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-28T15:27:10Z","cross_cats_sorted":[],"title_canon_sha256":"5fabb87feb72fab43c5b891df8aa15b15df58b3e6af1441126b0ae4ae368f19e","abstract_canon_sha256":"b50fed6ffa9ef27b6f3f17ea2d3bfcc08e5ff9cc4511aa8ee86e50d12ecf858d"},"schema_version":"1.0"},"canonical_sha256":"8db93c35e2f32972184c57cab925f8b8abe3c05769180f214f4f12d5ad1f69d4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:59:53.573014Z","signature_b64":"5eiKm/AztBu019WeUgPzCzQSPiV3rJgK4DvoAAyTqnh/E0kil9EP+OqikAnlnGHSeGKjEgXFoupki3UZlgpQBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8db93c35e2f32972184c57cab925f8b8abe3c05769180f214f4f12d5ad1f69d4","last_reissued_at":"2026-05-18T01:59:53.572518Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:59:53.572518Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.7443","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-18T01:59:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OZcSAWOpLDnx7hmV2pXrdcyaeP5NQSv8J/ugENV1fttJ9/aPGnk87Uaba2r40hfY8fqhij/NwmhyVEeTdgIYCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T23:13:35.619680Z"},"content_sha256":"a069f8c31c866a4832aee6ba7581decaf387ae755223300291565189c14746c0","schema_version":"1.0","event_id":"sha256:a069f8c31c866a4832aee6ba7581decaf387ae755223300291565189c14746c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:RW4TYNPC6MUXEGCMK7FLSJPYXC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Property-Driven Fence Insertion using Reorder Bounded Model Checking","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Daniel Kroening, Saurabh Joshi","submitted_at":"2014-07-28T15:27:10Z","abstract_excerpt":"Modern architectures provide weaker memory consistency guarantees than sequential consistency. These weaker guarantees allow programs to exhibit behaviours where the program statements appear to have executed out of program order. Fortunately, modern architectures provide memory barriers (fences) to enforce the program order between a pair of statements if needed. Due to the intricate semantics of weak memory models, the placement of fences is challenging even for experienced programmers. Too few fences lead to bugs whereas overuse of fences results in performance degradation. This motivates a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.7443","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-18T01:59:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W24TuTj9HSl0lt2kr0YRcx/wQ/3dzL4JvgnHoeAjtNRv0APs9pTpShZUb1RSv9s5QwGfLZ/IDp3qyoWSgwF+CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T23:13:35.620019Z"},"content_sha256":"ef80be08c020f91216910eb5ef7f8b1927870591adbc19915dcde4f765528966","schema_version":"1.0","event_id":"sha256:ef80be08c020f91216910eb5ef7f8b1927870591adbc19915dcde4f765528966"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/RW4TYNPC6MUXEGCMK7FLSJPYXC/bundle.json","state_url":"https://pith.science/pith/RW4TYNPC6MUXEGCMK7FLSJPYXC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/RW4TYNPC6MUXEGCMK7FLSJPYXC/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-06-20T23:13:35Z","links":{"resolver":"https://pith.science/pith/RW4TYNPC6MUXEGCMK7FLSJPYXC","bundle":"https://pith.science/pith/RW4TYNPC6MUXEGCMK7FLSJPYXC/bundle.json","state":"https://pith.science/pith/RW4TYNPC6MUXEGCMK7FLSJPYXC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/RW4TYNPC6MUXEGCMK7FLSJPYXC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:RW4TYNPC6MUXEGCMK7FLSJPYXC","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":"b50fed6ffa9ef27b6f3f17ea2d3bfcc08e5ff9cc4511aa8ee86e50d12ecf858d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-28T15:27:10Z","title_canon_sha256":"5fabb87feb72fab43c5b891df8aa15b15df58b3e6af1441126b0ae4ae368f19e"},"schema_version":"1.0","source":{"id":"1407.7443","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.7443","created_at":"2026-05-18T01:59:53Z"},{"alias_kind":"arxiv_version","alias_value":"1407.7443v3","created_at":"2026-05-18T01:59:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.7443","created_at":"2026-05-18T01:59:53Z"},{"alias_kind":"pith_short_12","alias_value":"RW4TYNPC6MUX","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_16","alias_value":"RW4TYNPC6MUXEGCM","created_at":"2026-05-18T12:28:46Z"},{"alias_kind":"pith_short_8","alias_value":"RW4TYNPC","created_at":"2026-05-18T12:28:46Z"}],"graph_snapshots":[{"event_id":"sha256:ef80be08c020f91216910eb5ef7f8b1927870591adbc19915dcde4f765528966","target":"graph","created_at":"2026-05-18T01:59:53Z","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":"Modern architectures provide weaker memory consistency guarantees than sequential consistency. These weaker guarantees allow programs to exhibit behaviours where the program statements appear to have executed out of program order. Fortunately, modern architectures provide memory barriers (fences) to enforce the program order between a pair of statements if needed. Due to the intricate semantics of weak memory models, the placement of fences is challenging even for experienced programmers. Too few fences lead to bugs whereas overuse of fences results in performance degradation. This motivates a","authors_text":"Daniel Kroening, Saurabh Joshi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-28T15:27:10Z","title":"Property-Driven Fence Insertion using Reorder Bounded Model Checking"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.7443","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:a069f8c31c866a4832aee6ba7581decaf387ae755223300291565189c14746c0","target":"record","created_at":"2026-05-18T01:59:53Z","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":"b50fed6ffa9ef27b6f3f17ea2d3bfcc08e5ff9cc4511aa8ee86e50d12ecf858d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-28T15:27:10Z","title_canon_sha256":"5fabb87feb72fab43c5b891df8aa15b15df58b3e6af1441126b0ae4ae368f19e"},"schema_version":"1.0","source":{"id":"1407.7443","kind":"arxiv","version":3}},"canonical_sha256":"8db93c35e2f32972184c57cab925f8b8abe3c05769180f214f4f12d5ad1f69d4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8db93c35e2f32972184c57cab925f8b8abe3c05769180f214f4f12d5ad1f69d4","first_computed_at":"2026-05-18T01:59:53.572518Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:59:53.572518Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5eiKm/AztBu019WeUgPzCzQSPiV3rJgK4DvoAAyTqnh/E0kil9EP+OqikAnlnGHSeGKjEgXFoupki3UZlgpQBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:59:53.573014Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.7443","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a069f8c31c866a4832aee6ba7581decaf387ae755223300291565189c14746c0","sha256:ef80be08c020f91216910eb5ef7f8b1927870591adbc19915dcde4f765528966"],"state_sha256":"291f6f7fb3ff0d76a9af8c64bec0a71930eb8c6fc3d8bc49f740cddae07eb46f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZEigc2umPsQBPZLM19/awufCp5sIo/6b1tO69pQnpCYdfqr8FwNjrzELOikMqxjHrk4qR+nzfxrGMnYkjzDCCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T23:13:35.622051Z","bundle_sha256":"f3f80dc5a914dc16ad3cb272f0c55d8f8a8819fa92c26f9ccbfaad69fa1723c4"}}