{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:HBP7T65H7DA3KHYMAX6EVA7RHN","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":"e21d9109ac01c7064da235e115a9c4e72a8758619bdf73f019993da3813ca1d7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-13T05:02:53Z","title_canon_sha256":"9b74c1cce50c244ca21de166fb5bf8261fdc38c624e98d52de0c94bec6245f1f"},"schema_version":"1.0","source":{"id":"1507.03577","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1507.03577","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"arxiv_version","alias_value":"1507.03577v1","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.03577","created_at":"2026-05-18T01:36:57Z"},{"alias_kind":"pith_short_12","alias_value":"HBP7T65H7DA3","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"HBP7T65H7DA3KHYM","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"HBP7T65H","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:10417d14585d842e26d9e8f4150351890f85f7e1e0b6c1b1445ee67db383ce32","target":"graph","created_at":"2026-05-18T01:36:57Z","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":"Sketch-based synthesis, epitomized by the SKETCH tool, lets developers synthesize software starting from a partial program, also called a sketch or template. This paper presents JSKETCH, a tool that brings sketch-based synthesis to Java. JSKETCH's input is a partial Java program that may include holes, which are unknown constants, expression generators, which range over sets of expressions, and class generators, which are partial classes. JSKETCH then translates the synthesis problem into a SKETCH problem; this translation is complex because SKETCH is not object-oriented. Finally, JSKETCH synt","authors_text":"Armando Solar-Lezama, Jeffrey S. Foster, Jinseong Jeon, Xiaokang Qiu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-13T05:02:53Z","title":"JSKETCH: Sketching for Java"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.03577","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:f7cd0a8a2a3962816e141445d79d2b72a4e4dea653cf22c67ff9b72f2d884f32","target":"record","created_at":"2026-05-18T01:36:57Z","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":"e21d9109ac01c7064da235e115a9c4e72a8758619bdf73f019993da3813ca1d7","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2015-07-13T05:02:53Z","title_canon_sha256":"9b74c1cce50c244ca21de166fb5bf8261fdc38c624e98d52de0c94bec6245f1f"},"schema_version":"1.0","source":{"id":"1507.03577","kind":"arxiv","version":1}},"canonical_sha256":"385ff9fba7f8c1b51f0c05fc4a83f13b5e2d3699f0739b362e998d9e5d691aac","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"385ff9fba7f8c1b51f0c05fc4a83f13b5e2d3699f0739b362e998d9e5d691aac","first_computed_at":"2026-05-18T01:36:57.887269Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:36:57.887269Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"mXmhl9M4WdbKAzZ+A02gBUpmODmOEYXmhG0MbcXP3zlmeJSU4dmXK19GDp0a/is561OUiERnM3eAlu/vVga9BQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:36:57.888037Z","signed_message":"canonical_sha256_bytes"},"source_id":"1507.03577","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f7cd0a8a2a3962816e141445d79d2b72a4e4dea653cf22c67ff9b72f2d884f32","sha256:10417d14585d842e26d9e8f4150351890f85f7e1e0b6c1b1445ee67db383ce32"],"state_sha256":"9803b1f2b316fe9fbf70d54a2368c159546fe66b4cb05bfa263bb10d60bc2122"}