{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:TCNYBQ7WV22AQKPN6BNFOKC4ID","short_pith_number":"pith:TCNYBQ7W","schema_version":"1.0","canonical_sha256":"989b80c3f6aeb40829edf05a57285c40c27777e7c913fa12af1dd59eaebfa17d","source":{"kind":"arxiv","id":"2501.13262","version":1},"attestation_state":"computed","paper":{"title":"ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"quant-ph","authors_text":"Anthony M. Cabrera, Arjun S. Bhamra, Austin J. Adams, Cameron C. Hoechst, Jeffrey S. Young, Ryan R. Abusaada, Sharjeel Khan, Thomas M. Conte, Travis S. Humble","submitted_at":"2025-01-22T22:54:13Z","abstract_excerpt":"Qwerty is a high-level quantum programming language built on bases and functions rather than circuits. This new paradigm introduces new challenges in compilation, namely synthesizing circuits from basis translations and automatically specializing adjoint or predicated forms of functions. This paper presents ASDF, an open-source compiler for Qwerty that answers these challenges in compiling basis-oriented languages. Enabled with a novel high-level quantum IR implemented in the MLIR framework, our compiler produces OpenQASM 3 or QIR for either simulation or execution on hardware. Our compiler is"},"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":"2501.13262","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2025-01-22T22:54:13Z","cross_cats_sorted":["cs.PL"],"title_canon_sha256":"dd9f0d23b86dba236e8243a5396bff55f1cb653cc77dd116772bee3f061ab09c","abstract_canon_sha256":"56951daa27d4bafa4b82f68fdbeb3fa9d857859873e34dfedc2538d6a2599525"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:04:25.861931Z","signature_b64":"YKT5Y0K310R9nLv7TcLPQTqUsilEDMyu7YAMWfqAQZVEaNWvwof6yww86ZaHaEH8QmC0HQBvnx248PNL38iuDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"989b80c3f6aeb40829edf05a57285c40c27777e7c913fa12af1dd59eaebfa17d","last_reissued_at":"2026-07-05T10:04:25.861510Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:04:25.861510Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.PL"],"primary_cat":"quant-ph","authors_text":"Anthony M. Cabrera, Arjun S. Bhamra, Austin J. Adams, Cameron C. Hoechst, Jeffrey S. Young, Ryan R. Abusaada, Sharjeel Khan, Thomas M. Conte, Travis S. Humble","submitted_at":"2025-01-22T22:54:13Z","abstract_excerpt":"Qwerty is a high-level quantum programming language built on bases and functions rather than circuits. This new paradigm introduces new challenges in compilation, namely synthesizing circuits from basis translations and automatically specializing adjoint or predicated forms of functions. This paper presents ASDF, an open-source compiler for Qwerty that answers these challenges in compiling basis-oriented languages. Enabled with a novel high-level quantum IR implemented in the MLIR framework, our compiler produces OpenQASM 3 or QIR for either simulation or execution on hardware. Our compiler is"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.13262","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2501.13262/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":"2501.13262","created_at":"2026-07-05T10:04:25.861570+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.13262v1","created_at":"2026-07-05T10:04:25.861570+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.13262","created_at":"2026-07-05T10:04:25.861570+00:00"},{"alias_kind":"pith_short_12","alias_value":"TCNYBQ7WV22A","created_at":"2026-07-05T10:04:25.861570+00:00"},{"alias_kind":"pith_short_16","alias_value":"TCNYBQ7WV22AQKPN","created_at":"2026-07-05T10:04:25.861570+00:00"},{"alias_kind":"pith_short_8","alias_value":"TCNYBQ7W","created_at":"2026-07-05T10:04:25.861570+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/TCNYBQ7WV22AQKPN6BNFOKC4ID","json":"https://pith.science/pith/TCNYBQ7WV22AQKPN6BNFOKC4ID.json","graph_json":"https://pith.science/api/pith-number/TCNYBQ7WV22AQKPN6BNFOKC4ID/graph.json","events_json":"https://pith.science/api/pith-number/TCNYBQ7WV22AQKPN6BNFOKC4ID/events.json","paper":"https://pith.science/paper/TCNYBQ7W"},"agent_actions":{"view_html":"https://pith.science/pith/TCNYBQ7WV22AQKPN6BNFOKC4ID","download_json":"https://pith.science/pith/TCNYBQ7WV22AQKPN6BNFOKC4ID.json","view_paper":"https://pith.science/paper/TCNYBQ7W","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.13262&json=true","fetch_graph":"https://pith.science/api/pith-number/TCNYBQ7WV22AQKPN6BNFOKC4ID/graph.json","fetch_events":"https://pith.science/api/pith-number/TCNYBQ7WV22AQKPN6BNFOKC4ID/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TCNYBQ7WV22AQKPN6BNFOKC4ID/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TCNYBQ7WV22AQKPN6BNFOKC4ID/action/storage_attestation","attest_author":"https://pith.science/pith/TCNYBQ7WV22AQKPN6BNFOKC4ID/action/author_attestation","sign_citation":"https://pith.science/pith/TCNYBQ7WV22AQKPN6BNFOKC4ID/action/citation_signature","submit_replication":"https://pith.science/pith/TCNYBQ7WV22AQKPN6BNFOKC4ID/action/replication_record"}},"created_at":"2026-07-05T10:04:25.861570+00:00","updated_at":"2026-07-05T10:04:25.861570+00:00"}