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

Recursive Methods for Synthesizing Permutations on Limited-Connectivity Quantum Computers., , , , and . CoRR, (2022)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)Giallar: push-button verification for the qiskit Quantum compiler., , , , , , , and . PLDI, page 641-656. ACM, (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)Suppressing Correlated Noise in Quantum Computers via Context-Aware Compiling., , , , , , , and . ISCA, page 310-324. IEEE, (2024)Bosehedral: Compiler Optimization for Bosonic Quantum Computing., , , , and . ISCA, page 261-276. IEEE, (2024)Quancorde: Boosting fidelity with Quantum Canary Ordered Diverse Ensembles., , , , , and . ICRC, page 66-77. IEEE, (2022)