{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:F4M7EAYS2CUK2ZDSXGCDMKQ3UB","short_pith_number":"pith:F4M7EAYS","schema_version":"1.0","canonical_sha256":"2f19f20312d0a8ad6472b984362a1ba07d117515a93e75d6e42447d5e647e1c0","source":{"kind":"arxiv","id":"1803.04154","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1803.04154","created_at":"2026-05-18T00:21:32.472100+00:00"},{"alias_kind":"arxiv_version","alias_value":"1803.04154v1","created_at":"2026-05-18T00:21:32.472100+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.04154","created_at":"2026-05-18T00:21:32.472100+00:00"},{"alias_kind":"pith_short_12","alias_value":"F4M7EAYS2CUK","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_16","alias_value":"F4M7EAYS2CUK2ZDS","created_at":"2026-05-18T12:32:22.470017+00:00"},{"alias_kind":"pith_short_8","alias_value":"F4M7EAYS","created_at":"2026-05-18T12:32:22.470017+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB","json":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB.json","graph_json":"https://pith.science/api/pith-number/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/graph.json","events_json":"https://pith.science/api/pith-number/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/events.json","paper":"https://pith.science/paper/F4M7EAYS"},"agent_actions":{"view_html":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB","download_json":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB.json","view_paper":"https://pith.science/paper/F4M7EAYS","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1803.04154&json=true","fetch_graph":"https://pith.science/api/pith-number/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/graph.json","fetch_events":"https://pith.science/api/pith-number/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/action/timestamp_anchor","attest_storage":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/action/storage_attestation","attest_author":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/action/author_attestation","sign_citation":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/action/citation_signature","submit_replication":"https://pith.science/pith/F4M7EAYS2CUK2ZDSXGCDMKQ3UB/action/replication_record"}},"created_at":"2026-05-18T00:21:32.472100+00:00","updated_at":"2026-05-18T00:21:32.472100+00:00"}