[PLDI24] Compilation of Qubit Circuits to Optimized Qutrit Circuits | ACM SIGPLAN | Podwise