On the Need for Extensible Quantum Compilers with Verification
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2024
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866913253256331264 |
|---|---|
| author | LeBlond, Tyler Xiao, Xiao Dumitrescu, Eugene Bennink, Ryan Paler, Alexandru |
| author_facet | LeBlond, Tyler Xiao, Xiao Dumitrescu, Eugene Bennink, Ryan Paler, Alexandru |
| contents | In this position paper, we posit that a major Department of Energy (DOE)-funded open-source quantum compilation platform is needed to facilitate: (a) resource optimization at the fault-tolerant layer of the quantum computing software stack, and (b) co-design of that layer of the stack with other layers, and that this platform needs to be extensible and include verification. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2403_02091 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On the Need for Extensible Quantum Compilers with Verification LeBlond, Tyler Xiao, Xiao Dumitrescu, Eugene Bennink, Ryan Paler, Alexandru Quantum Physics In this position paper, we posit that a major Department of Energy (DOE)-funded open-source quantum compilation platform is needed to facilitate: (a) resource optimization at the fault-tolerant layer of the quantum computing software stack, and (b) co-design of that layer of the stack with other layers, and that this platform needs to be extensible and include verification. |
| title | On the Need for Extensible Quantum Compilers with Verification |
| topic | Quantum Physics |
| url | https://arxiv.org/abs/2403.02091 |