{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:ZZX6ID3AZESQTETRMKQ7DSONMH","short_pith_number":"pith:ZZX6ID3A","canonical_record":{"source":{"id":"1410.7724","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-28T18:27:10Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"153a940fa65e4c9b305e1401648d2b11b5c509acb181e6dd73ea202c6ac2bbec","abstract_canon_sha256":"f9c12cc36e8904ce55139c811aeaf2a16302b33bb5cec58524584dba8bf35fd9"},"schema_version":"1.0"},"canonical_sha256":"ce6fe40f60c92509927162a1f1c9cd61cf3b311a4737e181c93eb783f808e122","source":{"kind":"arxiv","id":"1410.7724","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.7724","created_at":"2026-05-18T02:32:45Z"},{"alias_kind":"arxiv_version","alias_value":"1410.7724v2","created_at":"2026-05-18T02:32:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.7724","created_at":"2026-05-18T02:32:45Z"},{"alias_kind":"pith_short_12","alias_value":"ZZX6ID3AZESQ","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZZX6ID3AZESQTETR","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZZX6ID3A","created_at":"2026-05-18T12:28:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:ZZX6ID3AZESQTETRMKQ7DSONMH","target":"record","payload":{"canonical_record":{"source":{"id":"1410.7724","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-28T18:27:10Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"153a940fa65e4c9b305e1401648d2b11b5c509acb181e6dd73ea202c6ac2bbec","abstract_canon_sha256":"f9c12cc36e8904ce55139c811aeaf2a16302b33bb5cec58524584dba8bf35fd9"},"schema_version":"1.0"},"canonical_sha256":"ce6fe40f60c92509927162a1f1c9cd61cf3b311a4737e181c93eb783f808e122","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:32:45.680567Z","signature_b64":"SQEJB+Qd1uOt/F/k+KckToussjyik/5L5U5QV4nS26VyH0fd0RTgvBIHBeWGt/NLUJaqFy5goxDNdDqvh2DVBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ce6fe40f60c92509927162a1f1c9cd61cf3b311a4737e181c93eb783f808e122","last_reissued_at":"2026-05-18T02:32:45.679989Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:32:45.679989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1410.7724","source_version":2,"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:32:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tr9jKgqaHZ6EdDKhvIqfTyrcMrLsJtLEjS7MactP0ty1ppBdf6gHIzBbIRdP2DBXXHI/PIdTXfLU6nmaV6PPCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:41:52.005806Z"},"content_sha256":"4034e0ffd9c2822084d95f7397b5a15b7c04450fb3e43082e5e24791d001f4a0","schema_version":"1.0","event_id":"sha256:4034e0ffd9c2822084d95f7397b5a15b7c04450fb3e43082e5e24791d001f4a0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:ZZX6ID3AZESQTETRMKQ7DSONMH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Faster Algorithms for Algebraic Path Properties in RSMs with Constant Treewidth","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.PL","authors_text":"Andreas Pavlogiannis, Krishnendu Chatterjee, Prateesh Goyal, Rasmus Ibsen-Jensen","submitted_at":"2014-10-28T18:27:10Z","abstract_excerpt":"Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, etc. Recursive state machines (RSMs) are standard models for interprocedural analysis. We consider a general framework with RSMs where the transitions are labeled from a semiring, and path properties are algebraic with semiring operations. RSMs with algebraic path properties can model interprocedural dataflow analysis problems, the shortest path problem, the most probable path problem, etc. The traditional algorithms for interprocedural analysis focus on pat"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.7724","kind":"arxiv","version":2},"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:32:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BVDfGX18jEkFBWyAmfLqXXirLZCax4TwUnRVlqdquGG8yaPguD+f5UM3/b7R1zKlf9Rwk4mxXB+Ep9ippIcuDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T19:41:52.006516Z"},"content_sha256":"71a074a10de892adbd139b676727910f6193ded5062d6a1dd680140cb66a6fad","schema_version":"1.0","event_id":"sha256:71a074a10de892adbd139b676727910f6193ded5062d6a1dd680140cb66a6fad"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ZZX6ID3AZESQTETRMKQ7DSONMH/bundle.json","state_url":"https://pith.science/pith/ZZX6ID3AZESQTETRMKQ7DSONMH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ZZX6ID3AZESQTETRMKQ7DSONMH/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-05-25T19:41:52Z","links":{"resolver":"https://pith.science/pith/ZZX6ID3AZESQTETRMKQ7DSONMH","bundle":"https://pith.science/pith/ZZX6ID3AZESQTETRMKQ7DSONMH/bundle.json","state":"https://pith.science/pith/ZZX6ID3AZESQTETRMKQ7DSONMH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ZZX6ID3AZESQTETRMKQ7DSONMH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:ZZX6ID3AZESQTETRMKQ7DSONMH","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":"f9c12cc36e8904ce55139c811aeaf2a16302b33bb5cec58524584dba8bf35fd9","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-28T18:27:10Z","title_canon_sha256":"153a940fa65e4c9b305e1401648d2b11b5c509acb181e6dd73ea202c6ac2bbec"},"schema_version":"1.0","source":{"id":"1410.7724","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1410.7724","created_at":"2026-05-18T02:32:45Z"},{"alias_kind":"arxiv_version","alias_value":"1410.7724v2","created_at":"2026-05-18T02:32:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1410.7724","created_at":"2026-05-18T02:32:45Z"},{"alias_kind":"pith_short_12","alias_value":"ZZX6ID3AZESQ","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_16","alias_value":"ZZX6ID3AZESQTETR","created_at":"2026-05-18T12:28:59Z"},{"alias_kind":"pith_short_8","alias_value":"ZZX6ID3A","created_at":"2026-05-18T12:28:59Z"}],"graph_snapshots":[{"event_id":"sha256:71a074a10de892adbd139b676727910f6193ded5062d6a1dd680140cb66a6fad","target":"graph","created_at":"2026-05-18T02:32:45Z","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":"Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, etc. Recursive state machines (RSMs) are standard models for interprocedural analysis. We consider a general framework with RSMs where the transitions are labeled from a semiring, and path properties are algebraic with semiring operations. RSMs with algebraic path properties can model interprocedural dataflow analysis problems, the shortest path problem, the most probable path problem, etc. The traditional algorithms for interprocedural analysis focus on pat","authors_text":"Andreas Pavlogiannis, Krishnendu Chatterjee, Prateesh Goyal, Rasmus Ibsen-Jensen","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-28T18:27:10Z","title":"Faster Algorithms for Algebraic Path Properties in RSMs with Constant Treewidth"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1410.7724","kind":"arxiv","version":2},"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:4034e0ffd9c2822084d95f7397b5a15b7c04450fb3e43082e5e24791d001f4a0","target":"record","created_at":"2026-05-18T02:32:45Z","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":"f9c12cc36e8904ce55139c811aeaf2a16302b33bb5cec58524584dba8bf35fd9","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-10-28T18:27:10Z","title_canon_sha256":"153a940fa65e4c9b305e1401648d2b11b5c509acb181e6dd73ea202c6ac2bbec"},"schema_version":"1.0","source":{"id":"1410.7724","kind":"arxiv","version":2}},"canonical_sha256":"ce6fe40f60c92509927162a1f1c9cd61cf3b311a4737e181c93eb783f808e122","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ce6fe40f60c92509927162a1f1c9cd61cf3b311a4737e181c93eb783f808e122","first_computed_at":"2026-05-18T02:32:45.679989Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:32:45.679989Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"SQEJB+Qd1uOt/F/k+KckToussjyik/5L5U5QV4nS26VyH0fd0RTgvBIHBeWGt/NLUJaqFy5goxDNdDqvh2DVBw==","signature_status":"signed_v1","signed_at":"2026-05-18T02:32:45.680567Z","signed_message":"canonical_sha256_bytes"},"source_id":"1410.7724","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4034e0ffd9c2822084d95f7397b5a15b7c04450fb3e43082e5e24791d001f4a0","sha256:71a074a10de892adbd139b676727910f6193ded5062d6a1dd680140cb66a6fad"],"state_sha256":"010eaf11a6979fbce03f0d8a5e0222456ab0816dd72ce1ea5d7624d4f4e349f4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"VFyLAFMyq80bMqIg5QSNwVF4BWvT25OYOgHWhjv3BByqa5e+/9NrbqrpZmXvCY+URb012MLK1xoxIB13s7lACw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T19:41:52.010292Z","bundle_sha256":"3558241a1691044c6167b7ea691557090025a211d3f7ff416a4627bf97faf6d9"}}