{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:A6BYTVHX2JYRAP3QLJMR3VTQSY","short_pith_number":"pith:A6BYTVHX","canonical_record":{"source":{"id":"2411.12857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-11-19T20:58:00Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4e391fd916376760aeff678c9ac207e55f72acb80fb5963b378dab6e74b9e6a1","abstract_canon_sha256":"0d064a61f72140f88257cbae3cef346d78d6e84ed25ebbd07f167c5ac9f97775"},"schema_version":"1.0"},"canonical_sha256":"078389d4f7d271103f705a591dd67096123493c4c061418da550feace9c4b1f2","source":{"kind":"arxiv","id":"2411.12857","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.12857","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"arxiv_version","alias_value":"2411.12857v2","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.12857","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"pith_short_12","alias_value":"A6BYTVHX2JYR","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"pith_short_16","alias_value":"A6BYTVHX2JYRAP3Q","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"pith_short_8","alias_value":"A6BYTVHX","created_at":"2026-07-05T09:40:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:A6BYTVHX2JYRAP3QLJMR3VTQSY","target":"record","payload":{"canonical_record":{"source":{"id":"2411.12857","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-11-19T20:58:00Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4e391fd916376760aeff678c9ac207e55f72acb80fb5963b378dab6e74b9e6a1","abstract_canon_sha256":"0d064a61f72140f88257cbae3cef346d78d6e84ed25ebbd07f167c5ac9f97775"},"schema_version":"1.0"},"canonical_sha256":"078389d4f7d271103f705a591dd67096123493c4c061418da550feace9c4b1f2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:40:21.287469Z","signature_b64":"ySub3iCILNCwgmo0otO7E70df2gkkG65scyRjAUJZrPISyCkJg6PZQpcJv2+GtnOLB4DAsF+ijT5HtG+FK4TCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"078389d4f7d271103f705a591dd67096123493c4c061418da550feace9c4b1f2","last_reissued_at":"2026-07-05T09:40:21.287056Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:40:21.287056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2411.12857","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:40:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+BXlYf6rsfWCCKMm8nkH4C3Lnxy7qQ0VE7CDb4pqPtRZQpAzEGm9QUZzJgQQ5hH8OtvHQN6ZWHl10JwFsbA1DA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T11:21:44.854316Z"},"content_sha256":"17ab413c616b3bfd99dcc7729bc75a7a11a824f0abf1d2a631946908b7c8f395","schema_version":"1.0","event_id":"sha256:17ab413c616b3bfd99dcc7729bc75a7a11a824f0abf1d2a631946908b7c8f395"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:A6BYTVHX2JYRAP3QLJMR3VTQSY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An Abstract Domain for Heap Commutativity (Extended Version)","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Eric Koskinen, Jared Pincus","submitted_at":"2024-11-19T20:58:00Z","abstract_excerpt":"Commutativity of program code (i.e. the equivalence of two code fragments composed in alternate orders) is of ongoing interest in many settings such as program verification, scalable concurrency, and security analysis. While some have explored static analysis for code commutativity, few have specifically catered to heap-manipulating programs. We introduce an abstract domain in which commutativity synthesis or verification techniques can safely be performed on abstract mathematical models and, from those results, one can directly obtain commutativity conditions for concrete heap programs. This "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.12857","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2411.12857/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T09:40:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0/0+SNDEgWMKlfxk+Kxxehl482m94darALmoO5jZ4BsjhpyyUqthvso15qKFGODeAzDVei7wiB9p/5+myeX6Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-13T11:21:44.854990Z"},"content_sha256":"5ad5785e11c5fd0bc5d413374b37ac78a7615211c1eb27f5e1a50d9482416290","schema_version":"1.0","event_id":"sha256:5ad5785e11c5fd0bc5d413374b37ac78a7615211c1eb27f5e1a50d9482416290"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/A6BYTVHX2JYRAP3QLJMR3VTQSY/bundle.json","state_url":"https://pith.science/pith/A6BYTVHX2JYRAP3QLJMR3VTQSY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/A6BYTVHX2JYRAP3QLJMR3VTQSY/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-13T11:21:44Z","links":{"resolver":"https://pith.science/pith/A6BYTVHX2JYRAP3QLJMR3VTQSY","bundle":"https://pith.science/pith/A6BYTVHX2JYRAP3QLJMR3VTQSY/bundle.json","state":"https://pith.science/pith/A6BYTVHX2JYRAP3QLJMR3VTQSY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/A6BYTVHX2JYRAP3QLJMR3VTQSY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:A6BYTVHX2JYRAP3QLJMR3VTQSY","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":"0d064a61f72140f88257cbae3cef346d78d6e84ed25ebbd07f167c5ac9f97775","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-11-19T20:58:00Z","title_canon_sha256":"4e391fd916376760aeff678c9ac207e55f72acb80fb5963b378dab6e74b9e6a1"},"schema_version":"1.0","source":{"id":"2411.12857","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2411.12857","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"arxiv_version","alias_value":"2411.12857v2","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.12857","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"pith_short_12","alias_value":"A6BYTVHX2JYR","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"pith_short_16","alias_value":"A6BYTVHX2JYRAP3Q","created_at":"2026-07-05T09:40:21Z"},{"alias_kind":"pith_short_8","alias_value":"A6BYTVHX","created_at":"2026-07-05T09:40:21Z"}],"graph_snapshots":[{"event_id":"sha256:5ad5785e11c5fd0bc5d413374b37ac78a7615211c1eb27f5e1a50d9482416290","target":"graph","created_at":"2026-07-05T09:40:21Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2411.12857/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Commutativity of program code (i.e. the equivalence of two code fragments composed in alternate orders) is of ongoing interest in many settings such as program verification, scalable concurrency, and security analysis. While some have explored static analysis for code commutativity, few have specifically catered to heap-manipulating programs. We introduce an abstract domain in which commutativity synthesis or verification techniques can safely be performed on abstract mathematical models and, from those results, one can directly obtain commutativity conditions for concrete heap programs. This ","authors_text":"Eric Koskinen, Jared Pincus","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-11-19T20:58:00Z","title":"An Abstract Domain for Heap Commutativity (Extended Version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.12857","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:17ab413c616b3bfd99dcc7729bc75a7a11a824f0abf1d2a631946908b7c8f395","target":"record","created_at":"2026-07-05T09:40:21Z","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":"0d064a61f72140f88257cbae3cef346d78d6e84ed25ebbd07f167c5ac9f97775","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2024-11-19T20:58:00Z","title_canon_sha256":"4e391fd916376760aeff678c9ac207e55f72acb80fb5963b378dab6e74b9e6a1"},"schema_version":"1.0","source":{"id":"2411.12857","kind":"arxiv","version":2}},"canonical_sha256":"078389d4f7d271103f705a591dd67096123493c4c061418da550feace9c4b1f2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"078389d4f7d271103f705a591dd67096123493c4c061418da550feace9c4b1f2","first_computed_at":"2026-07-05T09:40:21.287056Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T09:40:21.287056Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ySub3iCILNCwgmo0otO7E70df2gkkG65scyRjAUJZrPISyCkJg6PZQpcJv2+GtnOLB4DAsF+ijT5HtG+FK4TCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T09:40:21.287469Z","signed_message":"canonical_sha256_bytes"},"source_id":"2411.12857","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:17ab413c616b3bfd99dcc7729bc75a7a11a824f0abf1d2a631946908b7c8f395","sha256:5ad5785e11c5fd0bc5d413374b37ac78a7615211c1eb27f5e1a50d9482416290"],"state_sha256":"39ecffb86580596a921f46ca18c9a5d36ec3d9995095c416bfcfb3eb2d73ee38"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wWwtDxMSfe/s5RWfirGQNDdf0fzV4hvdARc5r17UmGdJlXjChoB1hJQGVjb8WC1dWLUJ7ni1thFyhkSthITuDQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-13T11:21:44.864038Z","bundle_sha256":"b5e0bcd2ecd6d894b9bdc84c89320bd8fec505fa2b703be5b42a1e8bbb886ea1"}}