{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:LTYQACD4VZDCRNLK52WSNB7E7F","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":"24f3f8b96b2e819e40f1859d2110035a2b4c1c75dc567627c62a3cc8ada795b3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-05-20T18:11:45Z","title_canon_sha256":"e53ccc9553928e264d28aa0c1eb97a63eccfa82e276232d9cb12a79e06096108"},"schema_version":"1.0","source":{"id":"2405.12304","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.12304","created_at":"2026-07-05T10:11:19Z"},{"alias_kind":"arxiv_version","alias_value":"2405.12304v4","created_at":"2026-07-05T10:11:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.12304","created_at":"2026-07-05T10:11:19Z"},{"alias_kind":"pith_short_12","alias_value":"LTYQACD4VZDC","created_at":"2026-07-05T10:11:19Z"},{"alias_kind":"pith_short_16","alias_value":"LTYQACD4VZDCRNLK","created_at":"2026-07-05T10:11:19Z"},{"alias_kind":"pith_short_8","alias_value":"LTYQACD4","created_at":"2026-07-05T10:11:19Z"}],"graph_snapshots":[{"event_id":"sha256:2c82e47a4df25f7c47da3201bc335e624e5f0fcbafd3f8c1b19b58fa7bea27e2","target":"graph","created_at":"2026-07-05T10:11:19Z","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.12304/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-Level Synthesis enables the rapid prototyping of hardware accelerators, by combining a high-level description of the functional behavior of a kernel with a set of micro-architecture optimizations as inputs. Such optimizations can be described by inserting pragmas e.g. pipelining and replication of units, or even higher level transformations for HLS such as automatic data caching using the AMD/Xilinx Merlin compiler. Selecting the best combination of pragmas, even within a restricted set, remains particularly challenging and the typical state-of-practice uses design-space exploration to na","authors_text":"Jason Cong, Louis-No\\\"el Pouchet, St\\'ephane Pouget","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-05-20T18:11:45Z","title":"Automatic Hardware Pragma Insertion in High-Level Synthesis: A Non-Linear Programming Approach"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.12304","kind":"arxiv","version":4},"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:27d43d58805206a5f4ff4c3c3f23fb2962b41121ec6c91bd3bb369dac5d27d40","target":"record","created_at":"2026-07-05T10:11:19Z","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":"24f3f8b96b2e819e40f1859d2110035a2b4c1c75dc567627c62a3cc8ada795b3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AR","submitted_at":"2024-05-20T18:11:45Z","title_canon_sha256":"e53ccc9553928e264d28aa0c1eb97a63eccfa82e276232d9cb12a79e06096108"},"schema_version":"1.0","source":{"id":"2405.12304","kind":"arxiv","version":4}},"canonical_sha256":"5cf100087cae4628b56aeead2687e4f96392a4fdbfad44123e9bb9c9b328305e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5cf100087cae4628b56aeead2687e4f96392a4fdbfad44123e9bb9c9b328305e","first_computed_at":"2026-07-05T10:11:19.518625Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T10:11:19.518625Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rQ2IkPbau3Ej1o71iRYQqk8puFd3qvQq0MHv5IVEldawXEPVEhKxkbCjO7PboG2v6c58l068CWchm+GvS9agCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T10:11:19.519036Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.12304","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:27d43d58805206a5f4ff4c3c3f23fb2962b41121ec6c91bd3bb369dac5d27d40","sha256:2c82e47a4df25f7c47da3201bc335e624e5f0fcbafd3f8c1b19b58fa7bea27e2"],"state_sha256":"e04b5533afe41c846a38830413073620d069ae8ea908f19f2f44213eb6f99940"}