{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:CLVRV3TM6PJUK2GMDNP6DEWF7H","short_pith_number":"pith:CLVRV3TM","canonical_record":{"source":{"id":"1505.07716","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-05-28T15:05:46Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"37b073a95b82383bd4852f46c4ef294a913be5cf3fca5cb0b01b1dba60028077","abstract_canon_sha256":"9ba5fbe8ed5562b8d717ee03fde07ebeffbb75e17213b540d0dfe469b4c19ce7"},"schema_version":"1.0"},"canonical_sha256":"12eb1aee6cf3d34568cc1b5fe192c5f9cf08f746168884d77b666b5a1b40fba1","source":{"kind":"arxiv","id":"1505.07716","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.07716","created_at":"2026-05-18T02:00:56Z"},{"alias_kind":"arxiv_version","alias_value":"1505.07716v1","created_at":"2026-05-18T02:00:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.07716","created_at":"2026-05-18T02:00:56Z"},{"alias_kind":"pith_short_12","alias_value":"CLVRV3TM6PJU","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"CLVRV3TM6PJUK2GM","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"CLVRV3TM","created_at":"2026-05-18T12:29:17Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:CLVRV3TM6PJUK2GMDNP6DEWF7H","target":"record","payload":{"canonical_record":{"source":{"id":"1505.07716","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-05-28T15:05:46Z","cross_cats_sorted":["cs.DC"],"title_canon_sha256":"37b073a95b82383bd4852f46c4ef294a913be5cf3fca5cb0b01b1dba60028077","abstract_canon_sha256":"9ba5fbe8ed5562b8d717ee03fde07ebeffbb75e17213b540d0dfe469b4c19ce7"},"schema_version":"1.0"},"canonical_sha256":"12eb1aee6cf3d34568cc1b5fe192c5f9cf08f746168884d77b666b5a1b40fba1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:00:56.014386Z","signature_b64":"Nua4L3BDS+UgRufgIv7SsEZB3B3NAbQw2/gvKILGqTMjhfZmrc5rx8WTvkuFELRpclBVolTZiRcuamPBebEFCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"12eb1aee6cf3d34568cc1b5fe192c5f9cf08f746168884d77b666b5a1b40fba1","last_reissued_at":"2026-05-18T02:00:56.013838Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:00:56.013838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1505.07716","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-05-18T02:00:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"/e9aYyXPQtTJw/HOb8rcloxktlHcaX1Ycw/wWH4vf6R/jG+xrP1kyLPAuVqh7NdOEMw0nR2tw6yg74R8DyDtDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T13:13:59.462404Z"},"content_sha256":"aee099552f7f3d90da61eb94cdf938b4a208d2e5d70bcd1aa9811fb049ba970c","schema_version":"1.0","event_id":"sha256:aee099552f7f3d90da61eb94cdf938b4a208d2e5d70bcd1aa9811fb049ba970c"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:CLVRV3TM6PJUK2GMDNP6DEWF7H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Polly's Polyhedral Scheduling in the Presence of Reductions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DC"],"primary_cat":"cs.PL","authors_text":"Johannes Doerfert, Kevin Streit, Sebastian Hack, Zino Benaissa","submitted_at":"2015-05-28T15:05:46Z","abstract_excerpt":"The polyhedral model provides a powerful mathematical abstraction to enable effective optimization of loop nests with respect to a given optimization goal, e.g., exploiting parallelism. Unexploited reduction properties are a frequent reason for polyhedral optimizers to assume parallelism prohibiting dependences. To our knowledge, no polyhedral loop optimizer available in any production compiler provides support for reductions. In this paper, we show that leveraging the parallelism of reductions can lead to a significant performance increase. We give a precise, dependence based, definition of r"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.07716","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":""},"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-05-18T02:00:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LlClZ99p3tTSK3aLOJ3+yvAcnTbaMeyTujV6rC6dzUELTsQrBBFaARvkkzFoqgyOTe2W84FeWWFU5UZd4NFHAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T13:13:59.462756Z"},"content_sha256":"141aa9abb76e0499e89471eb9a2a82d714fdc4d3a8d536125f59ff3951d881aa","schema_version":"1.0","event_id":"sha256:141aa9abb76e0499e89471eb9a2a82d714fdc4d3a8d536125f59ff3951d881aa"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CLVRV3TM6PJUK2GMDNP6DEWF7H/bundle.json","state_url":"https://pith.science/pith/CLVRV3TM6PJUK2GMDNP6DEWF7H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CLVRV3TM6PJUK2GMDNP6DEWF7H/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-06-09T13:13:59Z","links":{"resolver":"https://pith.science/pith/CLVRV3TM6PJUK2GMDNP6DEWF7H","bundle":"https://pith.science/pith/CLVRV3TM6PJUK2GMDNP6DEWF7H/bundle.json","state":"https://pith.science/pith/CLVRV3TM6PJUK2GMDNP6DEWF7H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CLVRV3TM6PJUK2GMDNP6DEWF7H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:CLVRV3TM6PJUK2GMDNP6DEWF7H","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":"9ba5fbe8ed5562b8d717ee03fde07ebeffbb75e17213b540d0dfe469b4c19ce7","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-05-28T15:05:46Z","title_canon_sha256":"37b073a95b82383bd4852f46c4ef294a913be5cf3fca5cb0b01b1dba60028077"},"schema_version":"1.0","source":{"id":"1505.07716","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1505.07716","created_at":"2026-05-18T02:00:56Z"},{"alias_kind":"arxiv_version","alias_value":"1505.07716v1","created_at":"2026-05-18T02:00:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1505.07716","created_at":"2026-05-18T02:00:56Z"},{"alias_kind":"pith_short_12","alias_value":"CLVRV3TM6PJU","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_16","alias_value":"CLVRV3TM6PJUK2GM","created_at":"2026-05-18T12:29:17Z"},{"alias_kind":"pith_short_8","alias_value":"CLVRV3TM","created_at":"2026-05-18T12:29:17Z"}],"graph_snapshots":[{"event_id":"sha256:141aa9abb76e0499e89471eb9a2a82d714fdc4d3a8d536125f59ff3951d881aa","target":"graph","created_at":"2026-05-18T02:00:56Z","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"},"paper":{"abstract_excerpt":"The polyhedral model provides a powerful mathematical abstraction to enable effective optimization of loop nests with respect to a given optimization goal, e.g., exploiting parallelism. Unexploited reduction properties are a frequent reason for polyhedral optimizers to assume parallelism prohibiting dependences. To our knowledge, no polyhedral loop optimizer available in any production compiler provides support for reductions. In this paper, we show that leveraging the parallelism of reductions can lead to a significant performance increase. We give a precise, dependence based, definition of r","authors_text":"Johannes Doerfert, Kevin Streit, Sebastian Hack, Zino Benaissa","cross_cats":["cs.DC"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-05-28T15:05:46Z","title":"Polly's Polyhedral Scheduling in the Presence of Reductions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1505.07716","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:aee099552f7f3d90da61eb94cdf938b4a208d2e5d70bcd1aa9811fb049ba970c","target":"record","created_at":"2026-05-18T02:00:56Z","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":"9ba5fbe8ed5562b8d717ee03fde07ebeffbb75e17213b540d0dfe469b4c19ce7","cross_cats_sorted":["cs.DC"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-05-28T15:05:46Z","title_canon_sha256":"37b073a95b82383bd4852f46c4ef294a913be5cf3fca5cb0b01b1dba60028077"},"schema_version":"1.0","source":{"id":"1505.07716","kind":"arxiv","version":1}},"canonical_sha256":"12eb1aee6cf3d34568cc1b5fe192c5f9cf08f746168884d77b666b5a1b40fba1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"12eb1aee6cf3d34568cc1b5fe192c5f9cf08f746168884d77b666b5a1b40fba1","first_computed_at":"2026-05-18T02:00:56.013838Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:00:56.013838Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Nua4L3BDS+UgRufgIv7SsEZB3B3NAbQw2/gvKILGqTMjhfZmrc5rx8WTvkuFELRpclBVolTZiRcuamPBebEFCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:00:56.014386Z","signed_message":"canonical_sha256_bytes"},"source_id":"1505.07716","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:aee099552f7f3d90da61eb94cdf938b4a208d2e5d70bcd1aa9811fb049ba970c","sha256:141aa9abb76e0499e89471eb9a2a82d714fdc4d3a8d536125f59ff3951d881aa"],"state_sha256":"a52870396e13b510bba6ded84215ff82cdcad8d7e236edb0af8ceb3552f89556"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xKLUAnbgs9fSAH+KyQt0FwjJcBET7Y8ToZhBCRMI48cE7im/Quj3eyx9GMH+8mJpHsF2FQcaVguwniae6L19Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T13:13:59.464823Z","bundle_sha256":"e123d8ef93684deffc8a142a586ed2d0f04bacce929761e8475ac2005ce4819f"}}