Program Synthesis for Performance Optimizations - Liu, Zhengyang (ProQuest Dissertations and Theses, 2025)