Giulia Meuli

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 13

Top Topics

Quantum Inspired

Memory Management

Optimization Methods

Boolean Functions

Top Venues

Proc. ACM Program. Lang.

Publications

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
Majority-based Design Flow for AQFP Superconducting Family. DATE (2022)
Bruno Schmitt, Fereshte Mozafari, Giulia Meuli, Heinz Riener, Giovanni De Micheli
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++. DATE (2021)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
Enumerating Optimal Quantum Circuits using Spectral Classification. ISCAS (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
Automatic accuracy management of quantum programs via (near-)symbolic resource estimation. CoRR (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Thomas Häner
Enabling accuracy-aware Quantum compilers using symbolic resource estimation. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits. ICCAD (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. QPL (2019)
Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits. CoRR (2019)
Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. RC (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
Reversible Pebbling Game for Quantum Memory Management. CoRR (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
Reversible Pebbling Game for Quantum Memory Management. DATE (2019)
Giulia Meuli, Mathias Soeken, Giovanni De Micheli
SAT-based {CNOT, T} Quantum Circuit Synthesis. RC (2018)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis. ASP-DAC (2018)