{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:ZDSJ72BB4CCKO4LW6K7YUOR3Z7","short_pith_number":"pith:ZDSJ72BB","canonical_record":{"source":{"id":"2105.09377","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-05-19T19:56:44Z","cross_cats_sorted":[],"title_canon_sha256":"fddda465ad17f91f732df1dedce48298ea042fae49c27b6cd6c20b87ea8afea0","abstract_canon_sha256":"42938c530361be5e6ddf4aa68e56ad6fd4821eea0f32d9b1fe33165530a34ada"},"schema_version":"1.0"},"canonical_sha256":"c8e49fe821e084a77176f2bf8a3a3bcfd650d7284626ecc6813974db70c884f7","source":{"kind":"arxiv","id":"2105.09377","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.09377","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"arxiv_version","alias_value":"2105.09377v1","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.09377","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"pith_short_12","alias_value":"ZDSJ72BB4CCK","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZDSJ72BB4CCKO4LW","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZDSJ72BB","created_at":"2026-07-05T02:41:52Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:ZDSJ72BB4CCKO4LW6K7YUOR3Z7","target":"record","payload":{"canonical_record":{"source":{"id":"2105.09377","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-05-19T19:56:44Z","cross_cats_sorted":[],"title_canon_sha256":"fddda465ad17f91f732df1dedce48298ea042fae49c27b6cd6c20b87ea8afea0","abstract_canon_sha256":"42938c530361be5e6ddf4aa68e56ad6fd4821eea0f32d9b1fe33165530a34ada"},"schema_version":"1.0"},"canonical_sha256":"c8e49fe821e084a77176f2bf8a3a3bcfd650d7284626ecc6813974db70c884f7","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:41:52.033910Z","signature_b64":"2PdigV00QBlJF7aenNCAKHs0XOgdtLLcf9PAdcgqIjLQpQ9+j0QLdIhp6eEwM2AnXEuZ81yiFwfI3JEkE19EBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c8e49fe821e084a77176f2bf8a3a3bcfd650d7284626ecc6813974db70c884f7","last_reissued_at":"2026-07-05T02:41:52.033537Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:41:52.033537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2105.09377","source_version":1,"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-05T02:41:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zrzis4fvCfPtOWajfArASyXMe4z8Je+B8xhbzCn2PMsNJodRghS+VIBu4MXM0L4aPahg5xgRgblzg+IvaF3AAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:46:24.496592Z"},"content_sha256":"de727ad43d5b3931e26fa34e503e56c6a4753f421c0ec2d182811c05b71c0749","schema_version":"1.0","event_id":"sha256:de727ad43d5b3931e26fa34e503e56c6a4753f421c0ec2d182811c05b71c0749"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:ZDSJ72BB4CCKO4LW6K7YUOR3Z7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Pure Tensor Program Rewriting via Access Patterns (Representation Pearl)","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Andrew Liu, Gus Henry Smith, Joseph McMahan, Luis Ceze, Michael Taylor, Scott Davidson, Steven Lyubomirsky, Zachary Tatlock","submitted_at":"2021-05-19T19:56:44Z","abstract_excerpt":"Tensor kernels in machine learning (ML) often correspond to pure mathematical expressions, making term rewriting an attractive strategy for optimization and mapping to specialized hardware accelerators. However, existing ML intermediate representations (IRs) tend to either be \\textit{pure but high-level}, making low-level rewrites to hardware targets inexpressible, or \\textit{low-level but impure}, hampering the use of term rewriting altogether. This paper introduces Glenside, a pure IR whose core abstraction -- the \\textit{access pattern} -- enables low-level, layout-aware, hardware-centric p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.09377","kind":"arxiv","version":1},"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/2105.09377/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-05T02:41:52Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KYx8mE/NBFU3CD6MTnvpYTEROnoTn0pmd9ewaeXDetSdd4qBP0DGRmNFFmbVzS5UGt67UZG+K8j51aDDo2usBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T17:46:24.497119Z"},"content_sha256":"5aa9eab93c663545c76faec75d6fe4121495587db2be2190024630e21455f1ad","schema_version":"1.0","event_id":"sha256:5aa9eab93c663545c76faec75d6fe4121495587db2be2190024630e21455f1ad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZDSJ72BB4CCKO4LW6K7YUOR3Z7/bundle.json","state_url":"https://pith.science/pith/ZDSJ72BB4CCKO4LW6K7YUOR3Z7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZDSJ72BB4CCKO4LW6K7YUOR3Z7/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-03T17:46:24Z","links":{"resolver":"https://pith.science/pith/ZDSJ72BB4CCKO4LW6K7YUOR3Z7","bundle":"https://pith.science/pith/ZDSJ72BB4CCKO4LW6K7YUOR3Z7/bundle.json","state":"https://pith.science/pith/ZDSJ72BB4CCKO4LW6K7YUOR3Z7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZDSJ72BB4CCKO4LW6K7YUOR3Z7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:ZDSJ72BB4CCKO4LW6K7YUOR3Z7","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":"42938c530361be5e6ddf4aa68e56ad6fd4821eea0f32d9b1fe33165530a34ada","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-05-19T19:56:44Z","title_canon_sha256":"fddda465ad17f91f732df1dedce48298ea042fae49c27b6cd6c20b87ea8afea0"},"schema_version":"1.0","source":{"id":"2105.09377","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.09377","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"arxiv_version","alias_value":"2105.09377v1","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.09377","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"pith_short_12","alias_value":"ZDSJ72BB4CCK","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"pith_short_16","alias_value":"ZDSJ72BB4CCKO4LW","created_at":"2026-07-05T02:41:52Z"},{"alias_kind":"pith_short_8","alias_value":"ZDSJ72BB","created_at":"2026-07-05T02:41:52Z"}],"graph_snapshots":[{"event_id":"sha256:5aa9eab93c663545c76faec75d6fe4121495587db2be2190024630e21455f1ad","target":"graph","created_at":"2026-07-05T02:41:52Z","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/2105.09377/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Tensor kernels in machine learning (ML) often correspond to pure mathematical expressions, making term rewriting an attractive strategy for optimization and mapping to specialized hardware accelerators. However, existing ML intermediate representations (IRs) tend to either be \\textit{pure but high-level}, making low-level rewrites to hardware targets inexpressible, or \\textit{low-level but impure}, hampering the use of term rewriting altogether. This paper introduces Glenside, a pure IR whose core abstraction -- the \\textit{access pattern} -- enables low-level, layout-aware, hardware-centric p","authors_text":"Andrew Liu, Gus Henry Smith, Joseph McMahan, Luis Ceze, Michael Taylor, Scott Davidson, Steven Lyubomirsky, Zachary Tatlock","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-05-19T19:56:44Z","title":"Pure Tensor Program Rewriting via Access Patterns (Representation Pearl)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.09377","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:de727ad43d5b3931e26fa34e503e56c6a4753f421c0ec2d182811c05b71c0749","target":"record","created_at":"2026-07-05T02:41:52Z","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":"42938c530361be5e6ddf4aa68e56ad6fd4821eea0f32d9b1fe33165530a34ada","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.PL","submitted_at":"2021-05-19T19:56:44Z","title_canon_sha256":"fddda465ad17f91f732df1dedce48298ea042fae49c27b6cd6c20b87ea8afea0"},"schema_version":"1.0","source":{"id":"2105.09377","kind":"arxiv","version":1}},"canonical_sha256":"c8e49fe821e084a77176f2bf8a3a3bcfd650d7284626ecc6813974db70c884f7","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8e49fe821e084a77176f2bf8a3a3bcfd650d7284626ecc6813974db70c884f7","first_computed_at":"2026-07-05T02:41:52.033537Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:41:52.033537Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2PdigV00QBlJF7aenNCAKHs0XOgdtLLcf9PAdcgqIjLQpQ9+j0QLdIhp6eEwM2AnXEuZ81yiFwfI3JEkE19EBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:41:52.033910Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.09377","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:de727ad43d5b3931e26fa34e503e56c6a4753f421c0ec2d182811c05b71c0749","sha256:5aa9eab93c663545c76faec75d6fe4121495587db2be2190024630e21455f1ad"],"state_sha256":"8a911174b41cdb69d27f5edbbd013e033480ba0c72c2efe8574d7deafa374405"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JAqiOR/3ak6BAHTM6XaukcfL6tSiGRiZRxF8UrxMVbVxcet/jqaFP4m5oRIloeEd8Q52p9kxh2Nds7xmkJzLAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T17:46:24.502114Z","bundle_sha256":"6aef0fd236c2c65ca00db15e82151819f90739f5fa19ea678bf37dbf0a8e4a41"}}