{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:DO3S3XO345VDHGJBBZXEMT3QWB","short_pith_number":"pith:DO3S3XO3","canonical_record":{"source":{"id":"2405.03058","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-05-05T21:41:43Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"16077556284b749a8ab9bb888658764e21c808aa60d2ef86bb4a3767c05e77f7","abstract_canon_sha256":"d3f54942521ec415aa6418a65ccee51c6752ab80076b7318af4aadeb4a5e638b"},"schema_version":"1.0"},"canonical_sha256":"1bb72ddddbe76a3399210e6e464f70b042a8be2469980f1ee800b31ea123ac7c","source":{"kind":"arxiv","id":"2405.03058","version":6},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.03058","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"arxiv_version","alias_value":"2405.03058v6","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.03058","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"pith_short_12","alias_value":"DO3S3XO345VD","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"pith_short_16","alias_value":"DO3S3XO345VDHGJB","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"pith_short_8","alias_value":"DO3S3XO3","created_at":"2026-07-05T10:21:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:DO3S3XO345VDHGJBBZXEMT3QWB","target":"record","payload":{"canonical_record":{"source":{"id":"2405.03058","kind":"arxiv","version":6},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-05-05T21:41:43Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"16077556284b749a8ab9bb888658764e21c808aa60d2ef86bb4a3767c05e77f7","abstract_canon_sha256":"d3f54942521ec415aa6418a65ccee51c6752ab80076b7318af4aadeb4a5e638b"},"schema_version":"1.0"},"canonical_sha256":"1bb72ddddbe76a3399210e6e464f70b042a8be2469980f1ee800b31ea123ac7c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:21:59.554167Z","signature_b64":"cat6bt4EV0EFVVFvAfRvxrkKAhG5C4/3gMTOQqapsQqia4Dp2OzwahSpjYI1O0aFJGMSIFXd/nx/K8ewerZvCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1bb72ddddbe76a3399210e6e464f70b042a8be2469980f1ee800b31ea123ac7c","last_reissued_at":"2026-07-05T10:21:59.553611Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:21:59.553611Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2405.03058","source_version":6,"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-05T10:21:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"DDvwOrYVN3dRmhR4NYZPqk8vVnbcWBdKslRlyElfZ+BGYouiU4NoZpuvT3eGD+hzRskB20Z5OBfhGdUdeb5xBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T19:34:59.378821Z"},"content_sha256":"1817145e7f7c0fd0e595b26dcf7518cc5a41a55779ba35373154d86fc6ddc538","schema_version":"1.0","event_id":"sha256:1817145e7f7c0fd0e595b26dcf7518cc5a41a55779ba35373154d86fc6ddc538"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:DO3S3XO345VDHGJBBZXEMT3QWB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Unified Framework for Automated Code Transformation and Pragma Insertion","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Jason Cong, Louis-No\\\"el Pouchet, St\\'ephane Pouget","submitted_at":"2024-05-05T21:41:43Z","abstract_excerpt":"High-level synthesis, source-to-source compilers, and various Design Space Exploration techniques for pragma insertion have significantly improved the Quality of Results of generated designs. These tools offer benefits such as reduced development time and enhanced performance. However, achieving high-quality results often requires additional manual code transformations and tiling selections, which are typically performed separately or as pre-processing steps. Although DSE techniques enable code transformation upfront, the vastness of the search space often limits the exploration of all possibl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.03058","kind":"arxiv","version":6},"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/2405.03058/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-05T10:21:59Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vP3fdLWZpcN4kWKxJdecyk3EcWUxlAiohckEC9oCXQbJYCxq/eXzFRSpqCzLAElN3LsPN5LsOHYobyq6CGz8DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-10T19:34:59.379317Z"},"content_sha256":"288e98def5d00dd76e73933a8cdfa83f8652460e2c891778243ff79de3beec44","schema_version":"1.0","event_id":"sha256:288e98def5d00dd76e73933a8cdfa83f8652460e2c891778243ff79de3beec44"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/bundle.json","state_url":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DO3S3XO345VDHGJBBZXEMT3QWB/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-10T19:34:59Z","links":{"resolver":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB","bundle":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/bundle.json","state":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DO3S3XO345VDHGJBBZXEMT3QWB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DO3S3XO345VDHGJBBZXEMT3QWB","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":"d3f54942521ec415aa6418a65ccee51c6752ab80076b7318af4aadeb4a5e638b","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-05-05T21:41:43Z","title_canon_sha256":"16077556284b749a8ab9bb888658764e21c808aa60d2ef86bb4a3767c05e77f7"},"schema_version":"1.0","source":{"id":"2405.03058","kind":"arxiv","version":6}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.03058","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"arxiv_version","alias_value":"2405.03058v6","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.03058","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"pith_short_12","alias_value":"DO3S3XO345VD","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"pith_short_16","alias_value":"DO3S3XO345VDHGJB","created_at":"2026-07-05T10:21:59Z"},{"alias_kind":"pith_short_8","alias_value":"DO3S3XO3","created_at":"2026-07-05T10:21:59Z"}],"graph_snapshots":[{"event_id":"sha256:288e98def5d00dd76e73933a8cdfa83f8652460e2c891778243ff79de3beec44","target":"graph","created_at":"2026-07-05T10:21:59Z","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/2405.03058/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-level synthesis, source-to-source compilers, and various Design Space Exploration techniques for pragma insertion have significantly improved the Quality of Results of generated designs. These tools offer benefits such as reduced development time and enhanced performance. However, achieving high-quality results often requires additional manual code transformations and tiling selections, which are typically performed separately or as pre-processing steps. Although DSE techniques enable code transformation upfront, the vastness of the search space often limits the exploration of all possibl","authors_text":"Jason Cong, Louis-No\\\"el Pouchet, St\\'ephane Pouget","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-05-05T21:41:43Z","title":"A Unified Framework for Automated Code Transformation and Pragma Insertion"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.03058","kind":"arxiv","version":6},"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:1817145e7f7c0fd0e595b26dcf7518cc5a41a55779ba35373154d86fc6ddc538","target":"record","created_at":"2026-07-05T10:21:59Z","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":"d3f54942521ec415aa6418a65ccee51c6752ab80076b7318af4aadeb4a5e638b","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2024-05-05T21:41:43Z","title_canon_sha256":"16077556284b749a8ab9bb888658764e21c808aa60d2ef86bb4a3767c05e77f7"},"schema_version":"1.0","source":{"id":"2405.03058","kind":"arxiv","version":6}},"canonical_sha256":"1bb72ddddbe76a3399210e6e464f70b042a8be2469980f1ee800b31ea123ac7c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1bb72ddddbe76a3399210e6e464f70b042a8be2469980f1ee800b31ea123ac7c","first_computed_at":"2026-07-05T10:21:59.553611Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:21:59.553611Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cat6bt4EV0EFVVFvAfRvxrkKAhG5C4/3gMTOQqapsQqia4Dp2OzwahSpjYI1O0aFJGMSIFXd/nx/K8ewerZvCw==","signature_status":"signed_v1","signed_at":"2026-07-05T10:21:59.554167Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.03058","source_kind":"arxiv","source_version":6}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1817145e7f7c0fd0e595b26dcf7518cc5a41a55779ba35373154d86fc6ddc538","sha256:288e98def5d00dd76e73933a8cdfa83f8652460e2c891778243ff79de3beec44"],"state_sha256":"a5c98191796d5c6cb7beae935e6297697acb4decae66006e7a68b55425fa2eda"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mBx06CwmYSFNG5N8hdVaP3jIt4gjGCpN5KwsyOh0zwQ+u0egeV4u1pBd7aJXMYOW27mf2ODGwSR0GOJcaq8dCQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-10T19:34:59.382622Z","bundle_sha256":"62b0f40aec12c10d1c8392a15abc243261e2c79584cefa911cc4eafe64b2e469"}}