{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:77CA6HHROKDOWNCRO4L67ZYIPI","short_pith_number":"pith:77CA6HHR","canonical_record":{"source":{"id":"2311.03379","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-11-02T02:38:45Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"764854b124786badc34a76eb12ce586bd092142ed9730f91b52b325c2cc8555d","abstract_canon_sha256":"5cca9659372538aa769b0060df81b7c514062e6b75c724ce680e69175ec7c235"},"schema_version":"1.0"},"canonical_sha256":"ffc40f1cf17286eb34517717efe7087a3ca20262a7de2a5c18bc074e1b53d7d4","source":{"kind":"arxiv","id":"2311.03379","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.03379","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"arxiv_version","alias_value":"2311.03379v1","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.03379","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"pith_short_12","alias_value":"77CA6HHROKDO","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"pith_short_16","alias_value":"77CA6HHROKDOWNCR","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"pith_short_8","alias_value":"77CA6HHR","created_at":"2026-07-05T07:09:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:77CA6HHROKDOWNCRO4L67ZYIPI","target":"record","payload":{"canonical_record":{"source":{"id":"2311.03379","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-11-02T02:38:45Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"764854b124786badc34a76eb12ce586bd092142ed9730f91b52b325c2cc8555d","abstract_canon_sha256":"5cca9659372538aa769b0060df81b7c514062e6b75c724ce680e69175ec7c235"},"schema_version":"1.0"},"canonical_sha256":"ffc40f1cf17286eb34517717efe7087a3ca20262a7de2a5c18bc074e1b53d7d4","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:09:57.278902Z","signature_b64":"C5XgKIZPnT51dCurVhZfrVrT841k5OByaU18KwLu6XN7kpT1kdEcLKX+lI/bql9stESanC4t1bV1XAi7tw5dBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ffc40f1cf17286eb34517717efe7087a3ca20262a7de2a5c18bc074e1b53d7d4","last_reissued_at":"2026-07-05T07:09:57.278446Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:09:57.278446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2311.03379","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-07-05T07:09:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"gWI/tmQORvN7X5WyrAqsNJgw2ReW0KnzI6QuvSduu8XM6tPkVlhTuSid5Ffg26p/yQxPxwY13tIBNXM3v6uTDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T15:50:06.572627Z"},"content_sha256":"23d3bdcbcee53260b43befa39dba044fdd4711e0f8071c99bba7bbc877d91e32","schema_version":"1.0","event_id":"sha256:23d3bdcbcee53260b43befa39dba044fdd4711e0f8071c99bba7bbc877d91e32"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:77CA6HHROKDOWNCRO4L67ZYIPI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"HIDA: A Hierarchical Dataflow Compiler for High-Level Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Deming Chen, Hanchen Ye, Hyegang Jun","submitted_at":"2023-11-02T02:38:45Z","abstract_excerpt":"Dataflow architectures are growing in popularity due to their potential to mitigate the challenges posed by the memory wall inherent to the Von Neumann architecture. At the same time, high-level synthesis (HLS) has demonstrated its efficacy as a design methodology for generating efficient dataflow architectures within a short development cycle. However, existing HLS tools rely on developers to explore the vast dataflow design space, ultimately leading to suboptimal designs. This phenomenon is especially concerning as the size of the HLS design grows. To tackle these challenges, we introduce HI"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.03379","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/2311.03379/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-05T07:09:57Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uq4SS9kYoTbksF0KcyqE+A0G0u1EvtLmHG8Xi5DURp1WiQns58mipcozPtnwW+CjqYUsQ2r1ZJMHwLHgxwpRBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T15:50:06.573139Z"},"content_sha256":"923c3b86a17efdf036800a2d2627a5ff047143c3acda6f2ad3a3afe79b330de1","schema_version":"1.0","event_id":"sha256:923c3b86a17efdf036800a2d2627a5ff047143c3acda6f2ad3a3afe79b330de1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/77CA6HHROKDOWNCRO4L67ZYIPI/bundle.json","state_url":"https://pith.science/pith/77CA6HHROKDOWNCRO4L67ZYIPI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/77CA6HHROKDOWNCRO4L67ZYIPI/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-08T15:50:06Z","links":{"resolver":"https://pith.science/pith/77CA6HHROKDOWNCRO4L67ZYIPI","bundle":"https://pith.science/pith/77CA6HHROKDOWNCRO4L67ZYIPI/bundle.json","state":"https://pith.science/pith/77CA6HHROKDOWNCRO4L67ZYIPI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/77CA6HHROKDOWNCRO4L67ZYIPI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:77CA6HHROKDOWNCRO4L67ZYIPI","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":"5cca9659372538aa769b0060df81b7c514062e6b75c724ce680e69175ec7c235","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-11-02T02:38:45Z","title_canon_sha256":"764854b124786badc34a76eb12ce586bd092142ed9730f91b52b325c2cc8555d"},"schema_version":"1.0","source":{"id":"2311.03379","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2311.03379","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"arxiv_version","alias_value":"2311.03379v1","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2311.03379","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"pith_short_12","alias_value":"77CA6HHROKDO","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"pith_short_16","alias_value":"77CA6HHROKDOWNCR","created_at":"2026-07-05T07:09:57Z"},{"alias_kind":"pith_short_8","alias_value":"77CA6HHR","created_at":"2026-07-05T07:09:57Z"}],"graph_snapshots":[{"event_id":"sha256:923c3b86a17efdf036800a2d2627a5ff047143c3acda6f2ad3a3afe79b330de1","target":"graph","created_at":"2026-07-05T07:09:57Z","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/2311.03379/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Dataflow architectures are growing in popularity due to their potential to mitigate the challenges posed by the memory wall inherent to the Von Neumann architecture. At the same time, high-level synthesis (HLS) has demonstrated its efficacy as a design methodology for generating efficient dataflow architectures within a short development cycle. However, existing HLS tools rely on developers to explore the vast dataflow design space, ultimately leading to suboptimal designs. This phenomenon is especially concerning as the size of the HLS design grows. To tackle these challenges, we introduce HI","authors_text":"Deming Chen, Hanchen Ye, Hyegang Jun","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-11-02T02:38:45Z","title":"HIDA: A Hierarchical Dataflow Compiler for High-Level Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2311.03379","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:23d3bdcbcee53260b43befa39dba044fdd4711e0f8071c99bba7bbc877d91e32","target":"record","created_at":"2026-07-05T07:09:57Z","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":"5cca9659372538aa769b0060df81b7c514062e6b75c724ce680e69175ec7c235","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2023-11-02T02:38:45Z","title_canon_sha256":"764854b124786badc34a76eb12ce586bd092142ed9730f91b52b325c2cc8555d"},"schema_version":"1.0","source":{"id":"2311.03379","kind":"arxiv","version":1}},"canonical_sha256":"ffc40f1cf17286eb34517717efe7087a3ca20262a7de2a5c18bc074e1b53d7d4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ffc40f1cf17286eb34517717efe7087a3ca20262a7de2a5c18bc074e1b53d7d4","first_computed_at":"2026-07-05T07:09:57.278446Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:09:57.278446Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"C5XgKIZPnT51dCurVhZfrVrT841k5OByaU18KwLu6XN7kpT1kdEcLKX+lI/bql9stESanC4t1bV1XAi7tw5dBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:09:57.278902Z","signed_message":"canonical_sha256_bytes"},"source_id":"2311.03379","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:23d3bdcbcee53260b43befa39dba044fdd4711e0f8071c99bba7bbc877d91e32","sha256:923c3b86a17efdf036800a2d2627a5ff047143c3acda6f2ad3a3afe79b330de1"],"state_sha256":"fb88f7b94841e3aa0487a6565bec21a76670d7a18aedd711463a6d5da7fc4782"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"o20RBUh41SsW8g5gixrvKp6FOiQ7qo3RtzZs9Zeekq81hrTh+J8xa+ZRFrzDjdf5XU3dFHjAW55VOrqz3yEvDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T15:50:06.576923Z","bundle_sha256":"def494a14a640bb404bab9630897ca9fd368e9f81eef9ee5169d1a4ff1517825"}}