Quantum Circuit Synthesis from C via Multi-Level Intermediate Representation. - Giacomo Lancellotti; Francesco Rosnati; Leonardo Ignazio Pagliochini; Giovanni Agosta (SAC, 2026)