{"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"}