{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:Y7GFSCUJREUMPTR3IIQGGPPY3Y","short_pith_number":"pith:Y7GFSCUJ","schema_version":"1.0","canonical_sha256":"c7cc590a898928c7ce3b4220633df8de2457859c1f4b78854acc356617dd1bfd","source":{"kind":"arxiv","id":"2411.17498","version":1},"attestation_state":"computed","paper":{"title":"Simplification of Polyhedral Reductions in Practice","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Louis Narmour, Ryan Job, Sanjay Rajopadhye, Tomofumi Yuki","submitted_at":"2024-11-26T15:10:30Z","abstract_excerpt":"Reductions combine collections of inputs with an associative (and here, also commutative) operator to produce collections of outputs. When the same value contributes to multiple outputs, there is an opportunity to reuse partial results, enabling reduction simplification. We provide the first complete push-button implementation of reduction simplification in a compiler. We evaluate its effectiveness on a range of real-world applications, and show that simplification rediscovers several key results in algorithmic improvement across multiple domains, previously only obtained through clever manual"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2411.17498","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2024-11-26T15:10:30Z","cross_cats_sorted":[],"title_canon_sha256":"ee756ea2f5a3a55ba072d90d9ab5ccaf2268258a32663c65551ee2fdd29faace","abstract_canon_sha256":"6ed39244ebf28e76881adf80c12f085ece9a944f354f7775a9e59668c887cf51"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T09:40:48.074336Z","signature_b64":"hs/UOT1ZzVw58XPTKsHKpwry65wb/7TITH0Ex9ai8iDl62mQImDCqeN6iWOSV/7FPPxCAjHzWjtRRCdrg/cDCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c7cc590a898928c7ce3b4220633df8de2457859c1f4b78854acc356617dd1bfd","last_reissued_at":"2026-07-05T09:40:48.073858Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T09:40:48.073858Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Simplification of Polyhedral Reductions in Practice","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Louis Narmour, Ryan Job, Sanjay Rajopadhye, Tomofumi Yuki","submitted_at":"2024-11-26T15:10:30Z","abstract_excerpt":"Reductions combine collections of inputs with an associative (and here, also commutative) operator to produce collections of outputs. When the same value contributes to multiple outputs, there is an opportunity to reuse partial results, enabling reduction simplification. We provide the first complete push-button implementation of reduction simplification in a compiler. We evaluate its effectiveness on a range of real-world applications, and show that simplification rediscovers several key results in algorithmic improvement across multiple domains, previously only obtained through clever manual"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2411.17498","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/2411.17498/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2411.17498","created_at":"2026-07-05T09:40:48.073912+00:00"},{"alias_kind":"arxiv_version","alias_value":"2411.17498v1","created_at":"2026-07-05T09:40:48.073912+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2411.17498","created_at":"2026-07-05T09:40:48.073912+00:00"},{"alias_kind":"pith_short_12","alias_value":"Y7GFSCUJREUM","created_at":"2026-07-05T09:40:48.073912+00:00"},{"alias_kind":"pith_short_16","alias_value":"Y7GFSCUJREUMPTR3","created_at":"2026-07-05T09:40:48.073912+00:00"},{"alias_kind":"pith_short_8","alias_value":"Y7GFSCUJ","created_at":"2026-07-05T09:40:48.073912+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y","json":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y.json","graph_json":"https://pith.science/api/pith-number/Y7GFSCUJREUMPTR3IIQGGPPY3Y/graph.json","events_json":"https://pith.science/api/pith-number/Y7GFSCUJREUMPTR3IIQGGPPY3Y/events.json","paper":"https://pith.science/paper/Y7GFSCUJ"},"agent_actions":{"view_html":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y","download_json":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y.json","view_paper":"https://pith.science/paper/Y7GFSCUJ","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2411.17498&json=true","fetch_graph":"https://pith.science/api/pith-number/Y7GFSCUJREUMPTR3IIQGGPPY3Y/graph.json","fetch_events":"https://pith.science/api/pith-number/Y7GFSCUJREUMPTR3IIQGGPPY3Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y/action/storage_attestation","attest_author":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y/action/author_attestation","sign_citation":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y/action/citation_signature","submit_replication":"https://pith.science/pith/Y7GFSCUJREUMPTR3IIQGGPPY3Y/action/replication_record"}},"created_at":"2026-07-05T09:40:48.073912+00:00","updated_at":"2026-07-05T09:40:48.073912+00:00"}