12 citations · 16 across the 8 of their papers we have counts for
8 papers
Optimizing Quantum Compilation via High-Level Quantum Instructions
Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni +1
Current quantum programming is dominated by low-level, circuit-centric approaches that limit the potential for compiler optimization. This work presents how a high-level programmin…
Full Quantum Stack: Ket Platform
Evandro Rosa, Eduardo Lussi, Jerusa Marchi +1
As quantum computing hardware continues to scale, the need for a robust software infrastructure that bridges the gap between high-level algorithm development and low-level physical…
Quantum Gate Decomposition: A Study of Compilation Time vs. Execution Time Trade-offs
Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni +1
Similar to classical programming, high-level quantum programming languages generate code that cannot be executed directly by quantum hardware and must be compiled. However, unlike…
Automated Auxiliary Qubit Allocation in High-Level Quantum Programming
Evandro C. R. Rosa, Jerusa Marchi, Eduardo I. Duzzioni +1
We present a method for optimizing quantum circuit compilation by automating the allocation of auxiliary qubits for multi-qubit gate decompositions. This approach is implemented an…
Optimizing Gate Decomposition for High-Level Quantum Programming
Evandro C. R. Rosa, Eduardo I. Duzzioni, Rafael de Santiago
This paper presents novel methods for optimizing multi-controlled quantum gates, which naturally arise in high-level quantum programming. Our primary approach involves rewriting $U…
Programming with Quantum Mechanics
Evandro C. R. da Rosa, Claudio Lima
Quantum computing is an emerging paradigm that opens a new era for exponential computational speedup. Still, quantum computers have yet to be ready for commercial use. However, it…
Classical and Quantum Data Interaction in Programming Languages: A Runtime Architecture
Evandro Chagas Ribeiro da Rosa, Rafael de Santiago
We propose a runtime architecture that can be used in the development of a quantum programming language and its programming environment. The proposed runtime architecture enables d…
QSystem: bitwise representation for quantum circuit simulations
Evandro Chagas Ribeiro da Rosa, Bruno G. Taketani
We present QSystem, an open-source platform for the simulation of quantum circuits focused on bitwise operations on a Hashmap data structure storing quantum states and gates. QSyst…