Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Constraint-based Compilation for Noisy Intermediate-Scale Quantum Systems., , , and . CoRR, (2019)Compilation flow for classically defined quantum operations., , and . DATE, page 964-967. IEEE, (2021)Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers., , , , and . CoRR, (2022)Giallar: push-button verification for the qiskit Quantum compiler., , , , , , , and . PLDI, page 641-656. ACM, (2022)CaQR: A Compiler-Assisted Approach for Qubit Reuse through Dynamic Circuit., , , , , , , , and . ASPLOS (3), page 59-71. ACM, (2023)Navigating the Dynamic Noise Landscape of Variational Quantum Algorithms with QISMET., , , , , , , and . ASPLOS (2), page 515-529. ACM, (2023)Quancorde: Boosting fidelity with Quantum Canary Ordered Diverse Ensembles., , , , , and . ICRC, page 66-77. IEEE, (2022)Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers., , , and . ASPLOS, page 1001-1016. ACM, (2020)ASPLOS 2020 was canceled because of COVID-19..Challenges and Opportunities of Near-Term Quantum Computing Systems., , , , , , , , and . Proc. IEEE, 108 (8): 1338-1352 (2020)Optimizing quantum circuit synthesis for permutations using recursion., , , , and . DAC, page 7-12. ACM, (2022)