[WQS24] Dataflow-Based Optimization for QIR Programs | ACM SIGPLAN | Podwise