Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

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