{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:QNK7JHBGVAS27OX2YGYMK6PO24","short_pith_number":"pith:QNK7JHBG","canonical_record":{"source":{"id":"2309.09112","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-09-16T23:58:55Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"617d0fb18d75f060908f903d4648bc8bd4ffa42dcd39b426c88763d4d7e7da04","abstract_canon_sha256":"fad528e3890a6648a769da6155a3ab48b6d61272e78048f7fac3ae34fb2a99ed"},"schema_version":"1.0"},"canonical_sha256":"8355f49c26a825afbafac1b0c579eed703f4093598dc2a0312b72d96c4dfb125","source":{"kind":"arxiv","id":"2309.09112","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.09112","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"arxiv_version","alias_value":"2309.09112v1","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.09112","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"pith_short_12","alias_value":"QNK7JHBGVAS2","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"pith_short_16","alias_value":"QNK7JHBGVAS27OX2","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"pith_short_8","alias_value":"QNK7JHBG","created_at":"2026-07-05T06:51:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:QNK7JHBGVAS27OX2YGYMK6PO24","target":"record","payload":{"canonical_record":{"source":{"id":"2309.09112","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-09-16T23:58:55Z","cross_cats_sorted":["cs.AR"],"title_canon_sha256":"617d0fb18d75f060908f903d4648bc8bd4ffa42dcd39b426c88763d4d7e7da04","abstract_canon_sha256":"fad528e3890a6648a769da6155a3ab48b6d61272e78048f7fac3ae34fb2a99ed"},"schema_version":"1.0"},"canonical_sha256":"8355f49c26a825afbafac1b0c579eed703f4093598dc2a0312b72d96c4dfb125","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:51:34.670686Z","signature_b64":"bXtJAC1nM6aPdubZ7K54yEQUPpZhJXj0yZCrBmD86gRSuMBk9uORE2pkrqpbLp5vwE/RCaMbM45XAglTMXffCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"8355f49c26a825afbafac1b0c579eed703f4093598dc2a0312b72d96c4dfb125","last_reissued_at":"2026-07-05T06:51:34.670279Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:51:34.670279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2309.09112","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-05T06:51:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ft9yo0g8rMLdBjB2N7vMyjOZMS/28hKGCKL1kjWhwDXVydBr3/HpPNrGm9Jp+zcahmVot7IR/sn488fFDuPeBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T18:36:37.011754Z"},"content_sha256":"d55d216e4c53cf68fde63a99a22ff502e67a57c40ba9afbba28935350a2d8e9f","schema_version":"1.0","event_id":"sha256:d55d216e4c53cf68fde63a99a22ff502e67a57c40ba9afbba28935350a2d8e9f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:QNK7JHBGVAS27OX2YGYMK6PO24","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Rewriting History: Repurposing Domain-Specific CGRAs","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.AR"],"primary_cat":"cs.PL","authors_text":"Alexander Brauckmann, Chris Cummins, Jackson Woodruff, Michael F.P. O'Boyle, Sam Ainsworth, Thomas Koehler","submitted_at":"2023-09-16T23:58:55Z","abstract_excerpt":"Coarse-grained reconfigurable arrays (CGRAs) are domain-specific devices promising both the flexibility of FPGAs and the performance of ASICs. However, with restricted domains comes a danger: designing chips that cannot accelerate enough current and future software to justify the hardware cost. We introduce FlexC, the first flexible CGRA compiler, which allows CGRAs to be adapted to operations they do not natively support.\n  FlexC uses dataflow rewriting, replacing unsupported regions of code with equivalent operations that are supported by the CGRA. We use equality saturation, a technique ena"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.09112","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/2309.09112/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-05T06:51:34Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q9pmPQoigO7y7pmuXtZBJk3GK4vAKUGRPOFh2yB19lUjbB/MwbvGw4Ov0IxCylFFIVHQhq8qgXDJG5xswnW+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-08T18:36:37.012463Z"},"content_sha256":"48e1c4804901c87b6b74852ec36f13df8ee3123dac7fca25786e7f617ee15331","schema_version":"1.0","event_id":"sha256:48e1c4804901c87b6b74852ec36f13df8ee3123dac7fca25786e7f617ee15331"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QNK7JHBGVAS27OX2YGYMK6PO24/bundle.json","state_url":"https://pith.science/pith/QNK7JHBGVAS27OX2YGYMK6PO24/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QNK7JHBGVAS27OX2YGYMK6PO24/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-08T18:36:37Z","links":{"resolver":"https://pith.science/pith/QNK7JHBGVAS27OX2YGYMK6PO24","bundle":"https://pith.science/pith/QNK7JHBGVAS27OX2YGYMK6PO24/bundle.json","state":"https://pith.science/pith/QNK7JHBGVAS27OX2YGYMK6PO24/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QNK7JHBGVAS27OX2YGYMK6PO24/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:QNK7JHBGVAS27OX2YGYMK6PO24","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":"fad528e3890a6648a769da6155a3ab48b6d61272e78048f7fac3ae34fb2a99ed","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-09-16T23:58:55Z","title_canon_sha256":"617d0fb18d75f060908f903d4648bc8bd4ffa42dcd39b426c88763d4d7e7da04"},"schema_version":"1.0","source":{"id":"2309.09112","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2309.09112","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"arxiv_version","alias_value":"2309.09112v1","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2309.09112","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"pith_short_12","alias_value":"QNK7JHBGVAS2","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"pith_short_16","alias_value":"QNK7JHBGVAS27OX2","created_at":"2026-07-05T06:51:34Z"},{"alias_kind":"pith_short_8","alias_value":"QNK7JHBG","created_at":"2026-07-05T06:51:34Z"}],"graph_snapshots":[{"event_id":"sha256:48e1c4804901c87b6b74852ec36f13df8ee3123dac7fca25786e7f617ee15331","target":"graph","created_at":"2026-07-05T06:51:34Z","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/2309.09112/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Coarse-grained reconfigurable arrays (CGRAs) are domain-specific devices promising both the flexibility of FPGAs and the performance of ASICs. However, with restricted domains comes a danger: designing chips that cannot accelerate enough current and future software to justify the hardware cost. We introduce FlexC, the first flexible CGRA compiler, which allows CGRAs to be adapted to operations they do not natively support.\n  FlexC uses dataflow rewriting, replacing unsupported regions of code with equivalent operations that are supported by the CGRA. We use equality saturation, a technique ena","authors_text":"Alexander Brauckmann, Chris Cummins, Jackson Woodruff, Michael F.P. O'Boyle, Sam Ainsworth, Thomas Koehler","cross_cats":["cs.AR"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-09-16T23:58:55Z","title":"Rewriting History: Repurposing Domain-Specific CGRAs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2309.09112","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:d55d216e4c53cf68fde63a99a22ff502e67a57c40ba9afbba28935350a2d8e9f","target":"record","created_at":"2026-07-05T06:51:34Z","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":"fad528e3890a6648a769da6155a3ab48b6d61272e78048f7fac3ae34fb2a99ed","cross_cats_sorted":["cs.AR"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-09-16T23:58:55Z","title_canon_sha256":"617d0fb18d75f060908f903d4648bc8bd4ffa42dcd39b426c88763d4d7e7da04"},"schema_version":"1.0","source":{"id":"2309.09112","kind":"arxiv","version":1}},"canonical_sha256":"8355f49c26a825afbafac1b0c579eed703f4093598dc2a0312b72d96c4dfb125","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"8355f49c26a825afbafac1b0c579eed703f4093598dc2a0312b72d96c4dfb125","first_computed_at":"2026-07-05T06:51:34.670279Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T06:51:34.670279Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"bXtJAC1nM6aPdubZ7K54yEQUPpZhJXj0yZCrBmD86gRSuMBk9uORE2pkrqpbLp5vwE/RCaMbM45XAglTMXffCw==","signature_status":"signed_v1","signed_at":"2026-07-05T06:51:34.670686Z","signed_message":"canonical_sha256_bytes"},"source_id":"2309.09112","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d55d216e4c53cf68fde63a99a22ff502e67a57c40ba9afbba28935350a2d8e9f","sha256:48e1c4804901c87b6b74852ec36f13df8ee3123dac7fca25786e7f617ee15331"],"state_sha256":"8f721c70fbe9fc6bd6e5ae675c6219d44e33ed6d77c56fe1339bf2eba6f7ccb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"c2WUCbAQcrKctJi17fgHEav8hKhgZiY8h/BILlUwZz2UKt8/WWKmzwcBilr4Zk02RKSS//QdA0gcLUfIehjVDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-08T18:36:37.018008Z","bundle_sha256":"9be8c913ec6ea76b45ca12e9bfce1658f32c6e513989dc48c1ce805e6da80869"}}