{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:ZCJIIVHOR3AH3745BQPPMFP4BG","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":"00150d5ded106dd550ce04581573750f075fe0ab0900a6c480dd04c79b5a2da5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-08-08T22:39:12Z","title_canon_sha256":"4dba3265218452b49f8863590ca746fe96e992491167ef6c0af62315c7e76479"},"schema_version":"1.0","source":{"id":"2608.08352","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2608.08352","created_at":"2026-08-11T01:22:23Z"},{"alias_kind":"arxiv_version","alias_value":"2608.08352v1","created_at":"2026-08-11T01:22:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.08352","created_at":"2026-08-11T01:22:23Z"},{"alias_kind":"pith_short_12","alias_value":"ZCJIIVHOR3AH","created_at":"2026-08-11T01:22:23Z"},{"alias_kind":"pith_short_16","alias_value":"ZCJIIVHOR3AH3745","created_at":"2026-08-11T01:22:23Z"},{"alias_kind":"pith_short_8","alias_value":"ZCJIIVHO","created_at":"2026-08-11T01:22:23Z"}],"graph_snapshots":[{"event_id":"sha256:99227311327e5ee139014dde1d32b0fc9949e2459019c92c5776ac75f5c98745","target":"graph","created_at":"2026-08-11T01:22:23Z","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/2608.08352/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Compiler bugs are pervasive in modern compiler systems, but the test programs that trigger them are often too large for practical debugging. Program reduction addresses this by minimizing test program size while preserving the original bug-triggering behavior. Existing approaches mainly rely on syntax-guided, rule-based deletion strategies that iteratively remove parts of the program in a trial-and-error manner. While effective in reduction quality, these approaches suffer from slow reduction speed.\n  This paper presents SimP, a program reduction framework that combines traditional reduction w","authors_text":"Haibo Chen, Mingyu Li, Qiaochu Chen, Xiangyu Gao, Ye Xiong","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-08-08T22:39:12Z","title":"SimP: Unifying Syntax- and Semantic-Guided Techniques for Efficient Program Reduction"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.08352","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:b9997f70c3df3b988cd224a240dea069cab06abad1f3a053d11845e50f601655","target":"record","created_at":"2026-08-11T01:22:23Z","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":"00150d5ded106dd550ce04581573750f075fe0ab0900a6c480dd04c79b5a2da5","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-08-08T22:39:12Z","title_canon_sha256":"4dba3265218452b49f8863590ca746fe96e992491167ef6c0af62315c7e76479"},"schema_version":"1.0","source":{"id":"2608.08352","kind":"arxiv","version":1}},"canonical_sha256":"c8928454ee8ec07dff9d0c1ef615fc099f43a871ddcb848ab32e9c1060ae705d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c8928454ee8ec07dff9d0c1ef615fc099f43a871ddcb848ab32e9c1060ae705d","first_computed_at":"2026-08-11T01:22:23.786196Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-08-11T01:22:23.786196Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"WHS95rtzx2Yc1Ql/1NjpWIpJHm8ki+ajjPGPGhd9MQRYlmERJkF/FAVzOE0+5Db4hFisu+yy1fjT9G7OL+CZAA==","signature_status":"signed_v1","signed_at":"2026-08-11T01:22:23.788779Z","signed_message":"canonical_sha256_bytes"},"source_id":"2608.08352","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b9997f70c3df3b988cd224a240dea069cab06abad1f3a053d11845e50f601655","sha256:99227311327e5ee139014dde1d32b0fc9949e2459019c92c5776ac75f5c98745"],"state_sha256":"eefc1b84eb5811ad2048f2848ab2e55aa9c020633c094f0d4add56f0a2788303"}