{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:ODC5RFKEOGOMNPUBLLHXQ3F62Y","short_pith_number":"pith:ODC5RFKE","canonical_record":{"source":{"id":"2007.11203","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-07-22T05:12:00Z","cross_cats_sorted":[],"title_canon_sha256":"7a79214b488c34f557ee7ac1bfc7120cc262a9805b09355a514728bc2362356b","abstract_canon_sha256":"30882547d938676b0b3d33b8426d11813f3710e154219da1098011f7f7bcd5ad"},"schema_version":"1.0"},"canonical_sha256":"70c5d89544719cc6be815acf786cbed60e20f0d23be71648461e591116de9306","source":{"kind":"arxiv","id":"2007.11203","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.11203","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"arxiv_version","alias_value":"2007.11203v2","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.11203","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"pith_short_12","alias_value":"ODC5RFKEOGOM","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"pith_short_16","alias_value":"ODC5RFKEOGOMNPUB","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"pith_short_8","alias_value":"ODC5RFKE","created_at":"2026-07-05T02:14:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:ODC5RFKEOGOMNPUBLLHXQ3F62Y","target":"record","payload":{"canonical_record":{"source":{"id":"2007.11203","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-07-22T05:12:00Z","cross_cats_sorted":[],"title_canon_sha256":"7a79214b488c34f557ee7ac1bfc7120cc262a9805b09355a514728bc2362356b","abstract_canon_sha256":"30882547d938676b0b3d33b8426d11813f3710e154219da1098011f7f7bcd5ad"},"schema_version":"1.0"},"canonical_sha256":"70c5d89544719cc6be815acf786cbed60e20f0d23be71648461e591116de9306","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T02:14:10.642955Z","signature_b64":"v3a+B9ndwVbSjpThEjjGEKUdFDD3EBr/nsyPDIcGSLjlpdSG88z5WydWd1J9z1TbdpUtTqagBwalMnQZ5FxJCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"70c5d89544719cc6be815acf786cbed60e20f0d23be71648461e591116de9306","last_reissued_at":"2026-07-05T02:14:10.642576Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T02:14:10.642576Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2007.11203","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-05T02:14:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HQ2+MJCvMXv1WQqn9qOXY/zdXtaQCWqkqmlk2CnMhoJnQm5la7qKbK2WUXS5UakERqlphSxdzgua63UL2TtkCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:15:42.970575Z"},"content_sha256":"edf4648ba2b12861050de921af4e6979dafc7daad9a451aeccda4cc1771b232c","schema_version":"1.0","event_id":"sha256:edf4648ba2b12861050de921af4e6979dafc7daad9a451aeccda4cc1771b232c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:ODC5RFKEOGOMNPUBLLHXQ3F62Y","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Simplifying Dependent Reductions in the Polyhedral Model","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Cambridge Yang, Eric Atkinson, Michael Carbin","submitted_at":"2020-07-22T05:12:00Z","abstract_excerpt":"A Reduction -- an accumulation over a set of values, using an associative and commutative operator -- is a common computation in many numerical computations, including scientific computations, machine learning, computer vision, and financial analytics.\n  Contemporary polyhedral-based compilation techniques make it possible to optimize reductions, such as prefix sums, in which each component of the reduction's output potentially shares computation with another component in the reduction. Therefore an optimizing compiler can identify the computation shared between multiple components and generat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.11203","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/2007.11203/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:14:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Bvu47DjNkGotCzkU7eIl/88ket/dFXQS4VdyE3zxvDGYd9ihwhm2THsbBoOAAuQZW3KOajXfmuFpm+0Tb/jiBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T05:15:42.971487Z"},"content_sha256":"677751893e1f31f4337e3ad85ecef8a938813e5c8fa12217c6241c4a4218a690","schema_version":"1.0","event_id":"sha256:677751893e1f31f4337e3ad85ecef8a938813e5c8fa12217c6241c4a4218a690"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ODC5RFKEOGOMNPUBLLHXQ3F62Y/bundle.json","state_url":"https://pith.science/pith/ODC5RFKEOGOMNPUBLLHXQ3F62Y/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ODC5RFKEOGOMNPUBLLHXQ3F62Y/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-07-07T05:15:42Z","links":{"resolver":"https://pith.science/pith/ODC5RFKEOGOMNPUBLLHXQ3F62Y","bundle":"https://pith.science/pith/ODC5RFKEOGOMNPUBLLHXQ3F62Y/bundle.json","state":"https://pith.science/pith/ODC5RFKEOGOMNPUBLLHXQ3F62Y/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ODC5RFKEOGOMNPUBLLHXQ3F62Y/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:ODC5RFKEOGOMNPUBLLHXQ3F62Y","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":"30882547d938676b0b3d33b8426d11813f3710e154219da1098011f7f7bcd5ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-07-22T05:12:00Z","title_canon_sha256":"7a79214b488c34f557ee7ac1bfc7120cc262a9805b09355a514728bc2362356b"},"schema_version":"1.0","source":{"id":"2007.11203","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2007.11203","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"arxiv_version","alias_value":"2007.11203v2","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2007.11203","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"pith_short_12","alias_value":"ODC5RFKEOGOM","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"pith_short_16","alias_value":"ODC5RFKEOGOMNPUB","created_at":"2026-07-05T02:14:10Z"},{"alias_kind":"pith_short_8","alias_value":"ODC5RFKE","created_at":"2026-07-05T02:14:10Z"}],"graph_snapshots":[{"event_id":"sha256:677751893e1f31f4337e3ad85ecef8a938813e5c8fa12217c6241c4a4218a690","target":"graph","created_at":"2026-07-05T02:14:10Z","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/2007.11203/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A Reduction -- an accumulation over a set of values, using an associative and commutative operator -- is a common computation in many numerical computations, including scientific computations, machine learning, computer vision, and financial analytics.\n  Contemporary polyhedral-based compilation techniques make it possible to optimize reductions, such as prefix sums, in which each component of the reduction's output potentially shares computation with another component in the reduction. Therefore an optimizing compiler can identify the computation shared between multiple components and generat","authors_text":"Cambridge Yang, Eric Atkinson, Michael Carbin","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-07-22T05:12:00Z","title":"Simplifying Dependent Reductions in the Polyhedral Model"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2007.11203","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:edf4648ba2b12861050de921af4e6979dafc7daad9a451aeccda4cc1771b232c","target":"record","created_at":"2026-07-05T02:14:10Z","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":"30882547d938676b0b3d33b8426d11813f3710e154219da1098011f7f7bcd5ad","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2020-07-22T05:12:00Z","title_canon_sha256":"7a79214b488c34f557ee7ac1bfc7120cc262a9805b09355a514728bc2362356b"},"schema_version":"1.0","source":{"id":"2007.11203","kind":"arxiv","version":2}},"canonical_sha256":"70c5d89544719cc6be815acf786cbed60e20f0d23be71648461e591116de9306","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"70c5d89544719cc6be815acf786cbed60e20f0d23be71648461e591116de9306","first_computed_at":"2026-07-05T02:14:10.642576Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:14:10.642576Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v3a+B9ndwVbSjpThEjjGEKUdFDD3EBr/nsyPDIcGSLjlpdSG88z5WydWd1J9z1TbdpUtTqagBwalMnQZ5FxJCg==","signature_status":"signed_v1","signed_at":"2026-07-05T02:14:10.642955Z","signed_message":"canonical_sha256_bytes"},"source_id":"2007.11203","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:edf4648ba2b12861050de921af4e6979dafc7daad9a451aeccda4cc1771b232c","sha256:677751893e1f31f4337e3ad85ecef8a938813e5c8fa12217c6241c4a4218a690"],"state_sha256":"8e5f10fc70d1520258d951214aac9e1fd54b088743db451ccc8750f610a16419"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+AG43AoPc6nuUeeHWz4TTc5mIh1cFAVFV7cFdwRcWB3gwj31nqbr4Un38KcY0ey1fqxf18YRc95AywdaTnzpCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T05:15:42.975193Z","bundle_sha256":"8e8471c71adbfa50cacd86ebb02ce264c4693bd646d2c768d48577f95fe17e2d"}}