{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:LWWNRQ2LQB2FPTAX6MUKVOU4QW","short_pith_number":"pith:LWWNRQ2L","canonical_record":{"source":{"id":"1701.08345","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-01-29T02:05:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4f9ece3560c12e5ad545a2c621e2c7b6735e9b6d936d4831138b5d4ed501f92d","abstract_canon_sha256":"35df6471f5bdbd062834c19082e6c5621b4d31397732efe6722d10d041419bfe"},"schema_version":"1.0"},"canonical_sha256":"5dacd8c34b807457cc17f328aaba9c85a08deb5ebaff03d89d06b023eb4b0501","source":{"kind":"arxiv","id":"1701.08345","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.08345","created_at":"2026-05-18T00:51:54Z"},{"alias_kind":"arxiv_version","alias_value":"1701.08345v1","created_at":"2026-05-18T00:51:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.08345","created_at":"2026-05-18T00:51:54Z"},{"alias_kind":"pith_short_12","alias_value":"LWWNRQ2LQB2F","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LWWNRQ2LQB2FPTAX","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LWWNRQ2L","created_at":"2026-05-18T12:31:28Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:LWWNRQ2LQB2FPTAX6MUKVOU4QW","target":"record","payload":{"canonical_record":{"source":{"id":"1701.08345","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-01-29T02:05:03Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4f9ece3560c12e5ad545a2c621e2c7b6735e9b6d936d4831138b5d4ed501f92d","abstract_canon_sha256":"35df6471f5bdbd062834c19082e6c5621b4d31397732efe6722d10d041419bfe"},"schema_version":"1.0"},"canonical_sha256":"5dacd8c34b807457cc17f328aaba9c85a08deb5ebaff03d89d06b023eb4b0501","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:51:54.460872Z","signature_b64":"Co70sA/wVwYRK/BFFnCiqBwYuscv4sK5brykrO1NzL6eMDdtIPsIT6PXn5VN5iAeFU0KjFC30lCxVCfL6KpeAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5dacd8c34b807457cc17f328aaba9c85a08deb5ebaff03d89d06b023eb4b0501","last_reissued_at":"2026-05-18T00:51:54.460131Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:51:54.460131Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1701.08345","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-18T00:51:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"vvnueqJZ1zz5TPsi2L1TIZ9iiDhiv/cqpbnSMJhPd0BgioCzptTRpgT/YiUHdhyP/G0fTIKpQhXUMenvh+WrBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T11:25:03.771305Z"},"content_sha256":"6ae4e35f6421234d5017515019d596688d88aa328fabb3b9f9db6f33564d4dd0","schema_version":"1.0","event_id":"sha256:6ae4e35f6421234d5017515019d596688d88aa328fabb3b9f9db6f33564d4dd0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:LWWNRQ2LQB2FPTAX6MUKVOU4QW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Automated Synthesis of Divide and Conquer Parallelism","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.PL","authors_text":"Azadeh Farzan, Victor Nicolet","submitted_at":"2017-01-29T02:05:03Z","abstract_excerpt":"This paper focuses on automated synthesis of divide-and-conquer parallelism, which is a common parallel programming skeleton supported by many cross-platform multithreaded libraries. The challenges of producing (manually or automatically) a correct divide-and-conquer parallel program from a given sequential code are two-fold: (1) assuming that individual worker threads execute a code identical to the sequential code, the programmer has to provide the extra code for dividing the tasks and combining the computation results, and (2) sometimes, the sequential code may not be usable as is, and may "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.08345","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-18T00:51:54Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3ECCH8n0FphKqsoGHvwgeNx3QImfSd8j82ydo1S8F358SQIW4kbU1+ISS170yW8azXAK1oWlpTgewiBu24rQBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T11:25:03.771676Z"},"content_sha256":"25f2ccdb05ce6c738ce49b4ed1afa7e2ca1bd4da91ff8225a082c35f1c042669","schema_version":"1.0","event_id":"sha256:25f2ccdb05ce6c738ce49b4ed1afa7e2ca1bd4da91ff8225a082c35f1c042669"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/LWWNRQ2LQB2FPTAX6MUKVOU4QW/bundle.json","state_url":"https://pith.science/pith/LWWNRQ2LQB2FPTAX6MUKVOU4QW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/LWWNRQ2LQB2FPTAX6MUKVOU4QW/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-05T11:25:03Z","links":{"resolver":"https://pith.science/pith/LWWNRQ2LQB2FPTAX6MUKVOU4QW","bundle":"https://pith.science/pith/LWWNRQ2LQB2FPTAX6MUKVOU4QW/bundle.json","state":"https://pith.science/pith/LWWNRQ2LQB2FPTAX6MUKVOU4QW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/LWWNRQ2LQB2FPTAX6MUKVOU4QW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:LWWNRQ2LQB2FPTAX6MUKVOU4QW","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":"35df6471f5bdbd062834c19082e6c5621b4d31397732efe6722d10d041419bfe","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-01-29T02:05:03Z","title_canon_sha256":"4f9ece3560c12e5ad545a2c621e2c7b6735e9b6d936d4831138b5d4ed501f92d"},"schema_version":"1.0","source":{"id":"1701.08345","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1701.08345","created_at":"2026-05-18T00:51:54Z"},{"alias_kind":"arxiv_version","alias_value":"1701.08345v1","created_at":"2026-05-18T00:51:54Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1701.08345","created_at":"2026-05-18T00:51:54Z"},{"alias_kind":"pith_short_12","alias_value":"LWWNRQ2LQB2F","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_16","alias_value":"LWWNRQ2LQB2FPTAX","created_at":"2026-05-18T12:31:28Z"},{"alias_kind":"pith_short_8","alias_value":"LWWNRQ2L","created_at":"2026-05-18T12:31:28Z"}],"graph_snapshots":[{"event_id":"sha256:25f2ccdb05ce6c738ce49b4ed1afa7e2ca1bd4da91ff8225a082c35f1c042669","target":"graph","created_at":"2026-05-18T00:51:54Z","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":"This paper focuses on automated synthesis of divide-and-conquer parallelism, which is a common parallel programming skeleton supported by many cross-platform multithreaded libraries. The challenges of producing (manually or automatically) a correct divide-and-conquer parallel program from a given sequential code are two-fold: (1) assuming that individual worker threads execute a code identical to the sequential code, the programmer has to provide the extra code for dividing the tasks and combining the computation results, and (2) sometimes, the sequential code may not be usable as is, and may ","authors_text":"Azadeh Farzan, Victor Nicolet","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-01-29T02:05:03Z","title":"Automated Synthesis of Divide and Conquer Parallelism"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1701.08345","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:6ae4e35f6421234d5017515019d596688d88aa328fabb3b9f9db6f33564d4dd0","target":"record","created_at":"2026-05-18T00:51:54Z","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":"35df6471f5bdbd062834c19082e6c5621b4d31397732efe6722d10d041419bfe","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.PL","submitted_at":"2017-01-29T02:05:03Z","title_canon_sha256":"4f9ece3560c12e5ad545a2c621e2c7b6735e9b6d936d4831138b5d4ed501f92d"},"schema_version":"1.0","source":{"id":"1701.08345","kind":"arxiv","version":1}},"canonical_sha256":"5dacd8c34b807457cc17f328aaba9c85a08deb5ebaff03d89d06b023eb4b0501","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5dacd8c34b807457cc17f328aaba9c85a08deb5ebaff03d89d06b023eb4b0501","first_computed_at":"2026-05-18T00:51:54.460131Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:51:54.460131Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Co70sA/wVwYRK/BFFnCiqBwYuscv4sK5brykrO1NzL6eMDdtIPsIT6PXn5VN5iAeFU0KjFC30lCxVCfL6KpeAg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:51:54.460872Z","signed_message":"canonical_sha256_bytes"},"source_id":"1701.08345","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6ae4e35f6421234d5017515019d596688d88aa328fabb3b9f9db6f33564d4dd0","sha256:25f2ccdb05ce6c738ce49b4ed1afa7e2ca1bd4da91ff8225a082c35f1c042669"],"state_sha256":"9a02d9495c6ea4ac00dcd124b27f7777939bc47fd544d092d5153ebd70e15b58"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hmtxmR+RoKZPhK7nCUu+nFu9tMq0rcRMlSgqRXEAMzxKJ1/Dwp+JmpcF86vmMwcQECNvfliUofiuHKAcAsDYCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T11:25:03.773639Z","bundle_sha256":"1e76884d0ea29097ee5503171a403c7096dd4b0950d57ad65bc8da9257134159"}}