{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:BOKGVW2YXDYSTG6ESCIBQY6HYV","short_pith_number":"pith:BOKGVW2Y","canonical_record":{"source":{"id":"1302.6325","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-26T06:34:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"21f5f97a1cd37e0ee9c0b114328f0c4ffd5311be016ee3ea3d19807de7a17c47","abstract_canon_sha256":"6777951743d4ac7613c8aa0fdd55c1e9d24976aa3ffef7eaa45ba30d411d1897"},"schema_version":"1.0"},"canonical_sha256":"0b946adb58b8f1299bc490901863c7c56f247dc37dd482e94a8e39504c2ccf97","source":{"kind":"arxiv","id":"1302.6325","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.6325","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"arxiv_version","alias_value":"1302.6325v5","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.6325","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"pith_short_12","alias_value":"BOKGVW2YXDYS","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"BOKGVW2YXDYSTG6E","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"BOKGVW2Y","created_at":"2026-05-18T12:27:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:BOKGVW2YXDYSTG6ESCIBQY6HYV","target":"record","payload":{"canonical_record":{"source":{"id":"1302.6325","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-26T06:34:42Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"21f5f97a1cd37e0ee9c0b114328f0c4ffd5311be016ee3ea3d19807de7a17c47","abstract_canon_sha256":"6777951743d4ac7613c8aa0fdd55c1e9d24976aa3ffef7eaa45ba30d411d1897"},"schema_version":"1.0"},"canonical_sha256":"0b946adb58b8f1299bc490901863c7c56f247dc37dd482e94a8e39504c2ccf97","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:19:09.257159Z","signature_b64":"4L9SkMEGK8DuiVhIf0lRgowgLKee1OR2kRYnd3WAbxrMF8QclJtTZjHpx+ix8fqe+/fDbVq1tBGkrLOLdYGiAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0b946adb58b8f1299bc490901863c7c56f247dc37dd482e94a8e39504c2ccf97","last_reissued_at":"2026-05-18T00:19:09.256595Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:19:09.256595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.6325","source_version":5,"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-18T00:19:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"z2bbEZZeBAhNLEeywOkrU4psqQ8q43Dt05nXBQnOVTQYI1C00JU8KZAoTsiR7cDhkISyrivQ3X6SFLBnTLTBBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:27:52.020740Z"},"content_sha256":"9fcf70cfb929629c82acc61bdccf2e46403d023d3e69742673a66f596c020c05","schema_version":"1.0","event_id":"sha256:9fcf70cfb929629c82acc61bdccf2e46403d023d3e69742673a66f596c020c05"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:BOKGVW2YXDYSTG6ESCIBQY6HYV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Note on \"A polynomial-time algorithm for global value numbering\"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Saleena Nabeezath, Vineeth Paleri","submitted_at":"2013-02-26T06:34:42Z","abstract_excerpt":"Global Value Numbering(GVN) is a popular method for detecting redundant computations. A polynomial time algorithm for GVN is presented by Gulwani and Necula(2006). Here we present two limitations of this GVN algorithm due to which detection of certain kinds of redundancies can not be done using this algorithm. The first one is concerning the use of this algorithm in detecting some instances of the classical global common subexpressions, and the second is concerning its use in the detection of some redundancies that a local value numbering algorithm will detect. We suggest improvements that ena"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.6325","kind":"arxiv","version":5},"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-18T00:19:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oUmiPS7KQEZ3WQlKZeOLOl7LpqZlmL3i4FNJm7ewG4DGKgG+MBsVyVZlx7SxDZuf1iif9Aadj/XtgjxdlJniAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T17:27:52.021104Z"},"content_sha256":"71e980462b2cceeb52c479b6bad0d48cdc1c3f4bfff9f4421dcd5785f86f3328","schema_version":"1.0","event_id":"sha256:71e980462b2cceeb52c479b6bad0d48cdc1c3f4bfff9f4421dcd5785f86f3328"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/BOKGVW2YXDYSTG6ESCIBQY6HYV/bundle.json","state_url":"https://pith.science/pith/BOKGVW2YXDYSTG6ESCIBQY6HYV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/BOKGVW2YXDYSTG6ESCIBQY6HYV/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-02T17:27:52Z","links":{"resolver":"https://pith.science/pith/BOKGVW2YXDYSTG6ESCIBQY6HYV","bundle":"https://pith.science/pith/BOKGVW2YXDYSTG6ESCIBQY6HYV/bundle.json","state":"https://pith.science/pith/BOKGVW2YXDYSTG6ESCIBQY6HYV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/BOKGVW2YXDYSTG6ESCIBQY6HYV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:BOKGVW2YXDYSTG6ESCIBQY6HYV","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":"6777951743d4ac7613c8aa0fdd55c1e9d24976aa3ffef7eaa45ba30d411d1897","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-26T06:34:42Z","title_canon_sha256":"21f5f97a1cd37e0ee9c0b114328f0c4ffd5311be016ee3ea3d19807de7a17c47"},"schema_version":"1.0","source":{"id":"1302.6325","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.6325","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"arxiv_version","alias_value":"1302.6325v5","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.6325","created_at":"2026-05-18T00:19:09Z"},{"alias_kind":"pith_short_12","alias_value":"BOKGVW2YXDYS","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_16","alias_value":"BOKGVW2YXDYSTG6E","created_at":"2026-05-18T12:27:40Z"},{"alias_kind":"pith_short_8","alias_value":"BOKGVW2Y","created_at":"2026-05-18T12:27:40Z"}],"graph_snapshots":[{"event_id":"sha256:71e980462b2cceeb52c479b6bad0d48cdc1c3f4bfff9f4421dcd5785f86f3328","target":"graph","created_at":"2026-05-18T00:19:09Z","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":"Global Value Numbering(GVN) is a popular method for detecting redundant computations. A polynomial time algorithm for GVN is presented by Gulwani and Necula(2006). Here we present two limitations of this GVN algorithm due to which detection of certain kinds of redundancies can not be done using this algorithm. The first one is concerning the use of this algorithm in detecting some instances of the classical global common subexpressions, and the second is concerning its use in the detection of some redundancies that a local value numbering algorithm will detect. We suggest improvements that ena","authors_text":"Saleena Nabeezath, Vineeth Paleri","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-26T06:34:42Z","title":"A Note on \"A polynomial-time algorithm for global value numbering\""},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.6325","kind":"arxiv","version":5},"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:9fcf70cfb929629c82acc61bdccf2e46403d023d3e69742673a66f596c020c05","target":"record","created_at":"2026-05-18T00:19:09Z","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":"6777951743d4ac7613c8aa0fdd55c1e9d24976aa3ffef7eaa45ba30d411d1897","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2013-02-26T06:34:42Z","title_canon_sha256":"21f5f97a1cd37e0ee9c0b114328f0c4ffd5311be016ee3ea3d19807de7a17c47"},"schema_version":"1.0","source":{"id":"1302.6325","kind":"arxiv","version":5}},"canonical_sha256":"0b946adb58b8f1299bc490901863c7c56f247dc37dd482e94a8e39504c2ccf97","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0b946adb58b8f1299bc490901863c7c56f247dc37dd482e94a8e39504c2ccf97","first_computed_at":"2026-05-18T00:19:09.256595Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:19:09.256595Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4L9SkMEGK8DuiVhIf0lRgowgLKee1OR2kRYnd3WAbxrMF8QclJtTZjHpx+ix8fqe+/fDbVq1tBGkrLOLdYGiAQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:19:09.257159Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.6325","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9fcf70cfb929629c82acc61bdccf2e46403d023d3e69742673a66f596c020c05","sha256:71e980462b2cceeb52c479b6bad0d48cdc1c3f4bfff9f4421dcd5785f86f3328"],"state_sha256":"7acce6c172c6513a4138e2a4f1107351957a9a9c998fe35fc0ae0bc53fef7dea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"99IORvrryFzSvn85VImsJm8u2vZVkbwyiZLuNCQxB/Y2j4JObDpq3lfmYd7Zx/p+FXuwsjIT+OKwZElTwqnxAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T17:27:52.023083Z","bundle_sha256":"6dce4856f9c65b3e9509af9f96bdcb08d0b641e1ca98557f746953254336baa6"}}