{"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"}