Tools to Design Algorithms for Implementing Control Over Quantum Computers. - Shilpa Narasimhan; Jihan Abou Halloun; Kip Nieman; Helen Durand (ACC, 2025)