{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:DO3S3XO345VDHGJBBZXEMT3QWB","short_pith_number":"pith:DO3S3XO3","schema_version":"1.0","canonical_sha256":"1bb72ddddbe76a3399210e6e464f70b042a8be2469980f1ee800b31ea123ac7c","source":{"kind":"arxiv","id":"2405.03058","version":6},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2405.03058","created_at":"2026-07-05T10:21:59.553670+00:00"},{"alias_kind":"arxiv_version","alias_value":"2405.03058v6","created_at":"2026-07-05T10:21:59.553670+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.03058","created_at":"2026-07-05T10:21:59.553670+00:00"},{"alias_kind":"pith_short_12","alias_value":"DO3S3XO345VD","created_at":"2026-07-05T10:21:59.553670+00:00"},{"alias_kind":"pith_short_16","alias_value":"DO3S3XO345VDHGJB","created_at":"2026-07-05T10:21:59.553670+00:00"},{"alias_kind":"pith_short_8","alias_value":"DO3S3XO3","created_at":"2026-07-05T10:21:59.553670+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":1,"internal_anchor_count":1,"sample":[{"citing_arxiv_id":"2507.03255","citing_title":"ForgeHLS: A Large-Scale, Open-Source Dataset for High-Level Synthesis","ref_index":9,"is_internal_anchor":true}]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB","json":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB.json","graph_json":"https://pith.science/api/pith-number/DO3S3XO345VDHGJBBZXEMT3QWB/graph.json","events_json":"https://pith.science/api/pith-number/DO3S3XO345VDHGJBBZXEMT3QWB/events.json","paper":"https://pith.science/paper/DO3S3XO3"},"agent_actions":{"view_html":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB","download_json":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB.json","view_paper":"https://pith.science/paper/DO3S3XO3","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2405.03058&json=true","fetch_graph":"https://pith.science/api/pith-number/DO3S3XO345VDHGJBBZXEMT3QWB/graph.json","fetch_events":"https://pith.science/api/pith-number/DO3S3XO345VDHGJBBZXEMT3QWB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/action/storage_attestation","attest_author":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/action/author_attestation","sign_citation":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/action/citation_signature","submit_replication":"https://pith.science/pith/DO3S3XO345VDHGJBBZXEMT3QWB/action/replication_record"}},"created_at":"2026-07-05T10:21:59.553670+00:00","updated_at":"2026-07-05T10:21:59.553670+00:00"}