{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:WAED3DY2JGYQUOKFIBAFM3QPS3","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":"078ca00866eca2ded8bf656e7afbfe110127cb149943332d37909683465ae432","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-21T13:33:33Z","title_canon_sha256":"ea46401e7da812f7c3ea1d11baa75b6ad9446e00d57ecb41db02311566b9cb9f"},"schema_version":"1.0","source":{"id":"1509.06220","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.06220","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"arxiv_version","alias_value":"1509.06220v3","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.06220","created_at":"2026-05-18T01:10:42Z"},{"alias_kind":"pith_short_12","alias_value":"WAED3DY2JGYQ","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_16","alias_value":"WAED3DY2JGYQUOKF","created_at":"2026-05-18T12:29:47Z"},{"alias_kind":"pith_short_8","alias_value":"WAED3DY2","created_at":"2026-05-18T12:29:47Z"}],"graph_snapshots":[{"event_id":"sha256:1a5a695e287830f2ceb16e722dba1ec4de752233bfcdf33572a71b0bb16cdd99","target":"graph","created_at":"2026-05-18T01:10:42Z","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":"Designing scalable concurrent objects, which can be efficiently used on multicore processors, often requires one to abandon standard specification techniques, such as linearizability, in favor of more relaxed consistency requirements. However, the variety of alternative correctness conditions makes it difficult to choose which one to employ in a particular case, and to compose them when using objects whose behaviors are specified via different criteria. The lack of syntactic verification methods for most of these criteria poses challenges in their systematic adoption and application.\n  In this","authors_text":"Aleksandar Nanevski, Anindya Banerjee, German Andres Delbianco, Ilya Sergey","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-21T13:33:33Z","title":"Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.06220","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:18498b58556a00b8192c44a76b4d8ed9764397a6524438c249321780d3d8dbf2","target":"record","created_at":"2026-05-18T01:10:42Z","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":"078ca00866eca2ded8bf656e7afbfe110127cb149943332d37909683465ae432","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-09-21T13:33:33Z","title_canon_sha256":"ea46401e7da812f7c3ea1d11baa75b6ad9446e00d57ecb41db02311566b9cb9f"},"schema_version":"1.0","source":{"id":"1509.06220","kind":"arxiv","version":3}},"canonical_sha256":"b0083d8f1a49b10a39454040566e0f96c2d1c90ed135fc3b6adbcca6b65f1281","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b0083d8f1a49b10a39454040566e0f96c2d1c90ed135fc3b6adbcca6b65f1281","first_computed_at":"2026-05-18T01:10:42.968139Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:10:42.968139Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vF7ljYb0fDjKV/rMf5UcOCbdAuUXMRBvBRKauhdrgslutwhMOvy2BskRGdyoWa1WkdZn2KHmP55Ll5lg5BX3Bw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:10:42.968545Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.06220","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:18498b58556a00b8192c44a76b4d8ed9764397a6524438c249321780d3d8dbf2","sha256:1a5a695e287830f2ceb16e722dba1ec4de752233bfcdf33572a71b0bb16cdd99"],"state_sha256":"8b08f7adc61c26f2f4559f68bf38a4215e545fc7ccaa86e77753ab45e8ff97a9"}