{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:F4M7EAYS2CUK2ZDSXGCDMKQ3UB","short_pith_number":"pith:F4M7EAYS","canonical_record":{"source":{"id":"1803.04154","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2018-03-12T08:39:30Z","cross_cats_sorted":[],"title_canon_sha256":"fc0890096826984795e388bf56b389024e811084ae56500520cf48910445df78","abstract_canon_sha256":"f9ef45d855a93719b9fac7426483dc91d273c93fafd9dfdff126c881ee84068c"},"schema_version":"1.0"},"canonical_sha256":"2f19f20312d0a8ad6472b984362a1ba07d117515a93e75d6e42447d5e647e1c0","source":{"kind":"arxiv","id":"1803.04154","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.04154","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"arxiv_version","alias_value":"1803.04154v1","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04154","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"pith_short_12","alias_value":"F4M7EAYS2CUK","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"F4M7EAYS2CUK2ZDS","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"F4M7EAYS","created_at":"2026-05-18T12:32:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:F4M7EAYS2CUK2ZDSXGCDMKQ3UB","target":"record","payload":{"canonical_record":{"source":{"id":"1803.04154","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2018-03-12T08:39:30Z","cross_cats_sorted":[],"title_canon_sha256":"fc0890096826984795e388bf56b389024e811084ae56500520cf48910445df78","abstract_canon_sha256":"f9ef45d855a93719b9fac7426483dc91d273c93fafd9dfdff126c881ee84068c"},"schema_version":"1.0"},"canonical_sha256":"2f19f20312d0a8ad6472b984362a1ba07d117515a93e75d6e42447d5e647e1c0","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:21:32.472662Z","signature_b64":"ifCcpDbIj5zJKoTnWrrbhDvfLECqBx2FNbnbaSSPlmn54g2VxmD6NTMjrA7uw4tKjDsNvvPU6FjXu6eieq1gCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2f19f20312d0a8ad6472b984362a1ba07d117515a93e75d6e42447d5e647e1c0","last_reissued_at":"2026-05-18T00:21:32.472000Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:21:32.472000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.04154","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:21:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k2uww9D+uR4GF3CqAxj9p0FhotbglLDbqYkg2PHEFucCNMB/ZhnNEREVCQ6Yj5U35Nb3ad5Fo/DF7u91hi3NAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:28:12.705744Z"},"content_sha256":"f9748ee25bb4689cf7fdb225842ae4dd4cbf7f1425bdc31399d4a140c3fcbdee","schema_version":"1.0","event_id":"sha256:f9748ee25bb4689cf7fdb225842ae4dd4cbf7f1425bdc31399d4a140c3fcbdee"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:F4M7EAYS2CUK2ZDSXGCDMKQ3UB","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Algorithmic Differentiation for Domain Specific Languages","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.MS","authors_text":"Max Sagebaum, Nicolas R. Gauger","submitted_at":"2018-03-12T08:39:30Z","abstract_excerpt":"Algorithmic Differentiation (AD) can be used to automate the generation of derivatives in arbitrary software projects. This will generate maintainable derivatives, that are always consistent with the computation of the software. If a domain specific language (DSL) is used in a software the state of the art approach is to differentiate the DSL library with the same AD tool. The drawback of this solution is the reduced performance since the compiler is no longer able to optimize the e.g. SIMD operations. The new approach in this paper integrates the types and operations of the DSL into the AD to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04154","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:21:32Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"D9S/0kYNIaYS1/4E1jen2oqQ0P0dZeKAfMqRDS4WZl07GOxZsGOjU9lEuPae2EYA0r/92tDKEY3gsUyv1wq2BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T07:28:12.706084Z"},"content_sha256":"a250baac88df13d26da13969e2a1fcf178c6d5baeacc50031921e4516908e118","schema_version":"1.0","event_id":"sha256:a250baac88df13d26da13969e2a1fcf178c6d5baeacc50031921e4516908e118"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/bundle.json","state_url":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/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-03T07:28:12Z","links":{"resolver":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB","bundle":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/bundle.json","state":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/state.json","well_known_bundle":"https://pith.science/.well-known/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:F4M7EAYS2CUK2ZDSXGCDMKQ3UB","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":"f9ef45d855a93719b9fac7426483dc91d273c93fafd9dfdff126c881ee84068c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2018-03-12T08:39:30Z","title_canon_sha256":"fc0890096826984795e388bf56b389024e811084ae56500520cf48910445df78"},"schema_version":"1.0","source":{"id":"1803.04154","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.04154","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"arxiv_version","alias_value":"1803.04154v1","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04154","created_at":"2026-05-18T00:21:32Z"},{"alias_kind":"pith_short_12","alias_value":"F4M7EAYS2CUK","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_16","alias_value":"F4M7EAYS2CUK2ZDS","created_at":"2026-05-18T12:32:22Z"},{"alias_kind":"pith_short_8","alias_value":"F4M7EAYS","created_at":"2026-05-18T12:32:22Z"}],"graph_snapshots":[{"event_id":"sha256:a250baac88df13d26da13969e2a1fcf178c6d5baeacc50031921e4516908e118","target":"graph","created_at":"2026-05-18T00:21:32Z","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":"Algorithmic Differentiation (AD) can be used to automate the generation of derivatives in arbitrary software projects. This will generate maintainable derivatives, that are always consistent with the computation of the software. If a domain specific language (DSL) is used in a software the state of the art approach is to differentiate the DSL library with the same AD tool. The drawback of this solution is the reduced performance since the compiler is no longer able to optimize the e.g. SIMD operations. The new approach in this paper integrates the types and operations of the DSL into the AD to","authors_text":"Max Sagebaum, Nicolas R. Gauger","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2018-03-12T08:39:30Z","title":"Algorithmic Differentiation for Domain Specific Languages"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.04154","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:f9748ee25bb4689cf7fdb225842ae4dd4cbf7f1425bdc31399d4a140c3fcbdee","target":"record","created_at":"2026-05-18T00:21:32Z","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":"f9ef45d855a93719b9fac7426483dc91d273c93fafd9dfdff126c881ee84068c","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.MS","submitted_at":"2018-03-12T08:39:30Z","title_canon_sha256":"fc0890096826984795e388bf56b389024e811084ae56500520cf48910445df78"},"schema_version":"1.0","source":{"id":"1803.04154","kind":"arxiv","version":1}},"canonical_sha256":"2f19f20312d0a8ad6472b984362a1ba07d117515a93e75d6e42447d5e647e1c0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2f19f20312d0a8ad6472b984362a1ba07d117515a93e75d6e42447d5e647e1c0","first_computed_at":"2026-05-18T00:21:32.472000Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:21:32.472000Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ifCcpDbIj5zJKoTnWrrbhDvfLECqBx2FNbnbaSSPlmn54g2VxmD6NTMjrA7uw4tKjDsNvvPU6FjXu6eieq1gCg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:21:32.472662Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.04154","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f9748ee25bb4689cf7fdb225842ae4dd4cbf7f1425bdc31399d4a140c3fcbdee","sha256:a250baac88df13d26da13969e2a1fcf178c6d5baeacc50031921e4516908e118"],"state_sha256":"8dc8d84e2ac07e9510b5b176c19bc6c02e9a9661997ddaba459fd51d1097b6f0"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XLhLb/hAzfHBx/O8Tosrq4ieZecDpg9YnlxFI0VmeRACxKVUKY1wSQb3WAwzFaXurB3GYYlHWQBquGhBRiKYAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T07:28:12.707965Z","bundle_sha256":"5425e80b4038e5a6a6a3fc53a44c8f75608dc4f1164e9089a3b2c695662119d0"}}