{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:SHC7QKLJYZL4RZHO4XMMTXBIC6","short_pith_number":"pith:SHC7QKLJ","canonical_record":{"source":{"id":"2607.18765","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-21T06:46:08Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"fc457cea5f3d21ab977394beae22b6c6a126c6dfb990e487b179ac960d6aea4e","abstract_canon_sha256":"7b6c0890d42181e18003ebedc909ff10a471e551d1db26352329b6c15b514f74"},"schema_version":"1.0"},"canonical_sha256":"91c5f82969c657c8e4eee5d8c9dc28179892b80a48812235162f5e3171c9d154","source":{"kind":"arxiv","id":"2607.18765","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.18765","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"arxiv_version","alias_value":"2607.18765v1","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.18765","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"pith_short_12","alias_value":"SHC7QKLJYZL4","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"pith_short_16","alias_value":"SHC7QKLJYZL4RZHO","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"pith_short_8","alias_value":"SHC7QKLJ","created_at":"2026-07-22T01:23:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:SHC7QKLJYZL4RZHO4XMMTXBIC6","target":"record","payload":{"canonical_record":{"source":{"id":"2607.18765","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-21T06:46:08Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"fc457cea5f3d21ab977394beae22b6c6a126c6dfb990e487b179ac960d6aea4e","abstract_canon_sha256":"7b6c0890d42181e18003ebedc909ff10a471e551d1db26352329b6c15b514f74"},"schema_version":"1.0"},"canonical_sha256":"91c5f82969c657c8e4eee5d8c9dc28179892b80a48812235162f5e3171c9d154","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-22T01:23:10.849853Z","signature_b64":"E2Y9RHp0sKfHPiJl79q+EVPQ0cR4lU+EYakVbeB0wHtlyZoQl2qOtQToDpb+aGVYGl0c1aQOWAaz6RbkKF1xBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"91c5f82969c657c8e4eee5d8c9dc28179892b80a48812235162f5e3171c9d154","last_reissued_at":"2026-07-22T01:23:10.848972Z","signature_status":"signed_v1","first_computed_at":"2026-07-22T01:23:10.848972Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.18765","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-22T01:23:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VoC9SKXCv76GdxRsOV8PWxeRj2i9H6E5bK6gpmeqmAMmX4HVRzbrZNBJtlQjC98liPpsXTzvt2mNnF8n4bsfBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:52:11.136221Z"},"content_sha256":"44a0587511591190ee37e6e53dc6fba22e5ddb69fa77378ef5f40b1ecd7316ab","schema_version":"1.0","event_id":"sha256:44a0587511591190ee37e6e53dc6fba22e5ddb69fa77378ef5f40b1ecd7316ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:SHC7QKLJYZL4RZHO4XMMTXBIC6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"High-Level Synthesis of Efficient Pipelines with Visibility Control","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.PL","authors_text":"Jaewoo Kim, Jeehoon Kang, Jungin Rhee, Minseong Jang","submitted_at":"2026-07-21T06:46:08Z","abstract_excerpt":"High-level synthesis (HLS) raises the abstraction of hardware design from concurrent register-transfer level (RTL) programs to sequential programs. Among the forms of parallelism HLS exploits, pipelining demands fine-grained control over pipeline structure and hazard resolution to achieve competitive power, performance, and area (PPA). However, existing tools either lack such control or sacrifice sequential semantics to provide it.\n  We present an HLS tool that embeds fine-grained pipeline control in a sequential programming model, enabling rapid design-space exploration. The tool builds on vi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.18765","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/2607.18765/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-22T01:23:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"OGjZpb+rEbLq32gEBDb9elFkFYogq3mxDYMBpTeHLQ3DcPzDuYZJOJsmHx+uj77swD3UyaG2Zi0mP6u1sP4FBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T11:52:11.136712Z"},"content_sha256":"75dc7d9ab936d76183613fd80bcb52ddc1aa894e4146eca22cf31c8b390c7932","schema_version":"1.0","event_id":"sha256:75dc7d9ab936d76183613fd80bcb52ddc1aa894e4146eca22cf31c8b390c7932"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SHC7QKLJYZL4RZHO4XMMTXBIC6/bundle.json","state_url":"https://pith.science/pith/SHC7QKLJYZL4RZHO4XMMTXBIC6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SHC7QKLJYZL4RZHO4XMMTXBIC6/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-08T11:52:11Z","links":{"resolver":"https://pith.science/pith/SHC7QKLJYZL4RZHO4XMMTXBIC6","bundle":"https://pith.science/pith/SHC7QKLJYZL4RZHO4XMMTXBIC6/bundle.json","state":"https://pith.science/pith/SHC7QKLJYZL4RZHO4XMMTXBIC6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SHC7QKLJYZL4RZHO4XMMTXBIC6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:SHC7QKLJYZL4RZHO4XMMTXBIC6","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":"7b6c0890d42181e18003ebedc909ff10a471e551d1db26352329b6c15b514f74","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-21T06:46:08Z","title_canon_sha256":"fc457cea5f3d21ab977394beae22b6c6a126c6dfb990e487b179ac960d6aea4e"},"schema_version":"1.0","source":{"id":"2607.18765","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.18765","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"arxiv_version","alias_value":"2607.18765v1","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.18765","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"pith_short_12","alias_value":"SHC7QKLJYZL4","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"pith_short_16","alias_value":"SHC7QKLJYZL4RZHO","created_at":"2026-07-22T01:23:10Z"},{"alias_kind":"pith_short_8","alias_value":"SHC7QKLJ","created_at":"2026-07-22T01:23:10Z"}],"graph_snapshots":[{"event_id":"sha256:75dc7d9ab936d76183613fd80bcb52ddc1aa894e4146eca22cf31c8b390c7932","target":"graph","created_at":"2026-07-22T01:23:10Z","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/2607.18765/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"High-level synthesis (HLS) raises the abstraction of hardware design from concurrent register-transfer level (RTL) programs to sequential programs. Among the forms of parallelism HLS exploits, pipelining demands fine-grained control over pipeline structure and hazard resolution to achieve competitive power, performance, and area (PPA). However, existing tools either lack such control or sacrifice sequential semantics to provide it.\n  We present an HLS tool that embeds fine-grained pipeline control in a sequential programming model, enabling rapid design-space exploration. The tool builds on vi","authors_text":"Jaewoo Kim, Jeehoon Kang, Jungin Rhee, Minseong Jang","cross_cats":["cs.AR"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-21T06:46:08Z","title":"High-Level Synthesis of Efficient Pipelines with Visibility Control"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.18765","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:44a0587511591190ee37e6e53dc6fba22e5ddb69fa77378ef5f40b1ecd7316ab","target":"record","created_at":"2026-07-22T01:23:10Z","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":"7b6c0890d42181e18003ebedc909ff10a471e551d1db26352329b6c15b514f74","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2026-07-21T06:46:08Z","title_canon_sha256":"fc457cea5f3d21ab977394beae22b6c6a126c6dfb990e487b179ac960d6aea4e"},"schema_version":"1.0","source":{"id":"2607.18765","kind":"arxiv","version":1}},"canonical_sha256":"91c5f82969c657c8e4eee5d8c9dc28179892b80a48812235162f5e3171c9d154","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"91c5f82969c657c8e4eee5d8c9dc28179892b80a48812235162f5e3171c9d154","first_computed_at":"2026-07-22T01:23:10.848972Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-22T01:23:10.848972Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"E2Y9RHp0sKfHPiJl79q+EVPQ0cR4lU+EYakVbeB0wHtlyZoQl2qOtQToDpb+aGVYGl0c1aQOWAaz6RbkKF1xBg==","signature_status":"signed_v1","signed_at":"2026-07-22T01:23:10.849853Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.18765","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:44a0587511591190ee37e6e53dc6fba22e5ddb69fa77378ef5f40b1ecd7316ab","sha256:75dc7d9ab936d76183613fd80bcb52ddc1aa894e4146eca22cf31c8b390c7932"],"state_sha256":"f959b720e7fc6c794e793623c711a07c5fe171e88e236b7aa7bee255f24ca248"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NtugRq/0fxZ78So1IKDKOSJeZPtpXvdiLn/4DgwUjhd5jwtK8mMkRu+FhpBfVgR2dCDXM0qaMlk27lsZ/03ICA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T11:52:11.141274Z","bundle_sha256":"ad1ac8994d22542a5b018791a76e41ca2bafab518a6d2ca6f630037790b230b5"}}