Program Synthesis for Quantum Applications - Deng, Haowei (ProQuest Dissertations and Theses, 2025)