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

Contract-based verification of a realistic quantum compiler., , , , , , and . CoRR, (2019)Gleipnir: Toward Practical Error Analysis for Quantum Programs (Extended Version)., , , , , and . CoRR, (2021)Gleipnir: toward practical error analysis for Quantum programs., , , , , and . PLDI, page 48-64. ACM, (2021)On the Co-Design of Quantum Software and Hardware., , , , , and . NANOCOM, page 15:1-15:7. ACM, (2021)Paulihedral: a generalized block-wise compiler optimization framework for Quantum simulation kernels., , , , , and . ASPLOS, page 554-569. ACM, (2022)Partial Compilation of Variational Algorithms for Noisy Intermediate-Scale Quantum Machines., , , , , , , , and . MICRO, page 266-278. ACM, (2019)Fermihedral: On the Optimal Compilation for Fermion-to-Qubit Encoding., , , , and . CoRR, (2024)Optimized Quantum Program Execution Ordering to Mitigate Errors in Simulations of Quantum Systems., , , , , , and . CoRR, (2022)A Pulse Generation Framework with Augmented Program-aware Basis Gates and Criticality Analysis., , , , , , and . HPCA, page 773-786. IEEE, (2023)DigiQ: A Scalable Digital Controller for Quantum Computers Using SFQ Logic., , , , , , , and . HPCA, page 400-414. IEEE, (2022)