{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:PLJK3BABOWAE2UQHU7R5VIIFIZ","short_pith_number":"pith:PLJK3BAB","canonical_record":{"source":{"id":"1708.06799","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-22T20:00:41Z","cross_cats_sorted":[],"title_canon_sha256":"5572715273596486241d0f778fc15e9a54f0ff3b60cf488bc87cdf69424e2403","abstract_canon_sha256":"aa798e7496ea764f7d4516e6897e15349c204338d05de0332941b6e135d38140"},"schema_version":"1.0"},"canonical_sha256":"7ad2ad840175804d5207a7e3daa105465995dd135027f1cac0b421a65c4ec92f","source":{"kind":"arxiv","id":"1708.06799","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.06799","created_at":"2026-05-18T00:10:39Z"},{"alias_kind":"arxiv_version","alias_value":"1708.06799v2","created_at":"2026-05-18T00:10:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06799","created_at":"2026-05-18T00:10:39Z"},{"alias_kind":"pith_short_12","alias_value":"PLJK3BABOWAE","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PLJK3BABOWAE2UQH","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PLJK3BAB","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:PLJK3BABOWAE2UQHU7R5VIIFIZ","target":"record","payload":{"canonical_record":{"source":{"id":"1708.06799","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-22T20:00:41Z","cross_cats_sorted":[],"title_canon_sha256":"5572715273596486241d0f778fc15e9a54f0ff3b60cf488bc87cdf69424e2403","abstract_canon_sha256":"aa798e7496ea764f7d4516e6897e15349c204338d05de0332941b6e135d38140"},"schema_version":"1.0"},"canonical_sha256":"7ad2ad840175804d5207a7e3daa105465995dd135027f1cac0b421a65c4ec92f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:10:39.205103Z","signature_b64":"vCfCYYmGhthIPArw3NvhA86EPcSxOvtZK5Lkvxc3TGrSxc6OYPq6jv8N/D19nrYAP59EfCBri/0IEMAnXgGSDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7ad2ad840175804d5207a7e3daa105465995dd135027f1cac0b421a65c4ec92f","last_reissued_at":"2026-05-18T00:10:39.204379Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:10:39.204379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1708.06799","source_version":2,"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:10:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F7xGqU7pPaloMRBkPf5ZugrYPiX4CWTzEMxLGqL/yVt5LhBu3NS5UOvb2c3Qj+tOnAVFfHV7lN0065mkRbvNCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:55:49.334247Z"},"content_sha256":"b96781ccdfbcb920b4e8737d413156c5a0a5877616f3cec1437b2c50efaffa23","schema_version":"1.0","event_id":"sha256:b96781ccdfbcb920b4e8737d413156c5a0a5877616f3cec1437b2c50efaffa23"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:PLJK3BABOWAE2UQHU7R5VIIFIZ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Divide-and-Conquer Checkpointing for Arbitrary Programs with No User Annotation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Barak A. Pearlmutter, Jeffrey Mark Siskind","submitted_at":"2017-08-22T20:00:41Z","abstract_excerpt":"Classical reverse-mode automatic differentiation (AD) imposes only a small constant-factor overhead in operation count over the original computation, but has storage requirements that grow, in the worst case, in proportion to the time consumed by the original computation. This storage blowup can be ameliorated by checkpointing, a process that reorders application of classical reverse-mode AD over an execution interval to tradeoff space \\vs\\ time. Application of checkpointing in a divide-and-conquer fashion to strategically chosen nested execution intervals can break classical reverse-mode AD i"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06799","kind":"arxiv","version":2},"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:10:39Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"PqLPbWE9euRz24lCKbi1YgrUtv7+PxzINNxS0FFFnPk9Gxog9q7YkLeLgLwzN0w4MswW1G0lmYmBJVf78oQ1Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-01T15:55:49.334598Z"},"content_sha256":"768abe3da53ce738d167f503b1f3c506e5d67f591e9c3b2988e75a8ad22963cc","schema_version":"1.0","event_id":"sha256:768abe3da53ce738d167f503b1f3c506e5d67f591e9c3b2988e75a8ad22963cc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PLJK3BABOWAE2UQHU7R5VIIFIZ/bundle.json","state_url":"https://pith.science/pith/PLJK3BABOWAE2UQHU7R5VIIFIZ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PLJK3BABOWAE2UQHU7R5VIIFIZ/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-01T15:55:49Z","links":{"resolver":"https://pith.science/pith/PLJK3BABOWAE2UQHU7R5VIIFIZ","bundle":"https://pith.science/pith/PLJK3BABOWAE2UQHU7R5VIIFIZ/bundle.json","state":"https://pith.science/pith/PLJK3BABOWAE2UQHU7R5VIIFIZ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PLJK3BABOWAE2UQHU7R5VIIFIZ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:PLJK3BABOWAE2UQHU7R5VIIFIZ","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":"aa798e7496ea764f7d4516e6897e15349c204338d05de0332941b6e135d38140","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-22T20:00:41Z","title_canon_sha256":"5572715273596486241d0f778fc15e9a54f0ff3b60cf488bc87cdf69424e2403"},"schema_version":"1.0","source":{"id":"1708.06799","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1708.06799","created_at":"2026-05-18T00:10:39Z"},{"alias_kind":"arxiv_version","alias_value":"1708.06799v2","created_at":"2026-05-18T00:10:39Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1708.06799","created_at":"2026-05-18T00:10:39Z"},{"alias_kind":"pith_short_12","alias_value":"PLJK3BABOWAE","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"PLJK3BABOWAE2UQH","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"PLJK3BAB","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:768abe3da53ce738d167f503b1f3c506e5d67f591e9c3b2988e75a8ad22963cc","target":"graph","created_at":"2026-05-18T00:10:39Z","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":"Classical reverse-mode automatic differentiation (AD) imposes only a small constant-factor overhead in operation count over the original computation, but has storage requirements that grow, in the worst case, in proportion to the time consumed by the original computation. This storage blowup can be ameliorated by checkpointing, a process that reorders application of classical reverse-mode AD over an execution interval to tradeoff space \\vs\\ time. Application of checkpointing in a divide-and-conquer fashion to strategically chosen nested execution intervals can break classical reverse-mode AD i","authors_text":"Barak A. Pearlmutter, Jeffrey Mark Siskind","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-22T20:00:41Z","title":"Divide-and-Conquer Checkpointing for Arbitrary Programs with No User Annotation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1708.06799","kind":"arxiv","version":2},"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:b96781ccdfbcb920b4e8737d413156c5a0a5877616f3cec1437b2c50efaffa23","target":"record","created_at":"2026-05-18T00:10:39Z","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":"aa798e7496ea764f7d4516e6897e15349c204338d05de0332941b6e135d38140","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2017-08-22T20:00:41Z","title_canon_sha256":"5572715273596486241d0f778fc15e9a54f0ff3b60cf488bc87cdf69424e2403"},"schema_version":"1.0","source":{"id":"1708.06799","kind":"arxiv","version":2}},"canonical_sha256":"7ad2ad840175804d5207a7e3daa105465995dd135027f1cac0b421a65c4ec92f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7ad2ad840175804d5207a7e3daa105465995dd135027f1cac0b421a65c4ec92f","first_computed_at":"2026-05-18T00:10:39.204379Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:10:39.204379Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vCfCYYmGhthIPArw3NvhA86EPcSxOvtZK5Lkvxc3TGrSxc6OYPq6jv8N/D19nrYAP59EfCBri/0IEMAnXgGSDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:10:39.205103Z","signed_message":"canonical_sha256_bytes"},"source_id":"1708.06799","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b96781ccdfbcb920b4e8737d413156c5a0a5877616f3cec1437b2c50efaffa23","sha256:768abe3da53ce738d167f503b1f3c506e5d67f591e9c3b2988e75a8ad22963cc"],"state_sha256":"433d3d701b7cfd9f3e0e80c1de997e7184eadfa3b70c97053405a4ea48ce9554"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"0yW7eyxMlP6dQi+7B96mme1XjrhZtiyP610FQf5DGrQhXalhexiBCuABAgb5geXOfHR9PTRV3/vaTHOKLRzdBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-01T15:55:49.336494Z","bundle_sha256":"0d43be45b2ef282482a7908a3be9b85e1b73fd393d268a56224879475f95456c"}}