{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:SAAAXPF5GCR42TY2L5V7JU4UEV","short_pith_number":"pith:SAAAXPF5","canonical_record":{"source":{"id":"1706.09305","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T14:10:38Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"2de4f9e257b0847428f2ecd96f5451fc74328b6260a671c47ae30c76b149b76d","abstract_canon_sha256":"8a32ac058eaad468efb827645b5df6abacecdfe7d639f68c0bf9d318b5d161bc"},"schema_version":"1.0"},"canonical_sha256":"90000bbcbd30a3cd4f1a5f6bf4d394256ecfd1603d1d48d8fa2bb75dc3553373","source":{"kind":"arxiv","id":"1706.09305","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.09305","created_at":"2026-05-18T00:41:19Z"},{"alias_kind":"arxiv_version","alias_value":"1706.09305v1","created_at":"2026-05-18T00:41:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.09305","created_at":"2026-05-18T00:41:19Z"},{"alias_kind":"pith_short_12","alias_value":"SAAAXPF5GCR4","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SAAAXPF5GCR42TY2","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SAAAXPF5","created_at":"2026-05-18T12:31:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:SAAAXPF5GCR42TY2L5V7JU4UEV","target":"record","payload":{"canonical_record":{"source":{"id":"1706.09305","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T14:10:38Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"2de4f9e257b0847428f2ecd96f5451fc74328b6260a671c47ae30c76b149b76d","abstract_canon_sha256":"8a32ac058eaad468efb827645b5df6abacecdfe7d639f68c0bf9d318b5d161bc"},"schema_version":"1.0"},"canonical_sha256":"90000bbcbd30a3cd4f1a5f6bf4d394256ecfd1603d1d48d8fa2bb75dc3553373","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:41:19.085449Z","signature_b64":"79+gC90ErD3z9wEoog4PwqCt4Hay+solXH/h3E+SxbO9KzpQAfff6JxPvYW/54QHvMnKsEzed/cikZRWPRFpBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"90000bbcbd30a3cd4f1a5f6bf4d394256ecfd1603d1d48d8fa2bb75dc3553373","last_reissued_at":"2026-05-18T00:41:19.084732Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:41:19.084732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1706.09305","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:41:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Db6ea/UAVKBUDGkqtydiW0H27VhkhcWR/K7UjFlH9pnSjUvB/sZ3vD2n7uZ8Q4hRB+TcISXU9KNeIKjjzkMfDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T20:50:22.969457Z"},"content_sha256":"f3e6b076f464b5c4f4723aa9ea5c1a66291c0d484932c9031c923a2d821fe7e9","schema_version":"1.0","event_id":"sha256:f3e6b076f464b5c4f4723aa9ea5c1a66291c0d484932c9031c923a2d821fe7e9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:SAAAXPF5GCR42TY2L5V7JU4UEV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Exposing Non-Atomic Methods of Concurrent Objects","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.SE","authors_text":"Constantin Enea, Michael Emmi","submitted_at":"2017-06-28T14:10:38Z","abstract_excerpt":"Multithreaded software is typically built with specialized concurrent objects like atomic integers, queues, and maps. These objects' methods are designed to behave according to certain consistency criteria like atomicity, despite being optimized to avoid blocking and exploit parallelism, e.g., by using atomic machine instructions like compare and exchange (cmpxchg). Exposing atomicity violations is important since they generally lead to elusive bugs that are difficult to identify, reproduce, and ultimately repair.\n  In this work we expose atomicity violations in concurrent object implementatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.09305","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:41:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fQeWegAuAXJw9o7BPkodYB3QzRUJnRAzwqrKIFQcgwCZpBrUxuMa8N/9e5TcLDJ9dZrx07nb0Xsu6JbSbR+2AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-31T20:50:22.969971Z"},"content_sha256":"e91170ccdff67a2a49ea2cc9bb52e8168d7c18b7a0258619b736d3d6887b2832","schema_version":"1.0","event_id":"sha256:e91170ccdff67a2a49ea2cc9bb52e8168d7c18b7a0258619b736d3d6887b2832"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SAAAXPF5GCR42TY2L5V7JU4UEV/bundle.json","state_url":"https://pith.science/pith/SAAAXPF5GCR42TY2L5V7JU4UEV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SAAAXPF5GCR42TY2L5V7JU4UEV/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-31T20:50:22Z","links":{"resolver":"https://pith.science/pith/SAAAXPF5GCR42TY2L5V7JU4UEV","bundle":"https://pith.science/pith/SAAAXPF5GCR42TY2L5V7JU4UEV/bundle.json","state":"https://pith.science/pith/SAAAXPF5GCR42TY2L5V7JU4UEV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SAAAXPF5GCR42TY2L5V7JU4UEV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:SAAAXPF5GCR42TY2L5V7JU4UEV","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":"8a32ac058eaad468efb827645b5df6abacecdfe7d639f68c0bf9d318b5d161bc","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T14:10:38Z","title_canon_sha256":"2de4f9e257b0847428f2ecd96f5451fc74328b6260a671c47ae30c76b149b76d"},"schema_version":"1.0","source":{"id":"1706.09305","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1706.09305","created_at":"2026-05-18T00:41:19Z"},{"alias_kind":"arxiv_version","alias_value":"1706.09305v1","created_at":"2026-05-18T00:41:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1706.09305","created_at":"2026-05-18T00:41:19Z"},{"alias_kind":"pith_short_12","alias_value":"SAAAXPF5GCR4","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_16","alias_value":"SAAAXPF5GCR42TY2","created_at":"2026-05-18T12:31:43Z"},{"alias_kind":"pith_short_8","alias_value":"SAAAXPF5","created_at":"2026-05-18T12:31:43Z"}],"graph_snapshots":[{"event_id":"sha256:e91170ccdff67a2a49ea2cc9bb52e8168d7c18b7a0258619b736d3d6887b2832","target":"graph","created_at":"2026-05-18T00:41:19Z","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":"Multithreaded software is typically built with specialized concurrent objects like atomic integers, queues, and maps. These objects' methods are designed to behave according to certain consistency criteria like atomicity, despite being optimized to avoid blocking and exploit parallelism, e.g., by using atomic machine instructions like compare and exchange (cmpxchg). Exposing atomicity violations is important since they generally lead to elusive bugs that are difficult to identify, reproduce, and ultimately repair.\n  In this work we expose atomicity violations in concurrent object implementatio","authors_text":"Constantin Enea, Michael Emmi","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T14:10:38Z","title":"Exposing Non-Atomic Methods of Concurrent Objects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1706.09305","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:f3e6b076f464b5c4f4723aa9ea5c1a66291c0d484932c9031c923a2d821fe7e9","target":"record","created_at":"2026-05-18T00:41:19Z","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":"8a32ac058eaad468efb827645b5df6abacecdfe7d639f68c0bf9d318b5d161bc","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2017-06-28T14:10:38Z","title_canon_sha256":"2de4f9e257b0847428f2ecd96f5451fc74328b6260a671c47ae30c76b149b76d"},"schema_version":"1.0","source":{"id":"1706.09305","kind":"arxiv","version":1}},"canonical_sha256":"90000bbcbd30a3cd4f1a5f6bf4d394256ecfd1603d1d48d8fa2bb75dc3553373","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"90000bbcbd30a3cd4f1a5f6bf4d394256ecfd1603d1d48d8fa2bb75dc3553373","first_computed_at":"2026-05-18T00:41:19.084732Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:41:19.084732Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"79+gC90ErD3z9wEoog4PwqCt4Hay+solXH/h3E+SxbO9KzpQAfff6JxPvYW/54QHvMnKsEzed/cikZRWPRFpBA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:41:19.085449Z","signed_message":"canonical_sha256_bytes"},"source_id":"1706.09305","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f3e6b076f464b5c4f4723aa9ea5c1a66291c0d484932c9031c923a2d821fe7e9","sha256:e91170ccdff67a2a49ea2cc9bb52e8168d7c18b7a0258619b736d3d6887b2832"],"state_sha256":"5b4cf0d690d991823edc3d92c97a377600d25dd043dbf32fe49ccfacb9736812"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IKW9aimw9mXw+cNTcBHVwhLlpThdLkF6NgbWVDrdUUE70FY2Ovtw3AWTHDWnPdOkbBtb608GbpaJyQlGg6gTDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-31T20:50:22.973222Z","bundle_sha256":"ead52af1f63b220b84ed7ad345077cbe1fa8ef2bc51a84a7de2dae611f9bc2d5"}}