{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:VKQ6C3XDYDOPRJFKWTCM43UWSR","short_pith_number":"pith:VKQ6C3XD","canonical_record":{"source":{"id":"1809.06845","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-09-18T17:54:07Z","cross_cats_sorted":[],"title_canon_sha256":"b5a5db0d646e9da8875210a2e487d69d68f9dd43a6dfc4a662a9a9f9414902f5","abstract_canon_sha256":"11ab603caf027b7d10e61cb788bea399b7ccb74c9f9462464e3643fa7c9d3ecf"},"schema_version":"1.0"},"canonical_sha256":"aaa1e16ee3c0dcf8a4aab4c4ce6e9694680296a376fbf8543fac3410ed0e3c8e","source":{"kind":"arxiv","id":"1809.06845","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.06845","created_at":"2026-05-18T00:03:24Z"},{"alias_kind":"arxiv_version","alias_value":"1809.06845v3","created_at":"2026-05-18T00:03:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.06845","created_at":"2026-05-18T00:03:24Z"},{"alias_kind":"pith_short_12","alias_value":"VKQ6C3XDYDOP","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VKQ6C3XDYDOPRJFK","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VKQ6C3XD","created_at":"2026-05-18T12:32:59Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:VKQ6C3XDYDOPRJFKWTCM43UWSR","target":"record","payload":{"canonical_record":{"source":{"id":"1809.06845","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-09-18T17:54:07Z","cross_cats_sorted":[],"title_canon_sha256":"b5a5db0d646e9da8875210a2e487d69d68f9dd43a6dfc4a662a9a9f9414902f5","abstract_canon_sha256":"11ab603caf027b7d10e61cb788bea399b7ccb74c9f9462464e3643fa7c9d3ecf"},"schema_version":"1.0"},"canonical_sha256":"aaa1e16ee3c0dcf8a4aab4c4ce6e9694680296a376fbf8543fac3410ed0e3c8e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:03:24.106595Z","signature_b64":"9kockNTGeYNnKT2X3ZIBY+sD+lBK1MghBCt30mBORAyYuTRLc6D4dR3IKEmgOH3EFP4TmWNVPoaZaz65fVLVCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aaa1e16ee3c0dcf8a4aab4c4ce6e9694680296a376fbf8543fac3410ed0e3c8e","last_reissued_at":"2026-05-18T00:03:24.105932Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:03:24.105932Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1809.06845","source_version":3,"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:03:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2HbnJ8YoUmD+ZmHVWVJXTRSVni3plkgzmAoOmihE6WGkcgWdzWvIAyZ8OftR/PJrSnEny2eL/+r4IKXmh88NCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:37:43.449990Z"},"content_sha256":"e8f8b6cf0f496283bba1fb81752240550afb81c4dcff99cf3e68e6d66669e7f4","schema_version":"1.0","event_id":"sha256:e8f8b6cf0f496283bba1fb81752240550afb81c4dcff99cf3e68e6d66669e7f4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:VKQ6C3XDYDOPRJFKWTCM43UWSR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Labyrinth: Compiling Imperative Control Flow to Parallel Dataflows","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DC","authors_text":"G\\'abor E. G\\'evay, Lor\\'and Madai-Tahy, Sebastian Bre\\ss, Tilmann Rabl, Volker Markl","submitted_at":"2018-09-18T17:54:07Z","abstract_excerpt":"Parallel dataflow systems have become a standard technology for large-scale data analytics. Complex data analysis programs in areas such as machine learning and graph analytics often involve control flow, i.e., iterations and branching. Therefore, systems for advanced analytics should include control flow constructs that are efficient and easy to use. A natural approach is to provide imperative control flow constructs similar to those of mainstream programming languages: while-loops, if-statements, and mutable variables, whose values can change between iteration steps.\n  However, current paral"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.06845","kind":"arxiv","version":3},"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:03:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Snt6pIM8cJTyJEyTW3WCoW3+syujSDyvnquXTcq93moTWPNyF5q01H+2E/NPaNTiBCYF/dRfFUx20X3K1sneAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T23:37:43.450343Z"},"content_sha256":"6fa58b8224a00b829def7ff70bf9a2010ef80c9eff4cc16d7378526e11910309","schema_version":"1.0","event_id":"sha256:6fa58b8224a00b829def7ff70bf9a2010ef80c9eff4cc16d7378526e11910309"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VKQ6C3XDYDOPRJFKWTCM43UWSR/bundle.json","state_url":"https://pith.science/pith/VKQ6C3XDYDOPRJFKWTCM43UWSR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VKQ6C3XDYDOPRJFKWTCM43UWSR/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-02T23:37:43Z","links":{"resolver":"https://pith.science/pith/VKQ6C3XDYDOPRJFKWTCM43UWSR","bundle":"https://pith.science/pith/VKQ6C3XDYDOPRJFKWTCM43UWSR/bundle.json","state":"https://pith.science/pith/VKQ6C3XDYDOPRJFKWTCM43UWSR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VKQ6C3XDYDOPRJFKWTCM43UWSR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:VKQ6C3XDYDOPRJFKWTCM43UWSR","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":"11ab603caf027b7d10e61cb788bea399b7ccb74c9f9462464e3643fa7c9d3ecf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-09-18T17:54:07Z","title_canon_sha256":"b5a5db0d646e9da8875210a2e487d69d68f9dd43a6dfc4a662a9a9f9414902f5"},"schema_version":"1.0","source":{"id":"1809.06845","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1809.06845","created_at":"2026-05-18T00:03:24Z"},{"alias_kind":"arxiv_version","alias_value":"1809.06845v3","created_at":"2026-05-18T00:03:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1809.06845","created_at":"2026-05-18T00:03:24Z"},{"alias_kind":"pith_short_12","alias_value":"VKQ6C3XDYDOP","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_16","alias_value":"VKQ6C3XDYDOPRJFK","created_at":"2026-05-18T12:32:59Z"},{"alias_kind":"pith_short_8","alias_value":"VKQ6C3XD","created_at":"2026-05-18T12:32:59Z"}],"graph_snapshots":[{"event_id":"sha256:6fa58b8224a00b829def7ff70bf9a2010ef80c9eff4cc16d7378526e11910309","target":"graph","created_at":"2026-05-18T00:03:24Z","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":"Parallel dataflow systems have become a standard technology for large-scale data analytics. Complex data analysis programs in areas such as machine learning and graph analytics often involve control flow, i.e., iterations and branching. Therefore, systems for advanced analytics should include control flow constructs that are efficient and easy to use. A natural approach is to provide imperative control flow constructs similar to those of mainstream programming languages: while-loops, if-statements, and mutable variables, whose values can change between iteration steps.\n  However, current paral","authors_text":"G\\'abor E. G\\'evay, Lor\\'and Madai-Tahy, Sebastian Bre\\ss, Tilmann Rabl, Volker Markl","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-09-18T17:54:07Z","title":"Labyrinth: Compiling Imperative Control Flow to Parallel Dataflows"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1809.06845","kind":"arxiv","version":3},"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:e8f8b6cf0f496283bba1fb81752240550afb81c4dcff99cf3e68e6d66669e7f4","target":"record","created_at":"2026-05-18T00:03:24Z","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":"11ab603caf027b7d10e61cb788bea399b7ccb74c9f9462464e3643fa7c9d3ecf","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DC","submitted_at":"2018-09-18T17:54:07Z","title_canon_sha256":"b5a5db0d646e9da8875210a2e487d69d68f9dd43a6dfc4a662a9a9f9414902f5"},"schema_version":"1.0","source":{"id":"1809.06845","kind":"arxiv","version":3}},"canonical_sha256":"aaa1e16ee3c0dcf8a4aab4c4ce6e9694680296a376fbf8543fac3410ed0e3c8e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aaa1e16ee3c0dcf8a4aab4c4ce6e9694680296a376fbf8543fac3410ed0e3c8e","first_computed_at":"2026-05-18T00:03:24.105932Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:03:24.105932Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9kockNTGeYNnKT2X3ZIBY+sD+lBK1MghBCt30mBORAyYuTRLc6D4dR3IKEmgOH3EFP4TmWNVPoaZaz65fVLVCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:03:24.106595Z","signed_message":"canonical_sha256_bytes"},"source_id":"1809.06845","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8f8b6cf0f496283bba1fb81752240550afb81c4dcff99cf3e68e6d66669e7f4","sha256:6fa58b8224a00b829def7ff70bf9a2010ef80c9eff4cc16d7378526e11910309"],"state_sha256":"32efa05edae0231e90b56f9d375cf9f231b3d686c30effffadc0131f5d4fa704"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mIcJ0X0Q73uZh6L5rgGKGK8k9Be1Vtb5fs8Mp3DGSsqom6y8Dq9XskW7h7KWwuCk8TadTZNBetcVHGSetSn/DQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T23:37:43.452335Z","bundle_sha256":"5435babec5dd88f1410b3d6062ba57ac5b8f4ad086468863b7cabd1f240933e5"}}