{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:3XJOQ7PTJVLPRFKNJFTVUG5H77","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":"f0d4aa5cb5dddd1ceb429fa241921597dad62df6cced249df53672b5e599083f","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-05-28T08:30:43Z","title_canon_sha256":"b66a1a5e7748e0fb297037a7c4f8494dc887f238b5a0cbca9f831501f9fab81f"},"schema_version":"1.0","source":{"id":"1405.7153","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1405.7153","created_at":"2026-05-18T01:36:20Z"},{"alias_kind":"arxiv_version","alias_value":"1405.7153v2","created_at":"2026-05-18T01:36:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1405.7153","created_at":"2026-05-18T01:36:20Z"},{"alias_kind":"pith_short_12","alias_value":"3XJOQ7PTJVLP","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_16","alias_value":"3XJOQ7PTJVLPRFKN","created_at":"2026-05-18T12:28:11Z"},{"alias_kind":"pith_short_8","alias_value":"3XJOQ7PT","created_at":"2026-05-18T12:28:11Z"}],"graph_snapshots":[{"event_id":"sha256:ac0ee2c0b3119df8c290e9cd52cdd6b1a97df85e7ea84353343034fe40580f2d","target":"graph","created_at":"2026-05-18T01:36:20Z","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":"Making threaded programs safe and easy to reason about is one of the chief difficulties in modern programming. This work provides an efficient execution model for SCOOP, a concurrency approach that provides not only data race freedom but also pre/postcondition reasoning guarantees between threads. The extensions we propose influence both the underlying semantics to increase the amount of concurrent execution that is possible, exclude certain classes of deadlocks, and enable greater performance. These extensions are used as the basis an efficient runtime and optimization pass that improve perfo","authors_text":"Bertrand Meyer, Scott West, Sebastian Nanz","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-05-28T08:30:43Z","title":"Efficient and Reasonable Object-Oriented Concurrency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1405.7153","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:93662eff76f4d81a984d88e57b003e1983fa8dd93b9801572ba8072d95ab0f09","target":"record","created_at":"2026-05-18T01:36:20Z","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":"f0d4aa5cb5dddd1ceb429fa241921597dad62df6cced249df53672b5e599083f","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2014-05-28T08:30:43Z","title_canon_sha256":"b66a1a5e7748e0fb297037a7c4f8494dc887f238b5a0cbca9f831501f9fab81f"},"schema_version":"1.0","source":{"id":"1405.7153","kind":"arxiv","version":2}},"canonical_sha256":"ddd2e87df34d56f8954d49675a1ba7ffeab674367303ff40c8341da844615a92","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ddd2e87df34d56f8954d49675a1ba7ffeab674367303ff40c8341da844615a92","first_computed_at":"2026-05-18T01:36:20.787480Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:20.787480Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Sc57BK84BmfcLfjHe+DszhSV6keKJcwBfY4fDx1nLi31KLJbvqp0URgWnpjjtkybt7lkXfLnRsZGF7AWxwySCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:20.788078Z","signed_message":"canonical_sha256_bytes"},"source_id":"1405.7153","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:93662eff76f4d81a984d88e57b003e1983fa8dd93b9801572ba8072d95ab0f09","sha256:ac0ee2c0b3119df8c290e9cd52cdd6b1a97df85e7ea84353343034fe40580f2d"],"state_sha256":"646e12c92f0e9b1c9e13a79345683e9949edc662b01db4d58e1e1818084b929c"}