{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TTYMGY3D66OPH2426ZNVRHQMQO","short_pith_number":"pith:TTYMGY3D","canonical_record":{"source":{"id":"1910.00241","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-01T08:08:58Z","cross_cats_sorted":[],"title_canon_sha256":"27a05d56a8ef7c1efa06e12b0cba0cd2ce18de6c9e9cdddd944cd183c065cf4a","abstract_canon_sha256":"f0aeb3b13cf4dbd0003071e98b730af37a7bbac8709c2bcfffab5c3eb42f776d"},"schema_version":"1.0"},"canonical_sha256":"9cf0c36363f79cf3eb9af65b589e0c83818d5993fe0fbe7a39959286a9c4ac59","source":{"kind":"arxiv","id":"1910.00241","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00241","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00241v1","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00241","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"pith_short_12","alias_value":"TTYMGY3D66OP","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"pith_short_16","alias_value":"TTYMGY3D66OPH242","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"pith_short_8","alias_value":"TTYMGY3D","created_at":"2026-07-05T00:08:43Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TTYMGY3D66OPH2426ZNVRHQMQO","target":"record","payload":{"canonical_record":{"source":{"id":"1910.00241","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-01T08:08:58Z","cross_cats_sorted":[],"title_canon_sha256":"27a05d56a8ef7c1efa06e12b0cba0cd2ce18de6c9e9cdddd944cd183c065cf4a","abstract_canon_sha256":"f0aeb3b13cf4dbd0003071e98b730af37a7bbac8709c2bcfffab5c3eb42f776d"},"schema_version":"1.0"},"canonical_sha256":"9cf0c36363f79cf3eb9af65b589e0c83818d5993fe0fbe7a39959286a9c4ac59","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:08:43.961393Z","signature_b64":"rUgC76z+1nMp1gmBCdPtjJDgT9/LAGLZshxGJ2khtDahnIfGI53pbsVpurjEpjdOmciY0seRe+/uqARDG3/MCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9cf0c36363f79cf3eb9af65b589e0c83818d5993fe0fbe7a39959286a9c4ac59","last_reissued_at":"2026-07-05T00:08:43.960958Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:08:43.960958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1910.00241","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-05T00:08:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0MSKCx3GLbfXKAV333OBtyHpyWOCb5+8rVSwqLvHsRxHi5rYOCUVSXrZa5acwR4/y229KlSu4V6wUci9bpR9Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:14:04.686177Z"},"content_sha256":"c6364c989ca2b19e949ab480a0dfe2ff0e029df5cf1c7ecbd9596551e9755f23","schema_version":"1.0","event_id":"sha256:c6364c989ca2b19e949ab480a0dfe2ff0e029df5cf1c7ecbd9596551e9755f23"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TTYMGY3D66OPH2426ZNVRHQMQO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Optimal Dyck Reachability for Data-Dependence and Alias Analysis","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Andreas Pavlogiannis, Bhavya Choudhary, Krishnendu Chatterjee","submitted_at":"2019-10-01T08:08:58Z","abstract_excerpt":"A fundamental algorithmic problem at the heart of static analysis is Dyck reachability. The input is a graph where the edges are labeled with different types of opening and closing parentheses, and the reachability information is computed via paths whose parentheses are properly matched. We present new results for Dyck reachability problems with applications to alias analysis and data-dependence analysis. Our main contributions, that include improved upper bounds as well as lower bounds that establish optimality guarantees, are as follows.\n  First, we consider Dyck reachability on bidirected g"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00241","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/1910.00241/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-05T00:08:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oESQ3gBO/ca9x22O76G7qIxON/wSbqarzx63q9xLNbh6izh1qW2j1fKPGewz+kRroAIAIQkk8rcgcfklM9bxCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-06T17:14:04.686684Z"},"content_sha256":"834457cd732a2ce7796bcc5e9e75f816a99e2c9e6b99e44e39bdf2be60ef3123","schema_version":"1.0","event_id":"sha256:834457cd732a2ce7796bcc5e9e75f816a99e2c9e6b99e44e39bdf2be60ef3123"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TTYMGY3D66OPH2426ZNVRHQMQO/bundle.json","state_url":"https://pith.science/pith/TTYMGY3D66OPH2426ZNVRHQMQO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TTYMGY3D66OPH2426ZNVRHQMQO/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-06T17:14:04Z","links":{"resolver":"https://pith.science/pith/TTYMGY3D66OPH2426ZNVRHQMQO","bundle":"https://pith.science/pith/TTYMGY3D66OPH2426ZNVRHQMQO/bundle.json","state":"https://pith.science/pith/TTYMGY3D66OPH2426ZNVRHQMQO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TTYMGY3D66OPH2426ZNVRHQMQO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TTYMGY3D66OPH2426ZNVRHQMQO","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":"f0aeb3b13cf4dbd0003071e98b730af37a7bbac8709c2bcfffab5c3eb42f776d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-01T08:08:58Z","title_canon_sha256":"27a05d56a8ef7c1efa06e12b0cba0cd2ce18de6c9e9cdddd944cd183c065cf4a"},"schema_version":"1.0","source":{"id":"1910.00241","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1910.00241","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"arxiv_version","alias_value":"1910.00241v1","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1910.00241","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"pith_short_12","alias_value":"TTYMGY3D66OP","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"pith_short_16","alias_value":"TTYMGY3D66OPH242","created_at":"2026-07-05T00:08:43Z"},{"alias_kind":"pith_short_8","alias_value":"TTYMGY3D","created_at":"2026-07-05T00:08:43Z"}],"graph_snapshots":[{"event_id":"sha256:834457cd732a2ce7796bcc5e9e75f816a99e2c9e6b99e44e39bdf2be60ef3123","target":"graph","created_at":"2026-07-05T00:08:43Z","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/1910.00241/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A fundamental algorithmic problem at the heart of static analysis is Dyck reachability. The input is a graph where the edges are labeled with different types of opening and closing parentheses, and the reachability information is computed via paths whose parentheses are properly matched. We present new results for Dyck reachability problems with applications to alias analysis and data-dependence analysis. Our main contributions, that include improved upper bounds as well as lower bounds that establish optimality guarantees, are as follows.\n  First, we consider Dyck reachability on bidirected g","authors_text":"Andreas Pavlogiannis, Bhavya Choudhary, Krishnendu Chatterjee","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-01T08:08:58Z","title":"Optimal Dyck Reachability for Data-Dependence and Alias Analysis"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1910.00241","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:c6364c989ca2b19e949ab480a0dfe2ff0e029df5cf1c7ecbd9596551e9755f23","target":"record","created_at":"2026-07-05T00:08:43Z","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":"f0aeb3b13cf4dbd0003071e98b730af37a7bbac8709c2bcfffab5c3eb42f776d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2019-10-01T08:08:58Z","title_canon_sha256":"27a05d56a8ef7c1efa06e12b0cba0cd2ce18de6c9e9cdddd944cd183c065cf4a"},"schema_version":"1.0","source":{"id":"1910.00241","kind":"arxiv","version":1}},"canonical_sha256":"9cf0c36363f79cf3eb9af65b589e0c83818d5993fe0fbe7a39959286a9c4ac59","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9cf0c36363f79cf3eb9af65b589e0c83818d5993fe0fbe7a39959286a9c4ac59","first_computed_at":"2026-07-05T00:08:43.960958Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:08:43.960958Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"rUgC76z+1nMp1gmBCdPtjJDgT9/LAGLZshxGJ2khtDahnIfGI53pbsVpurjEpjdOmciY0seRe+/uqARDG3/MCg==","signature_status":"signed_v1","signed_at":"2026-07-05T00:08:43.961393Z","signed_message":"canonical_sha256_bytes"},"source_id":"1910.00241","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c6364c989ca2b19e949ab480a0dfe2ff0e029df5cf1c7ecbd9596551e9755f23","sha256:834457cd732a2ce7796bcc5e9e75f816a99e2c9e6b99e44e39bdf2be60ef3123"],"state_sha256":"59131a700956c46620b4d1c8729d8a967bd32a1ebab4d8aa41cdb0dedf714dfa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+QPi6U9JbMzZQoCcyU+uuuozrcSdGjqqjdwsCnE32grP7kFEJrDhs3szoBQojaSsTwZ6aOyUaKPzQP8ArqrrCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-06T17:14:04.690290Z","bundle_sha256":"c1b0449406da56a896e60e5c61f51c3ee285cf51b538f695fe819fbdf1c1dcef"}}