{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:LKHN3L5WA4NBVFTPTCGZOOKFST","short_pith_number":"pith:LKHN3L5W","schema_version":"1.0","canonical_sha256":"5a8eddafb6071a1a966f988d97394594cb827ebafca14b9c14eb64ae5e744acc","source":{"kind":"arxiv","id":"1707.04016","version":1},"attestation_state":"computed","paper":{"title":"Dependency Injection for Programming by Optimization","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jerry Swan, Zoltan A. Kocsis","submitted_at":"2017-07-13T08:02:23Z","abstract_excerpt":"Programming by Optimization tools perform automatic software configuration according to the specification supplied by a software developer. Developers specify design spaces for program components, and the onerous task of determining which configuration best suits a given use case is determined using automated analysis tools and optimization heuristics. However, in current approaches to Programming by Optimization, design space specification and exploration relies on external configuration algorithms, executable wrappers and fragile, preprocessed programming language extensions.\n  Here we show "},"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":"1707.04016","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.AI","submitted_at":"2017-07-13T08:02:23Z","cross_cats_sorted":[],"title_canon_sha256":"4abcedf2c937c9f4b2264ef225af9d7fe6b77c693350d65063bfa6c8d4951c2b","abstract_canon_sha256":"81d274dcbf362dad4440467648f94d93e9e14ef1145a5d5dfe25714080746a67"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:40:22.838922Z","signature_b64":"uBjkeDcqv6W6X2PX3u1EfRd+/6moZDerTJ9OQ4bKWQAJZIKSpy+touF4vmtITK7YDdBX1/z0nm5xyWH/pKe6DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"5a8eddafb6071a1a966f988d97394594cb827ebafca14b9c14eb64ae5e744acc","last_reissued_at":"2026-05-18T00:40:22.838397Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:40:22.838397Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Dependency Injection for Programming by Optimization","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.AI","authors_text":"Jerry Swan, Zoltan A. Kocsis","submitted_at":"2017-07-13T08:02:23Z","abstract_excerpt":"Programming by Optimization tools perform automatic software configuration according to the specification supplied by a software developer. Developers specify design spaces for program components, and the onerous task of determining which configuration best suits a given use case is determined using automated analysis tools and optimization heuristics. However, in current approaches to Programming by Optimization, design space specification and exploration relies on external configuration algorithms, executable wrappers and fragile, preprocessed programming language extensions.\n  Here we show "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1707.04016","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":"1707.04016","created_at":"2026-05-18T00:40:22.838488+00:00"},{"alias_kind":"arxiv_version","alias_value":"1707.04016v1","created_at":"2026-05-18T00:40:22.838488+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1707.04016","created_at":"2026-05-18T00:40:22.838488+00:00"},{"alias_kind":"pith_short_12","alias_value":"LKHN3L5WA4NB","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_16","alias_value":"LKHN3L5WA4NBVFTP","created_at":"2026-05-18T12:31:28.150371+00:00"},{"alias_kind":"pith_short_8","alias_value":"LKHN3L5W","created_at":"2026-05-18T12:31:28.150371+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/LKHN3L5WA4NBVFTPTCGZOOKFST","json":"https://pith.science/pith/LKHN3L5WA4NBVFTPTCGZOOKFST.json","graph_json":"https://pith.science/api/pith-number/LKHN3L5WA4NBVFTPTCGZOOKFST/graph.json","events_json":"https://pith.science/api/pith-number/LKHN3L5WA4NBVFTPTCGZOOKFST/events.json","paper":"https://pith.science/paper/LKHN3L5W"},"agent_actions":{"view_html":"https://pith.science/pith/LKHN3L5WA4NBVFTPTCGZOOKFST","download_json":"https://pith.science/pith/LKHN3L5WA4NBVFTPTCGZOOKFST.json","view_paper":"https://pith.science/paper/LKHN3L5W","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1707.04016&json=true","fetch_graph":"https://pith.science/api/pith-number/LKHN3L5WA4NBVFTPTCGZOOKFST/graph.json","fetch_events":"https://pith.science/api/pith-number/LKHN3L5WA4NBVFTPTCGZOOKFST/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/LKHN3L5WA4NBVFTPTCGZOOKFST/action/timestamp_anchor","attest_storage":"https://pith.science/pith/LKHN3L5WA4NBVFTPTCGZOOKFST/action/storage_attestation","attest_author":"https://pith.science/pith/LKHN3L5WA4NBVFTPTCGZOOKFST/action/author_attestation","sign_citation":"https://pith.science/pith/LKHN3L5WA4NBVFTPTCGZOOKFST/action/citation_signature","submit_replication":"https://pith.science/pith/LKHN3L5WA4NBVFTPTCGZOOKFST/action/replication_record"}},"created_at":"2026-05-18T00:40:22.838488+00:00","updated_at":"2026-05-18T00:40:22.838488+00:00"}