{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2023:ZMW3Q7MKM2R4T3A2GT6Z74OBLD","short_pith_number":"pith:ZMW3Q7MK","schema_version":"1.0","canonical_sha256":"cb2db87d8a66a3c9ec1a34fd9ff1c158fbb78f9dc0d17dab9d9c80e8168f8337","source":{"kind":"arxiv","id":"2305.04316","version":2},"attestation_state":"computed","paper":{"title":"Synthesizing Conjunctive Queries for Code Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Charles Zhang, Chengpeng Wang, Gang Fan, Peisen Yao, Wensheng Tang","submitted_at":"2023-05-07T15:54:10Z","abstract_excerpt":"This paper presents Squid, a new conjunctive query synthesis algorithm for searching code with target patterns. Given positive and negative examples along with a natural language description, Squid analyzes the relations derived from the examples by a Datalog-based program analyzer and synthesizes a conjunctive query expressing the search intent. The synthesized query can be further used to search for desired grammatical constructs in the editor. To achieve high efficiency, we prune the huge search space by removing unnecessary relations and enumerating query candidates via refinement. We also"},"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":"2305.04316","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2023-05-07T15:54:10Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"e34d7103eddc12a3c776c3ee7c7325692cb0d73335eed9d396d887852d948f73","abstract_canon_sha256":"49eb7d606f55f5030f33388cf59688fcdbc11ea7b45836af93c43e44f44479e7"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:09:10.732780Z","signature_b64":"3/z2/lwYaRgeg5+mW0UaUrCKNl8uI1zppIdJsR05GAnwrgLlvLDgEsZJQC2bMv69nchSaqcacfbRuWKCvI29DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cb2db87d8a66a3c9ec1a34fd9ff1c158fbb78f9dc0d17dab9d9c80e8168f8337","last_reissued_at":"2026-07-05T06:09:10.732346Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:09:10.732346Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Synthesizing Conjunctive Queries for Code Search","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.PL","authors_text":"Charles Zhang, Chengpeng Wang, Gang Fan, Peisen Yao, Wensheng Tang","submitted_at":"2023-05-07T15:54:10Z","abstract_excerpt":"This paper presents Squid, a new conjunctive query synthesis algorithm for searching code with target patterns. Given positive and negative examples along with a natural language description, Squid analyzes the relations derived from the examples by a Datalog-based program analyzer and synthesizes a conjunctive query expressing the search intent. The synthesized query can be further used to search for desired grammatical constructs in the editor. To achieve high efficiency, we prune the huge search space by removing unnecessary relations and enumerating query candidates via refinement. We also"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2305.04316","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2305.04316/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"2305.04316","created_at":"2026-07-05T06:09:10.732416+00:00"},{"alias_kind":"arxiv_version","alias_value":"2305.04316v2","created_at":"2026-07-05T06:09:10.732416+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2305.04316","created_at":"2026-07-05T06:09:10.732416+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZMW3Q7MKM2R4","created_at":"2026-07-05T06:09:10.732416+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZMW3Q7MKM2R4T3A2","created_at":"2026-07-05T06:09:10.732416+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZMW3Q7MK","created_at":"2026-07-05T06:09:10.732416+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/ZMW3Q7MKM2R4T3A2GT6Z74OBLD","json":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD.json","graph_json":"https://pith.science/api/pith-number/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/graph.json","events_json":"https://pith.science/api/pith-number/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/events.json","paper":"https://pith.science/paper/ZMW3Q7MK"},"agent_actions":{"view_html":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD","download_json":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD.json","view_paper":"https://pith.science/paper/ZMW3Q7MK","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2305.04316&json=true","fetch_graph":"https://pith.science/api/pith-number/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/graph.json","fetch_events":"https://pith.science/api/pith-number/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/action/storage_attestation","attest_author":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/action/author_attestation","sign_citation":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/action/citation_signature","submit_replication":"https://pith.science/pith/ZMW3Q7MKM2R4T3A2GT6Z74OBLD/action/replication_record"}},"created_at":"2026-07-05T06:09:10.732416+00:00","updated_at":"2026-07-05T06:09:10.732416+00:00"}