{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:M4GJ3Z6PXG3PMCRRFWARIL2CTM","short_pith_number":"pith:M4GJ3Z6P","canonical_record":{"source":{"id":"1510.07565","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-26T17:50:00Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"6daff7bdb0393f56e60c6d66ad0e4c62582fb577afcb8298bd36c7f5ac60fc59","abstract_canon_sha256":"b86ffc7826b173c79cb023ddfc557594c91e63097aab2b2279dc756e08540273"},"schema_version":"1.0"},"canonical_sha256":"670c9de7cfb9b6f60a312d81142f429b17b5f9777d6097bbf1334b503bc107b2","source":{"kind":"arxiv","id":"1510.07565","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.07565","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"arxiv_version","alias_value":"1510.07565v1","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.07565","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"pith_short_12","alias_value":"M4GJ3Z6PXG3P","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"M4GJ3Z6PXG3PMCRR","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"M4GJ3Z6P","created_at":"2026-05-18T12:29:32Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:M4GJ3Z6PXG3PMCRRFWARIL2CTM","target":"record","payload":{"canonical_record":{"source":{"id":"1510.07565","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-26T17:50:00Z","cross_cats_sorted":["cs.DS"],"title_canon_sha256":"6daff7bdb0393f56e60c6d66ad0e4c62582fb577afcb8298bd36c7f5ac60fc59","abstract_canon_sha256":"b86ffc7826b173c79cb023ddfc557594c91e63097aab2b2279dc756e08540273"},"schema_version":"1.0"},"canonical_sha256":"670c9de7cfb9b6f60a312d81142f429b17b5f9777d6097bbf1334b503bc107b2","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:25:56.879353Z","signature_b64":"4zVdvCD+tczLQyqmIvBvBBoFhvi3GQMj1yZqXgY6Ip78GVP7OExPLekppXmjOBwyyDeXkS5lczhWorHytlUiAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"670c9de7cfb9b6f60a312d81142f429b17b5f9777d6097bbf1334b503bc107b2","last_reissued_at":"2026-05-18T01:25:56.878717Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:25:56.878717Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1510.07565","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-18T01:25:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"9S1v9Z4/8932K8Tj45PySWCr3vP4oe3DfNgWgk4rOGpE+ixcRdRbxet6q8up8/gaT73v5HdJ0mjmvXMts53TAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:34:52.225372Z"},"content_sha256":"d26a07e5d97904b4bbc8bb022e4cf6ee471d5c4fa249ccb82d58b66c5ff44731","schema_version":"1.0","event_id":"sha256:d26a07e5d97904b4bbc8bb022e4cf6ee471d5c4fa249ccb82d58b66c5ff44731"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:M4GJ3Z6PXG3PMCRRFWARIL2CTM","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS"],"primary_cat":"cs.PL","authors_text":"Amir Kafshdar Goharshady, Andreas Pavlogiannis, Krishnendu Chatterjee, Rasmus Ibsen-Jensen","submitted_at":"2015-10-26T17:50:00Z","abstract_excerpt":"We study algorithmic questions for concurrent systems where the transitions are labeled from a complete, closed semiring, and path properties are algebraic with semiring operations. The algebraic path properties can model dataflow analysis problems, the shortest path problem, and many other natural problems that arise in program analysis. We consider that each component of the concurrent system is a graph with constant treewidth, a property satisfied by the controlflow graphs of most programs. We allow for multiple possible queries, which arise naturally in demand driven dataflow analysis. The"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.07565","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-18T01:25:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ty5ywIPOH4ekwG24tWY/HFe7E5nv+hhoYp4GxUXB1ro4Ae6Zzyym7wcYzbX2UekmhzDyc6fQ3Vk9b9F23JO1Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T16:34:52.226069Z"},"content_sha256":"315b4cb018d93b1ef6ea72bfb9a643c122f6bdeb57f6859984e025b01d030ce2","schema_version":"1.0","event_id":"sha256:315b4cb018d93b1ef6ea72bfb9a643c122f6bdeb57f6859984e025b01d030ce2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/M4GJ3Z6PXG3PMCRRFWARIL2CTM/bundle.json","state_url":"https://pith.science/pith/M4GJ3Z6PXG3PMCRRFWARIL2CTM/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/M4GJ3Z6PXG3PMCRRFWARIL2CTM/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-25T16:34:52Z","links":{"resolver":"https://pith.science/pith/M4GJ3Z6PXG3PMCRRFWARIL2CTM","bundle":"https://pith.science/pith/M4GJ3Z6PXG3PMCRRFWARIL2CTM/bundle.json","state":"https://pith.science/pith/M4GJ3Z6PXG3PMCRRFWARIL2CTM/state.json","well_known_bundle":"https://pith.science/.well-known/pith/M4GJ3Z6PXG3PMCRRFWARIL2CTM/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:M4GJ3Z6PXG3PMCRRFWARIL2CTM","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":"b86ffc7826b173c79cb023ddfc557594c91e63097aab2b2279dc756e08540273","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-26T17:50:00Z","title_canon_sha256":"6daff7bdb0393f56e60c6d66ad0e4c62582fb577afcb8298bd36c7f5ac60fc59"},"schema_version":"1.0","source":{"id":"1510.07565","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1510.07565","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"arxiv_version","alias_value":"1510.07565v1","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1510.07565","created_at":"2026-05-18T01:25:56Z"},{"alias_kind":"pith_short_12","alias_value":"M4GJ3Z6PXG3P","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_16","alias_value":"M4GJ3Z6PXG3PMCRR","created_at":"2026-05-18T12:29:32Z"},{"alias_kind":"pith_short_8","alias_value":"M4GJ3Z6P","created_at":"2026-05-18T12:29:32Z"}],"graph_snapshots":[{"event_id":"sha256:315b4cb018d93b1ef6ea72bfb9a643c122f6bdeb57f6859984e025b01d030ce2","target":"graph","created_at":"2026-05-18T01:25:56Z","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":"We study algorithmic questions for concurrent systems where the transitions are labeled from a complete, closed semiring, and path properties are algebraic with semiring operations. The algebraic path properties can model dataflow analysis problems, the shortest path problem, and many other natural problems that arise in program analysis. We consider that each component of the concurrent system is a graph with constant treewidth, a property satisfied by the controlflow graphs of most programs. We allow for multiple possible queries, which arise naturally in demand driven dataflow analysis. The","authors_text":"Amir Kafshdar Goharshady, Andreas Pavlogiannis, Krishnendu Chatterjee, Rasmus Ibsen-Jensen","cross_cats":["cs.DS"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-26T17:50:00Z","title":"Algorithms for Algebraic Path Properties in Concurrent Systems of Constant Treewidth Components"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1510.07565","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:d26a07e5d97904b4bbc8bb022e4cf6ee471d5c4fa249ccb82d58b66c5ff44731","target":"record","created_at":"2026-05-18T01:25:56Z","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":"b86ffc7826b173c79cb023ddfc557594c91e63097aab2b2279dc756e08540273","cross_cats_sorted":["cs.DS"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-10-26T17:50:00Z","title_canon_sha256":"6daff7bdb0393f56e60c6d66ad0e4c62582fb577afcb8298bd36c7f5ac60fc59"},"schema_version":"1.0","source":{"id":"1510.07565","kind":"arxiv","version":1}},"canonical_sha256":"670c9de7cfb9b6f60a312d81142f429b17b5f9777d6097bbf1334b503bc107b2","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"670c9de7cfb9b6f60a312d81142f429b17b5f9777d6097bbf1334b503bc107b2","first_computed_at":"2026-05-18T01:25:56.878717Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:25:56.878717Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"4zVdvCD+tczLQyqmIvBvBBoFhvi3GQMj1yZqXgY6Ip78GVP7OExPLekppXmjOBwyyDeXkS5lczhWorHytlUiAg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:25:56.879353Z","signed_message":"canonical_sha256_bytes"},"source_id":"1510.07565","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d26a07e5d97904b4bbc8bb022e4cf6ee471d5c4fa249ccb82d58b66c5ff44731","sha256:315b4cb018d93b1ef6ea72bfb9a643c122f6bdeb57f6859984e025b01d030ce2"],"state_sha256":"b3321f6ea7632125e450f8dfd3dfb01461fa330681b12a5b2f9fba1c855eb5fb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jkxWPbGSmsJ9j7+1O9ExE1YaUBpaPomM3SaqhebzQwmdNtqrLHVmlnOh1aGhWWi0z5u/QvGSFoc+XzQ+mu+dDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T16:34:52.229910Z","bundle_sha256":"54d4c5d4e38e9a60f95c999a3f5a8ce6ffb4130627f16e46b1bb69f5219cec77"}}