{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TI4OQOVI23LA7RSXTFUIUDKAZC","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":"779805636927786b292d98bbe2dc5a2944db1fb756c16e6e9d04346ebaea721a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-01-23T17:09:28Z","title_canon_sha256":"affdafe176665abffd1cd895cce3365b2b216f42c908252ad51d95190d5b7c91"},"schema_version":"1.0","source":{"id":"1901.08006","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.08006","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"arxiv_version","alias_value":"1901.08006v1","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.08006","created_at":"2026-05-17T23:55:39Z"},{"alias_kind":"pith_short_12","alias_value":"TI4OQOVI23LA","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"TI4OQOVI23LA7RSX","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"TI4OQOVI","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:9b4c6974e9d871e6873be13dc2c5a2675a90cd556b2a6be924df39e4419a27b2","target":"graph","created_at":"2026-05-17T23:55:39Z","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":"Modern architectures require applications to make effective use of caches to achieve high performance and hide memory latency. This in turn requires careful consideration of placement of data in memory to exploit spatial locality, leverage hardware prefetching and conserve memory bandwidth. In unmanaged languages like C++, memory optimisations are common, but at the cost of losing object abstraction and memory safety. In managed languages like Java and C#, the abstract view of memory and proliferation of moving compacting garbage collection does not provide enough control over placement and la","authors_text":"Alexandros Tasos, Juliana Franco, Sophia Drossopoulou, Susan Eisenbach, Tobias Wrigstad","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-01-23T17:09:28Z","title":"Safely Abstracting Memory Layouts"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.08006","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:b4599b0364daa3f3bf89752b2e71bb809c993b308cd62d6cafd139e3f4756f19","target":"record","created_at":"2026-05-17T23:55:39Z","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":"779805636927786b292d98bbe2dc5a2944db1fb756c16e6e9d04346ebaea721a","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2019-01-23T17:09:28Z","title_canon_sha256":"affdafe176665abffd1cd895cce3365b2b216f42c908252ad51d95190d5b7c91"},"schema_version":"1.0","source":{"id":"1901.08006","kind":"arxiv","version":1}},"canonical_sha256":"9a38e83aa8d6d60fc65799688a0d40c88cb233b23f129c471f3f547e32bfa7c4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a38e83aa8d6d60fc65799688a0d40c88cb233b23f129c471f3f547e32bfa7c4","first_computed_at":"2026-05-17T23:55:39.325728Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:39.325728Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8dWW0+G+cDr4NV8uGckVj580DPqIWOC4n9vQC75qsWPhY4eNdtuEQTek0pGME/N4HaLj2sBGvb8ei7hSUad2Dw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:39.326181Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.08006","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b4599b0364daa3f3bf89752b2e71bb809c993b308cd62d6cafd139e3f4756f19","sha256:9b4c6974e9d871e6873be13dc2c5a2675a90cd556b2a6be924df39e4419a27b2"],"state_sha256":"d2e2f0bb63aef2a7fdae460c62f9be2c9419d4da587e43a5370da04ce0400036"}