{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2024:DHIEYP3XO5TV7C3XZGHYMQGJR7","short_pith_number":"pith:DHIEYP3X","canonical_record":{"source":{"id":"2401.16526","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-01-29T19:59:56Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"78016d0eccc7611e9a59799c9eba8c3ca07532957619bbfc0f3cfa5203684879","abstract_canon_sha256":"d05d646aa83259cf75bcb75b8b3de4308871587c2b269be18e30377c59b227fe"},"schema_version":"1.0"},"canonical_sha256":"19d04c3f7777675f8b77c98f8640c98fd8333f2e98da3c9ef786585795a9b0c3","source":{"kind":"arxiv","id":"2401.16526","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.16526","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"arxiv_version","alias_value":"2401.16526v1","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.16526","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"pith_short_12","alias_value":"DHIEYP3XO5TV","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"pith_short_16","alias_value":"DHIEYP3XO5TV7C3X","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"pith_short_8","alias_value":"DHIEYP3X","created_at":"2026-07-05T07:38:56Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2024:DHIEYP3XO5TV7C3XZGHYMQGJR7","target":"record","payload":{"canonical_record":{"source":{"id":"2401.16526","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-01-29T19:59:56Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"78016d0eccc7611e9a59799c9eba8c3ca07532957619bbfc0f3cfa5203684879","abstract_canon_sha256":"d05d646aa83259cf75bcb75b8b3de4308871587c2b269be18e30377c59b227fe"},"schema_version":"1.0"},"canonical_sha256":"19d04c3f7777675f8b77c98f8640c98fd8333f2e98da3c9ef786585795a9b0c3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:38:56.352667Z","signature_b64":"QSKFlqbDHiLb98MXWG6AZLpVEVHRq+0jOW5vhm31cmFUVoTsEOBo/uzjL6KDm9fH2r8aVNeRJXf/I86pMgywAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"19d04c3f7777675f8b77c98f8640c98fd8333f2e98da3c9ef786585795a9b0c3","last_reissued_at":"2026-07-05T07:38:56.352234Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:38:56.352234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2401.16526","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:38:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BHTrCpDQEwnMpVOwkjI56KYJIFGfp/HqY4lPX+kpYw88AVQ0pL5V459xMTKOGj9EqPFmam0329VX5qs+e2s5Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T23:18:12.974385Z"},"content_sha256":"d2420ce0f193855a6fdf3a36e39156699875d94e6282f0506e0d7994c8299e64","schema_version":"1.0","event_id":"sha256:d2420ce0f193855a6fdf3a36e39156699875d94e6282f0506e0d7994c8299e64"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2024:DHIEYP3XO5TV7C3XZGHYMQGJR7","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"FPGA Technology Mapping Using Sketch-Guided Program Synthesis","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.AR","authors_text":"Andrew Cheung, Ben Kushigian, Gilbert Louis Bernstein, Gus Henry Smith, Ren\\'e Just, Sorawee Porncharoenwase, Steven Lyubomirsky, Vishal Canumalla, Zachary Tatlock","submitted_at":"2024-01-29T19:59:56Z","abstract_excerpt":"FPGA technology mapping is the process of implementing a hardware design expressed in high-level HDL (hardware design language) code using the low-level, architecture-specific primitives of the target FPGA. As FPGAs become increasingly heterogeneous, achieving high performance requires hardware synthesis tools that better support mapping to complex, highly configurable primitives like digital signal processors (DSPs). Current tools support DSP mapping via handwritten special-case mapping rules, which are laborious to write, error-prone, and often overlook mapping opportunities. We introduce La"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.16526","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/2401.16526/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:38:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fRcFgxoR1hg8sepBwsdYyuneXRKf+155cJpVSakYRpol8nWcA04BnMoA7dYJUsUZcMXu8DyhnA59I+rGWKWoDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-21T23:18:12.975540Z"},"content_sha256":"37f8ebabbbe39a6ba85fe83d8c34b84498477436ecbf0cbcadaa7e63e6ea14b3","schema_version":"1.0","event_id":"sha256:37f8ebabbbe39a6ba85fe83d8c34b84498477436ecbf0cbcadaa7e63e6ea14b3"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DHIEYP3XO5TV7C3XZGHYMQGJR7/bundle.json","state_url":"https://pith.science/pith/DHIEYP3XO5TV7C3XZGHYMQGJR7/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DHIEYP3XO5TV7C3XZGHYMQGJR7/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-21T23:18:12Z","links":{"resolver":"https://pith.science/pith/DHIEYP3XO5TV7C3XZGHYMQGJR7","bundle":"https://pith.science/pith/DHIEYP3XO5TV7C3XZGHYMQGJR7/bundle.json","state":"https://pith.science/pith/DHIEYP3XO5TV7C3XZGHYMQGJR7/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DHIEYP3XO5TV7C3XZGHYMQGJR7/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:DHIEYP3XO5TV7C3XZGHYMQGJR7","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":"d05d646aa83259cf75bcb75b8b3de4308871587c2b269be18e30377c59b227fe","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-01-29T19:59:56Z","title_canon_sha256":"78016d0eccc7611e9a59799c9eba8c3ca07532957619bbfc0f3cfa5203684879"},"schema_version":"1.0","source":{"id":"2401.16526","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2401.16526","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"arxiv_version","alias_value":"2401.16526v1","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2401.16526","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"pith_short_12","alias_value":"DHIEYP3XO5TV","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"pith_short_16","alias_value":"DHIEYP3XO5TV7C3X","created_at":"2026-07-05T07:38:56Z"},{"alias_kind":"pith_short_8","alias_value":"DHIEYP3X","created_at":"2026-07-05T07:38:56Z"}],"graph_snapshots":[{"event_id":"sha256:37f8ebabbbe39a6ba85fe83d8c34b84498477436ecbf0cbcadaa7e63e6ea14b3","target":"graph","created_at":"2026-07-05T07:38:56Z","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/2401.16526/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"FPGA technology mapping is the process of implementing a hardware design expressed in high-level HDL (hardware design language) code using the low-level, architecture-specific primitives of the target FPGA. As FPGAs become increasingly heterogeneous, achieving high performance requires hardware synthesis tools that better support mapping to complex, highly configurable primitives like digital signal processors (DSPs). Current tools support DSP mapping via handwritten special-case mapping rules, which are laborious to write, error-prone, and often overlook mapping opportunities. We introduce La","authors_text":"Andrew Cheung, Ben Kushigian, Gilbert Louis Bernstein, Gus Henry Smith, Ren\\'e Just, Sorawee Porncharoenwase, Steven Lyubomirsky, Vishal Canumalla, Zachary Tatlock","cross_cats":["cs.PL"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-01-29T19:59:56Z","title":"FPGA Technology Mapping Using Sketch-Guided Program Synthesis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2401.16526","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:d2420ce0f193855a6fdf3a36e39156699875d94e6282f0506e0d7994c8299e64","target":"record","created_at":"2026-07-05T07:38:56Z","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":"d05d646aa83259cf75bcb75b8b3de4308871587c2b269be18e30377c59b227fe","cross_cats_sorted":["cs.PL"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.AR","submitted_at":"2024-01-29T19:59:56Z","title_canon_sha256":"78016d0eccc7611e9a59799c9eba8c3ca07532957619bbfc0f3cfa5203684879"},"schema_version":"1.0","source":{"id":"2401.16526","kind":"arxiv","version":1}},"canonical_sha256":"19d04c3f7777675f8b77c98f8640c98fd8333f2e98da3c9ef786585795a9b0c3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"19d04c3f7777675f8b77c98f8640c98fd8333f2e98da3c9ef786585795a9b0c3","first_computed_at":"2026-07-05T07:38:56.352234Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:38:56.352234Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"QSKFlqbDHiLb98MXWG6AZLpVEVHRq+0jOW5vhm31cmFUVoTsEOBo/uzjL6KDm9fH2r8aVNeRJXf/I86pMgywAw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:38:56.352667Z","signed_message":"canonical_sha256_bytes"},"source_id":"2401.16526","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d2420ce0f193855a6fdf3a36e39156699875d94e6282f0506e0d7994c8299e64","sha256:37f8ebabbbe39a6ba85fe83d8c34b84498477436ecbf0cbcadaa7e63e6ea14b3"],"state_sha256":"b1596cb536d5621c84055cf04345c99f061bce4ef02fca75b776277b9b7a4202"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"h8A2zJF8BnWmaSo24WQxpvMAy4xYxZ+J5DDAaBSC0pR5ca1cHapCd784aZhH57AczhWE6t3czE+XaiN07YSrCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-21T23:18:12.981559Z","bundle_sha256":"723460e24430ad7bb236bfb69d81ff0005a9cfb41aa1e23fc3b6650244a3abd1"}}