{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:PIKMRKTX6Y6ANWI45FN6UTR2LL","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":"a984dfe2a3c53701397b3d294e673056e95e53ad049971a249baba4aacc88023","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-10T18:52:48Z","title_canon_sha256":"b18d0a9ad74a0c5ad7cee456e472e4eb89ad0fd9f5d4cea0d8ee7cb74f35f43a"},"schema_version":"1.0","source":{"id":"1904.05389","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1904.05389","created_at":"2026-05-17T23:48:49Z"},{"alias_kind":"arxiv_version","alias_value":"1904.05389v1","created_at":"2026-05-17T23:48:49Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1904.05389","created_at":"2026-05-17T23:48:49Z"},{"alias_kind":"pith_short_12","alias_value":"PIKMRKTX6Y6A","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_16","alias_value":"PIKMRKTX6Y6ANWI4","created_at":"2026-05-18T12:33:24Z"},{"alias_kind":"pith_short_8","alias_value":"PIKMRKTX","created_at":"2026-05-18T12:33:24Z"}],"graph_snapshots":[{"event_id":"sha256:d3cde90c06279461f382fd64a15cbf819d68eb2fb30fc8595f5a19e9fef5986c","target":"graph","created_at":"2026-05-17T23:48:49Z","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":"Crary and Sullivan's Relaxed Memory Calculus (RMC) proposed a new declarative approach for writing low-level shared memory concurrent programs in the presence of modern relaxed-memory multi-processor architectures and optimizing compilers. In RMC, the programmer explicitly specifies constraints on the order of execution of operations and on the visibility of memory writes. These constraints are then enforced by the compiler, which has a wide degree of latitude in how to accomplish its goals.\n  We present rmc-compiler, a Clang and LLVM-based compiler for RMC-extended C and C++. In addition to u","authors_text":"Karl Crary, Michael J. Sullivan, Salil Joshi","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-10T18:52:48Z","title":"Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1904.05389","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:4963c65ca5883ab6bcabeb83e6b9e4a28abcc8c4a2605d249c2ba63702482a2d","target":"record","created_at":"2026-05-17T23:48:49Z","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":"a984dfe2a3c53701397b3d294e673056e95e53ad049971a249baba4aacc88023","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-04-10T18:52:48Z","title_canon_sha256":"b18d0a9ad74a0c5ad7cee456e472e4eb89ad0fd9f5d4cea0d8ee7cb74f35f43a"},"schema_version":"1.0","source":{"id":"1904.05389","kind":"arxiv","version":1}},"canonical_sha256":"7a14c8aa77f63c06d91ce95bea4e3a5ae0db277140cd8898e263adccbc350a63","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7a14c8aa77f63c06d91ce95bea4e3a5ae0db277140cd8898e263adccbc350a63","first_computed_at":"2026-05-17T23:48:49.683804Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:48:49.683804Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8tFfuZeEJCH7/k2sMCMEF41eqZvPI9NtBQiPglGQT4Amc2Y1hYlskxvPNGC4JASazOM95oQNmYbhZmQI4DnEBg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:48:49.684429Z","signed_message":"canonical_sha256_bytes"},"source_id":"1904.05389","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4963c65ca5883ab6bcabeb83e6b9e4a28abcc8c4a2605d249c2ba63702482a2d","sha256:d3cde90c06279461f382fd64a15cbf819d68eb2fb30fc8595f5a19e9fef5986c"],"state_sha256":"9d6cf27d08be825d614e896562f15f26afe36c3bf046ab4e3388191c0bcd4861"}