{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:SUJKLNJUIPYFOGQU2S4WPQ5UBO","short_pith_number":"pith:SUJKLNJU","canonical_record":{"source":{"id":"1407.4917","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-18T08:54:19Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"80a52627b553c55a9a0df74455ef1dabbea162a5edb89bd75a656e3c399340be","abstract_canon_sha256":"faeb9f9a3bf609b82f716f7515dde4849692d59421f68ea0405729af6496eb3d"},"schema_version":"1.0"},"canonical_sha256":"9512a5b53443f0571a14d4b967c3b40b976c5e5d111b5e4a3d6d294096fc1374","source":{"kind":"arxiv","id":"1407.4917","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.4917","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"arxiv_version","alias_value":"1407.4917v1","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.4917","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"pith_short_12","alias_value":"SUJKLNJUIPYF","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SUJKLNJUIPYFOGQU","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SUJKLNJU","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:SUJKLNJUIPYFOGQU2S4WPQ5UBO","target":"record","payload":{"canonical_record":{"source":{"id":"1407.4917","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-18T08:54:19Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"80a52627b553c55a9a0df74455ef1dabbea162a5edb89bd75a656e3c399340be","abstract_canon_sha256":"faeb9f9a3bf609b82f716f7515dde4849692d59421f68ea0405729af6496eb3d"},"schema_version":"1.0"},"canonical_sha256":"9512a5b53443f0571a14d4b967c3b40b976c5e5d111b5e4a3d6d294096fc1374","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:47:22.372416Z","signature_b64":"AEOKYsIYdTFAh8dzigJQ5zFlZMuCgXDdWJaHGH4KQ9UYY7219lk+LisZX8L/CpxnnQlRQyi78h8Zj/cUDo7lCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9512a5b53443f0571a14d4b967c3b40b976c5e5d111b5e4a3d6d294096fc1374","last_reissued_at":"2026-05-18T02:47:22.371668Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:47:22.371668Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1407.4917","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-05-18T02:47:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+M8qDm0jLiwwYePIKKhaJ3LIv0PpiNdgkwCz3PxruIuO+5UAiZGggBPZuPp3omuM/QbWNx7z5veup+K7cfTXDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T10:41:00.894398Z"},"content_sha256":"a5e1ec6ff2300054ae26bae6b68039a8ca40986dec270d10fe9c4bb88b651be5","schema_version":"1.0","event_id":"sha256:a5e1ec6ff2300054ae26bae6b68039a8ca40986dec270d10fe9c4bb88b651be5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:SUJKLNJUIPYFOGQU2S4WPQ5UBO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Sliced Slices: Separating Data and Control Influences","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"cs.SE","authors_text":"Amitabha Sanyal, Shrawan Kumar, Uday Khedker","submitted_at":"2014-07-18T08:54:19Z","abstract_excerpt":"Backward slicing has been used extensively in program understanding, debugging and scaling up of program analysis. For large programs, the size of the conventional backward slice is about 25% of the program size. This may be too large to be useful. Our investigations reveal that in general, the size of a slice is influenced more by computations governing the control flow reaching the slicing criterion than by the computations governing the values relevant to the slicing criterion. We distinguish between the two by defining data slices and control slices both of which are smaller than the conve"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.4917","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":""},"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-05-18T02:47:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ePdgWcq0iJ3fS8Ly+v22Ir9IJWJZzaMOiOZfawQakbE7HPPWZxjvY4c0a1tPICgw5uRCp0U4Mte5UrcPESBFAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-06T10:41:00.905238Z"},"content_sha256":"665b06cba11a175242f8e2f3656a61f863f3c99369380b20f3749bec5c4614b5","schema_version":"1.0","event_id":"sha256:665b06cba11a175242f8e2f3656a61f863f3c99369380b20f3749bec5c4614b5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SUJKLNJUIPYFOGQU2S4WPQ5UBO/bundle.json","state_url":"https://pith.science/pith/SUJKLNJUIPYFOGQU2S4WPQ5UBO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SUJKLNJUIPYFOGQU2S4WPQ5UBO/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-06-06T10:41:00Z","links":{"resolver":"https://pith.science/pith/SUJKLNJUIPYFOGQU2S4WPQ5UBO","bundle":"https://pith.science/pith/SUJKLNJUIPYFOGQU2S4WPQ5UBO/bundle.json","state":"https://pith.science/pith/SUJKLNJUIPYFOGQU2S4WPQ5UBO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SUJKLNJUIPYFOGQU2S4WPQ5UBO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:SUJKLNJUIPYFOGQU2S4WPQ5UBO","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":"faeb9f9a3bf609b82f716f7515dde4849692d59421f68ea0405729af6496eb3d","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-18T08:54:19Z","title_canon_sha256":"80a52627b553c55a9a0df74455ef1dabbea162a5edb89bd75a656e3c399340be"},"schema_version":"1.0","source":{"id":"1407.4917","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1407.4917","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"arxiv_version","alias_value":"1407.4917v1","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1407.4917","created_at":"2026-05-18T02:47:22Z"},{"alias_kind":"pith_short_12","alias_value":"SUJKLNJUIPYF","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"SUJKLNJUIPYFOGQU","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"SUJKLNJU","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:665b06cba11a175242f8e2f3656a61f863f3c99369380b20f3749bec5c4614b5","target":"graph","created_at":"2026-05-18T02:47:22Z","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"},"paper":{"abstract_excerpt":"Backward slicing has been used extensively in program understanding, debugging and scaling up of program analysis. For large programs, the size of the conventional backward slice is about 25% of the program size. This may be too large to be useful. Our investigations reveal that in general, the size of a slice is influenced more by computations governing the control flow reaching the slicing criterion than by the computations governing the values relevant to the slicing criterion. We distinguish between the two by defining data slices and control slices both of which are smaller than the conve","authors_text":"Amitabha Sanyal, Shrawan Kumar, Uday Khedker","cross_cats":["cs.PL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-18T08:54:19Z","title":"Sliced Slices: Separating Data and Control Influences"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1407.4917","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:a5e1ec6ff2300054ae26bae6b68039a8ca40986dec270d10fe9c4bb88b651be5","target":"record","created_at":"2026-05-18T02:47:22Z","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":"faeb9f9a3bf609b82f716f7515dde4849692d59421f68ea0405729af6496eb3d","cross_cats_sorted":["cs.PL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2014-07-18T08:54:19Z","title_canon_sha256":"80a52627b553c55a9a0df74455ef1dabbea162a5edb89bd75a656e3c399340be"},"schema_version":"1.0","source":{"id":"1407.4917","kind":"arxiv","version":1}},"canonical_sha256":"9512a5b53443f0571a14d4b967c3b40b976c5e5d111b5e4a3d6d294096fc1374","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9512a5b53443f0571a14d4b967c3b40b976c5e5d111b5e4a3d6d294096fc1374","first_computed_at":"2026-05-18T02:47:22.371668Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:47:22.371668Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"AEOKYsIYdTFAh8dzigJQ5zFlZMuCgXDdWJaHGH4KQ9UYY7219lk+LisZX8L/CpxnnQlRQyi78h8Zj/cUDo7lCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:47:22.372416Z","signed_message":"canonical_sha256_bytes"},"source_id":"1407.4917","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a5e1ec6ff2300054ae26bae6b68039a8ca40986dec270d10fe9c4bb88b651be5","sha256:665b06cba11a175242f8e2f3656a61f863f3c99369380b20f3749bec5c4614b5"],"state_sha256":"02b262402316eb7b56db89fc9e8eb6f1edecc28911a8f8e1301311e92bf37793"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dMEUIcXirfx0GtcXnrf0hplhVE7aQBWjN2d2JpXevkXWe0lvEfyKc3aip74rfRHNTkVQwZsyCVqDNTnsTWvqAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-06T10:41:00.923898Z","bundle_sha256":"60ff9edd724c43ae54d64e5ab3d848d7411abf51c57dff6d1bc649968c342baa"}}