{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:45IGF56JA6KR7C2B7L3C6MLK3Y","short_pith_number":"pith:45IGF56J","schema_version":"1.0","canonical_sha256":"e75062f7c907951f8b41faf62f316ade0e02e302a2eccd4d2445599ac03416b8","source":{"kind":"arxiv","id":"1810.11527","version":2},"attestation_state":"computed","paper":{"title":"Synthesizing Symmetric Lenses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anders Miltner, Benjamin C. Pierce, David Walker, Kathleen Fisher, Solomon Maina, Steve Zdancewic","submitted_at":"2018-10-26T20:53:28Z","abstract_excerpt":"Lenses are programs that can be run both \"front to back\" and \"back to front,\" allowing updates to either their source or their target data to be transferred in both directions. Lenses have been extensively studied, extended, and applied. Recent work has demonstrated how techniques from type-directed program synthesis can be used to efficiently synthesize a simple class of lenses---bijective lenses over string data---given a pair of types (regular expressions) and examples.\n  We extend this synthesis algorithm to a broader class of lenses, called simple symmetric lenses, including all bijective"},"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":"1810.11527","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2018-10-26T20:53:28Z","cross_cats_sorted":[],"title_canon_sha256":"acd302033cd1a6e4fd9dfa53466a3acb3fe690b1661f91a4bea8f5f69165752b","abstract_canon_sha256":"98dd051a1bd1b2573cf79961301e0e5748e02e107d12387deeca35a41e12a844"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:42:26.770567Z","signature_b64":"5lO8IEdZem4unGmq/lyVBywjiGdmRqgW9i4xInDlN08FaWNjAFSnPrPfTOBL1eLDcjVWElXnULHNLUTmi420Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e75062f7c907951f8b41faf62f316ade0e02e302a2eccd4d2445599ac03416b8","last_reissued_at":"2026-05-17T23:42:26.769846Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:42:26.769846Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Synthesizing Symmetric Lenses","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.PL","authors_text":"Anders Miltner, Benjamin C. Pierce, David Walker, Kathleen Fisher, Solomon Maina, Steve Zdancewic","submitted_at":"2018-10-26T20:53:28Z","abstract_excerpt":"Lenses are programs that can be run both \"front to back\" and \"back to front,\" allowing updates to either their source or their target data to be transferred in both directions. Lenses have been extensively studied, extended, and applied. Recent work has demonstrated how techniques from type-directed program synthesis can be used to efficiently synthesize a simple class of lenses---bijective lenses over string data---given a pair of types (regular expressions) and examples.\n  We extend this synthesis algorithm to a broader class of lenses, called simple symmetric lenses, including all bijective"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.11527","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1810.11527","created_at":"2026-05-17T23:42:26.769967+00:00"},{"alias_kind":"arxiv_version","alias_value":"1810.11527v2","created_at":"2026-05-17T23:42:26.769967+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.11527","created_at":"2026-05-17T23:42:26.769967+00:00"},{"alias_kind":"pith_short_12","alias_value":"45IGF56JA6KR","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_16","alias_value":"45IGF56JA6KR7C2B","created_at":"2026-05-18T12:32:05.422762+00:00"},{"alias_kind":"pith_short_8","alias_value":"45IGF56J","created_at":"2026-05-18T12:32:05.422762+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/45IGF56JA6KR7C2B7L3C6MLK3Y","json":"https://pith.science/pith/45IGF56JA6KR7C2B7L3C6MLK3Y.json","graph_json":"https://pith.science/api/pith-number/45IGF56JA6KR7C2B7L3C6MLK3Y/graph.json","events_json":"https://pith.science/api/pith-number/45IGF56JA6KR7C2B7L3C6MLK3Y/events.json","paper":"https://pith.science/paper/45IGF56J"},"agent_actions":{"view_html":"https://pith.science/pith/45IGF56JA6KR7C2B7L3C6MLK3Y","download_json":"https://pith.science/pith/45IGF56JA6KR7C2B7L3C6MLK3Y.json","view_paper":"https://pith.science/paper/45IGF56J","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1810.11527&json=true","fetch_graph":"https://pith.science/api/pith-number/45IGF56JA6KR7C2B7L3C6MLK3Y/graph.json","fetch_events":"https://pith.science/api/pith-number/45IGF56JA6KR7C2B7L3C6MLK3Y/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/45IGF56JA6KR7C2B7L3C6MLK3Y/action/timestamp_anchor","attest_storage":"https://pith.science/pith/45IGF56JA6KR7C2B7L3C6MLK3Y/action/storage_attestation","attest_author":"https://pith.science/pith/45IGF56JA6KR7C2B7L3C6MLK3Y/action/author_attestation","sign_citation":"https://pith.science/pith/45IGF56JA6KR7C2B7L3C6MLK3Y/action/citation_signature","submit_replication":"https://pith.science/pith/45IGF56JA6KR7C2B7L3C6MLK3Y/action/replication_record"}},"created_at":"2026-05-17T23:42:26.769967+00:00","updated_at":"2026-05-17T23:42:26.769967+00:00"}