{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:6KWYHNCTIW5YW2E53RPNWE6E2R","short_pith_number":"pith:6KWYHNCT","canonical_record":{"source":{"id":"2111.13040","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-11-25T11:57:26Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"8dc61c42557a670df7d85c14e85689e0c1152165da51e4f5134d48864bbab3df","abstract_canon_sha256":"2e552cdc1e85a0606b9ac43a78d95cb360c02e09009412298b3023c244c46d93"},"schema_version":"1.0"},"canonical_sha256":"f2ad83b45345bb8b689ddc5edb13c4d44f75aff22ccaffa6bbe3bdb86c72029e","source":{"kind":"arxiv","id":"2111.13040","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.13040","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"arxiv_version","alias_value":"2111.13040v2","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.13040","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"pith_short_12","alias_value":"6KWYHNCTIW5Y","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"6KWYHNCTIW5YW2E5","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"6KWYHNCT","created_at":"2026-07-05T04:28:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:6KWYHNCTIW5YW2E53RPNWE6E2R","target":"record","payload":{"canonical_record":{"source":{"id":"2111.13040","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-11-25T11:57:26Z","cross_cats_sorted":["cs.PF"],"title_canon_sha256":"8dc61c42557a670df7d85c14e85689e0c1152165da51e4f5134d48864bbab3df","abstract_canon_sha256":"2e552cdc1e85a0606b9ac43a78d95cb360c02e09009412298b3023c244c46d93"},"schema_version":"1.0"},"canonical_sha256":"f2ad83b45345bb8b689ddc5edb13c4d44f75aff22ccaffa6bbe3bdb86c72029e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:28:41.757044Z","signature_b64":"HpIC2KCZxqdolEBGQqahSeGTwrT0QNeHIliBZKIXdo0Lhsjd2rqgey6AWj+MInkXQDDlInKSl9DsPnO73+FAAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f2ad83b45345bb8b689ddc5edb13c4d44f75aff22ccaffa6bbe3bdb86c72029e","last_reissued_at":"2026-07-05T04:28:41.756636Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:28:41.756636Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2111.13040","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-05T04:28:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"H6kaA0OvndD2Wve3klzvgYl86WC2mIgETz2UDTjQjoM7N5c8lcK+Ol2u7DHDcw5LasVodyuywQgpUa/bEREiAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T11:36:36.827233Z"},"content_sha256":"eadee7e706206e86a661c19d411d0b47f72e75700284d77914d5069ecac00733","schema_version":"1.0","event_id":"sha256:eadee7e706206e86a661c19d411d0b47f72e75700284d77914d5069ecac00733"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:6KWYHNCTIW5YW2E53RPNWE6E2R","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PF"],"primary_cat":"cs.PL","authors_text":"Michel Steuwer, Phil Trinder, Thomas Koehler","submitted_at":"2021-11-25T11:57:26Z","abstract_excerpt":"Generating high-performance code for diverse hardware and application domains is challenging. Functional array programming languages with patterns like map and reduce have been successfully combined with term rewriting to define and explore optimization spaces. However, deciding what sequence of rewrites to apply is hard and has a huge impact on the performance of the rewritten program. Equality saturation avoids the issue by exploring many possible ways to apply rewrites, efficiently representing many equivalent programs in an e-graph data structure.\n  Equality saturation has some limitations"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.13040","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/2111.13040/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-05T04:28:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"bg+mjUp0hjg/2Ys4iBRwPVAclQHjIt1eNVjkHkAJg2rjMktTGAPYu9HdPkY9U6fDSqe3VUgItCyWkvGZ5U2dCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T11:36:36.827738Z"},"content_sha256":"ebc44bd84e0bfc3a056e1617a1e09c64cc239a1bf06aa449d95150b16ca90a37","schema_version":"1.0","event_id":"sha256:ebc44bd84e0bfc3a056e1617a1e09c64cc239a1bf06aa449d95150b16ca90a37"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6KWYHNCTIW5YW2E53RPNWE6E2R/bundle.json","state_url":"https://pith.science/pith/6KWYHNCTIW5YW2E53RPNWE6E2R/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6KWYHNCTIW5YW2E53RPNWE6E2R/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-21T11:36:36Z","links":{"resolver":"https://pith.science/pith/6KWYHNCTIW5YW2E53RPNWE6E2R","bundle":"https://pith.science/pith/6KWYHNCTIW5YW2E53RPNWE6E2R/bundle.json","state":"https://pith.science/pith/6KWYHNCTIW5YW2E53RPNWE6E2R/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6KWYHNCTIW5YW2E53RPNWE6E2R/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:6KWYHNCTIW5YW2E53RPNWE6E2R","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":"2e552cdc1e85a0606b9ac43a78d95cb360c02e09009412298b3023c244c46d93","cross_cats_sorted":["cs.PF"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-11-25T11:57:26Z","title_canon_sha256":"8dc61c42557a670df7d85c14e85689e0c1152165da51e4f5134d48864bbab3df"},"schema_version":"1.0","source":{"id":"2111.13040","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2111.13040","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"arxiv_version","alias_value":"2111.13040v2","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2111.13040","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"pith_short_12","alias_value":"6KWYHNCTIW5Y","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"pith_short_16","alias_value":"6KWYHNCTIW5YW2E5","created_at":"2026-07-05T04:28:41Z"},{"alias_kind":"pith_short_8","alias_value":"6KWYHNCT","created_at":"2026-07-05T04:28:41Z"}],"graph_snapshots":[{"event_id":"sha256:ebc44bd84e0bfc3a056e1617a1e09c64cc239a1bf06aa449d95150b16ca90a37","target":"graph","created_at":"2026-07-05T04:28:41Z","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/2111.13040/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Generating high-performance code for diverse hardware and application domains is challenging. Functional array programming languages with patterns like map and reduce have been successfully combined with term rewriting to define and explore optimization spaces. However, deciding what sequence of rewrites to apply is hard and has a huge impact on the performance of the rewritten program. Equality saturation avoids the issue by exploring many possible ways to apply rewrites, efficiently representing many equivalent programs in an e-graph data structure.\n  Equality saturation has some limitations","authors_text":"Michel Steuwer, Phil Trinder, Thomas Koehler","cross_cats":["cs.PF"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-11-25T11:57:26Z","title":"Sketch-Guided Equality Saturation: Scaling Equality Saturation to Complex Optimizations of Functional Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2111.13040","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:eadee7e706206e86a661c19d411d0b47f72e75700284d77914d5069ecac00733","target":"record","created_at":"2026-07-05T04:28:41Z","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":"2e552cdc1e85a0606b9ac43a78d95cb360c02e09009412298b3023c244c46d93","cross_cats_sorted":["cs.PF"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2021-11-25T11:57:26Z","title_canon_sha256":"8dc61c42557a670df7d85c14e85689e0c1152165da51e4f5134d48864bbab3df"},"schema_version":"1.0","source":{"id":"2111.13040","kind":"arxiv","version":2}},"canonical_sha256":"f2ad83b45345bb8b689ddc5edb13c4d44f75aff22ccaffa6bbe3bdb86c72029e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f2ad83b45345bb8b689ddc5edb13c4d44f75aff22ccaffa6bbe3bdb86c72029e","first_computed_at":"2026-07-05T04:28:41.756636Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:28:41.756636Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HpIC2KCZxqdolEBGQqahSeGTwrT0QNeHIliBZKIXdo0Lhsjd2rqgey6AWj+MInkXQDDlInKSl9DsPnO73+FAAw==","signature_status":"signed_v1","signed_at":"2026-07-05T04:28:41.757044Z","signed_message":"canonical_sha256_bytes"},"source_id":"2111.13040","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:eadee7e706206e86a661c19d411d0b47f72e75700284d77914d5069ecac00733","sha256:ebc44bd84e0bfc3a056e1617a1e09c64cc239a1bf06aa449d95150b16ca90a37"],"state_sha256":"2208d084e73180324c905ce8bc9ffbf62cf1192f7f17e36b10d54cfafc5d770a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Io9EqozlUkpG2vo8Z5XT03eSEUEOB0mY3jt5PubIfA2SY2ya+OYIcvWzxFDhyEBwC1HbWYmbDc5hYs3Lrh2CDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T11:36:36.832730Z","bundle_sha256":"762c3be63846799150572bc31648a60d48e9ebc2e36e8a72494f4fb6ce91af2c"}}