{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:MFZDHVY54KTQRCBWHU3EKSNV5I","short_pith_number":"pith:MFZDHVY5","canonical_record":{"source":{"id":"1701.04914","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-18T01:28:05Z","cross_cats_sorted":[],"title_canon_sha256":"713256e685dca651f848bd9bb19acff1564b87597a7d2bb7fd0f43a4a0acb3aa","abstract_canon_sha256":"54ce908f079c72b43a21c699c84c7a54c1918d23315187db346b3758de47dab5"},"schema_version":"1.0"},"canonical_sha256":"617233d71de2a70888363d364549b5ea2ffed8be89e66e69f8985fb65f29aedd","source":{"kind":"arxiv","id":"1701.04914","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.04914","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"arxiv_version","alias_value":"1701.04914v1","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.04914","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"pith_short_12","alias_value":"MFZDHVY54KTQ","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"pith_short_16","alias_value":"MFZDHVY54KTQRCBW","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"pith_short_8","alias_value":"MFZDHVY5","created_at":"2026-07-05T00:32:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:MFZDHVY54KTQRCBWHU3EKSNV5I","target":"record","payload":{"canonical_record":{"source":{"id":"1701.04914","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-18T01:28:05Z","cross_cats_sorted":[],"title_canon_sha256":"713256e685dca651f848bd9bb19acff1564b87597a7d2bb7fd0f43a4a0acb3aa","abstract_canon_sha256":"54ce908f079c72b43a21c699c84c7a54c1918d23315187db346b3758de47dab5"},"schema_version":"1.0"},"canonical_sha256":"617233d71de2a70888363d364549b5ea2ffed8be89e66e69f8985fb65f29aedd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:32:35.381830Z","signature_b64":"Wh/mCKNpWb0pn+IdEOqclV8/LFB+KZYiZwMTgamYW6lTpOYRizajvesSYaTXd4qmLdAb4LSdjAI94+WrP272Aw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"617233d71de2a70888363d364549b5ea2ffed8be89e66e69f8985fb65f29aedd","last_reissued_at":"2026-07-05T00:32:35.381327Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:32:35.381327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.04914","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:32:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XdD8VFDtjlAu1z+q2BSTzyGj0OOhvgthQS3bL793qHBdo3A0lwc08O893cWST9MXykYi2D0RZb5eT6EpQZElDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:09:21.138984Z"},"content_sha256":"4bbf7fc7e16ffabd4098cba00e7ac767deab364021ae9b54d542593da5fb9e0f","schema_version":"1.0","event_id":"sha256:4bbf7fc7e16ffabd4098cba00e7ac767deab364021ae9b54d542593da5fb9e0f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:MFZDHVY54KTQRCBWHU3EKSNV5I","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Faster Algorithms for Weighted Recursive State Machines","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Andreas Pavlogiannis, Bernhard Kragl, Krishnendu Chatterjee, Samarth Mishra","submitted_at":"2017-01-18T01:28:05Z","abstract_excerpt":"Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems.\n  Our main contributions are new algorith"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.04914","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/1701.04914/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:32:35Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RDsvx2uJH2Z/NkdW92ikOgvHMM7jG7y8sPS85tkOtff5W1amUPuVMw9iFzn7cXGB1pgFvkCUbAey6ETk+e7HDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T10:09:21.139351Z"},"content_sha256":"212ea1b91710d4372e484fe647cfeb0e4344e2122744fb849d39d0f9477a5826","schema_version":"1.0","event_id":"sha256:212ea1b91710d4372e484fe647cfeb0e4344e2122744fb849d39d0f9477a5826"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MFZDHVY54KTQRCBWHU3EKSNV5I/bundle.json","state_url":"https://pith.science/pith/MFZDHVY54KTQRCBWHU3EKSNV5I/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MFZDHVY54KTQRCBWHU3EKSNV5I/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-07-07T10:09:21Z","links":{"resolver":"https://pith.science/pith/MFZDHVY54KTQRCBWHU3EKSNV5I","bundle":"https://pith.science/pith/MFZDHVY54KTQRCBWHU3EKSNV5I/bundle.json","state":"https://pith.science/pith/MFZDHVY54KTQRCBWHU3EKSNV5I/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MFZDHVY54KTQRCBWHU3EKSNV5I/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:MFZDHVY54KTQRCBWHU3EKSNV5I","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":"54ce908f079c72b43a21c699c84c7a54c1918d23315187db346b3758de47dab5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-18T01:28:05Z","title_canon_sha256":"713256e685dca651f848bd9bb19acff1564b87597a7d2bb7fd0f43a4a0acb3aa"},"schema_version":"1.0","source":{"id":"1701.04914","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.04914","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"arxiv_version","alias_value":"1701.04914v1","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.04914","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"pith_short_12","alias_value":"MFZDHVY54KTQ","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"pith_short_16","alias_value":"MFZDHVY54KTQRCBW","created_at":"2026-07-05T00:32:35Z"},{"alias_kind":"pith_short_8","alias_value":"MFZDHVY5","created_at":"2026-07-05T00:32:35Z"}],"graph_snapshots":[{"event_id":"sha256:212ea1b91710d4372e484fe647cfeb0e4344e2122744fb849d39d0f9477a5826","target":"graph","created_at":"2026-07-05T00:32:35Z","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/1701.04914/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (a) explicitly model function calls and returns, and (b) specify many natural parameters for algorithmic analysis, e.g., the number of entries and exits. We consider a general framework where RSM transitions are labeled from a semiring and path properties are algebraic with semiring operations, which can model, e.g., interprocedural reachability and dataflow analysis problems.\n  Our main contributions are new algorith","authors_text":"Andreas Pavlogiannis, Bernhard Kragl, Krishnendu Chatterjee, Samarth Mishra","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-18T01:28:05Z","title":"Faster Algorithms for Weighted Recursive State Machines"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.04914","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:4bbf7fc7e16ffabd4098cba00e7ac767deab364021ae9b54d542593da5fb9e0f","target":"record","created_at":"2026-07-05T00:32:35Z","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":"54ce908f079c72b43a21c699c84c7a54c1918d23315187db346b3758de47dab5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-01-18T01:28:05Z","title_canon_sha256":"713256e685dca651f848bd9bb19acff1564b87597a7d2bb7fd0f43a4a0acb3aa"},"schema_version":"1.0","source":{"id":"1701.04914","kind":"arxiv","version":1}},"canonical_sha256":"617233d71de2a70888363d364549b5ea2ffed8be89e66e69f8985fb65f29aedd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"617233d71de2a70888363d364549b5ea2ffed8be89e66e69f8985fb65f29aedd","first_computed_at":"2026-07-05T00:32:35.381327Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:32:35.381327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Wh/mCKNpWb0pn+IdEOqclV8/LFB+KZYiZwMTgamYW6lTpOYRizajvesSYaTXd4qmLdAb4LSdjAI94+WrP272Aw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:32:35.381830Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.04914","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4bbf7fc7e16ffabd4098cba00e7ac767deab364021ae9b54d542593da5fb9e0f","sha256:212ea1b91710d4372e484fe647cfeb0e4344e2122744fb849d39d0f9477a5826"],"state_sha256":"98fa9ef53221ab5b733884b9af29ae7536eb7caee082539bc74312aca84544ab"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ocJ8IndTvoGZLAUaRy+IvNWuFxtZoAGhrTiuGS4JgjAA+MNsGbBQpMt7NSfsch+9Uq6adLw7IuFKqOV9eeLIBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T10:09:21.141289Z","bundle_sha256":"ef094bcd2bbb4a546bdb61ebc1b74a522c3e73dc95a80d4d322466bd4b3f7bb5"}}