[PLDI'23] Synthesizing Quantum-Circuit Optimizers | ACM SIGPLAN | Podwise