Giulia Meuli

14 papers A 4C 3Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Scalable Sequential Logic Synthesis Using Observability Don't Care Conditions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Dewmini Sudara Marakkalage, Eleonora Testa, Giulia Meuli, Walter Lau Neto, Alan Mishchenko, Giovanni De Micheli, Luca G. Amarù
2022 A conf
Majority-based Design Flow for AQFP Superconducting Family.
DATE
Giulia Meuli, Vinicius N. Possani, Rajinder Singh, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Patrick Vuillod, Luca G. Amarù, Scott Chase, Jamil Kawa, Giovanni De Micheli
2021 A conf
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++.
DATE
Bruno Schmitt, Fereshte Mozafari, Giulia Meuli, Heinz Riener, Giovanni De Micheli
2020 J jnl
Automatic accuracy management of quantum programs via (near-)symbolic resource estimation.
CoRR
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
2020 J jnl
Enabling accuracy-aware Quantum compilers using symbolic resource estimation.
Proc. ACM Program. Lang.
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
2020 C conf
Enumerating Optimal Quantum Circuits using Spectral Classification.
ISCAS
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
2019 C conf
Evaluating ESOP Optimization Methods in Quantum Compilation Flows.
RC
Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
2019 — conf
ROS: Resource-constrained Oracle Synthesis for Quantum Computers.
QPL
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
2019 A conf
Reversible Pebbling Game for Quantum Memory Management.
DATE
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj S. Bjørner, Giovanni De Micheli
2019 J jnl
Reversible Pebbling Game for Quantum Memory Management.
CoRR
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj S. Bjørner, Giovanni De Micheli
2019 A conf
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits.
ICCAD
Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli
2019 J jnl
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits.
CoRR
Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli
2018 — conf
A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis.
ASP-DAC
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
2018 C conf
SAT-based {CNOT, T} Quantum Circuit Synthesis.
RC
Giulia Meuli, Mathias Soeken, Giovanni De Micheli