Reqomp : non-calcul limité dans l'espace pour les circuits quantiques

Anouk Paradis, Benjamin Bichsel, Samuel Steffen et Martin Vechev. "Unqomp : synthétiser le non-calcul dans les circuits quantiques". Dans les actes de la 42e conférence internationale ACM SIGPLAN sur la conception et la mise en œuvre des langages de programmation. Pages 222 à 236. Association for Computing Machinery, New York, NY, États-Unis (2021).
https: / / doi.org/ 10.1145 / 3453483.3454040

Yongshan Ding, Xin-Chuan Wu, Adam Holmes, Ash Wiseth, Diana Franklin, Margaret Martonosi et Frederic T. Chong. « Square : réutilisation stratégique quantique auxiliaire pour les programmes quantiques modulaires via un non-calcul rentable ». En 2020, le 47e Symposium international annuel ACM/​IEEE sur l'architecture informatique (ISCA). Pages 570 à 583. IEEE (2020).
https://​/​doi.org/​10.1109/​ISCA45697.2020.00054

Benjamin Bichsel, Maximilian Baader, Timon Gehr et Martin Vechev. "Silq : un langage quantique de haut niveau avec un calcul sécurisé et une sémantique intuitive". Dans les actes de la 41e conférence ACM SIGPLAN sur la conception et la mise en œuvre des langages de programmation. Pages 286 à 300. PLDI 2020New York, NY, États-Unis (2020). Association pour les machines informatiques.
https: / / doi.org/ 10.1145 / 3385412.3386007

Robert Rand, Jennifer Paykin, Dong-Ho Lee et Steve Zdancewic. "ReQWIRE : Raisonnement sur les circuits quantiques réversibles". Actes électroniques en informatique théorique 287, 299-312 (2019).
https: / / doi.org/ 10.4204 / EPTCS.287.17

Emmanuel Knill. "Une analyse du jeu de cailloux de Bennett". Rapport technique arXiv:math/​9508218. arXiv (1995).
https://​/​doi.org/​10.48550/​arXiv.math/​9508218
arXiv: math / 9508218

Siu Man Chan, Massimo Lauria, Jakob Nordstrom et Marc Vinyals. "Dureté d'approximation dans pspace et résultats de séparation pour les jeux de cailloux". En 2015, 56e symposium annuel de l'IEEE sur les fondements de l'informatique. Pages 466 à 485. (2015).
https: / / doi.org/ 10.1109 / focs.2015.36

Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger et Benoît Valiron. « Quipper : Un langage de programmation quantique évolutif ». Dans les actes de la 34e conférence ACM SIGPLAN sur la conception et la mise en œuvre des langages de programmation. Pages 333 à 342. PLDI '13New York, NY, États-Unis (2013). Association pour les machines informatiques.
https: / / doi.org/ 10.1145 / 2491956.2462177

Alex Parent, Martin Roetteler et Krysta M. Svore. « Compilation de circuits réversibles avec contraintes d'espace ». Rapport technique arXiv : 1510.00377. arXiv (2015).
https://​/​doi.org/​10.48550/​arXiv.1510.00377
arXiv: 1510.00377

Alex Parent, Martin Roetteler et Krysta M. Svore. "REVS : un outil pour la synthèse de circuits réversibles optimisés dans l'espace". Dans Iain Phillips et Hafizur Rahaman, éditeurs, Reversible Computation. Pages 90 à 101. Notes de cours en informatiqueCham (2017). Éditions internationales Springer.
https:/​/​doi.org/​10.1007/​978-3-319-59936-6_7

Debjyoti Bhattacharjee, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay et Giovanni De Micheli. "Jeux de galets réversibles pour réduire les qubits dans la synthèse de circuits quantiques hiérarchiques". En 2019, 49e Symposium international de l'IEEE sur la logique à valeurs multiples (ISMVL). Pages 102 à 107. (2019).
https://​/​doi.org/​10.1109/​ISMVL.2019.00026

Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjorner et Giovanni De Micheli. "Jeu de cailloux réversibles pour la gestion de la mémoire quantique". En 2019 Conférence et exposition sur le design, l'automatisation et les tests en Europe (DATE). Pages 288 à 291. IEEE (2019).
https://​/​doi.org/​10.23919/​date.2019.8715092

Charles H. Bennett. « Compromis temps/​espace pour le calcul réversible ». Journal SIAM sur l'informatique 18, 766-776 (1989).
https: / / doi.org/ 10.1137 / 0218053

Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz et Martin Roetteler. « Q# : Permettre l'informatique quantique et le développement évolutifs avec un DSL de haut niveau ». Dans Actes de l'atelier sur les langages spécifiques à un domaine du monde réel 2018. RWDSL2018New York, NY, États-Unis (2018). Association pour les machines informatiques.
https: / / doi.org/ 10.1145 / 3183895.3183901

Matthew Amy, Martin Roetteler et Krysta M. Svore. « Compilation vérifiée de circuits réversibles économes en espace ». Dans Rupak Majumdar et Viktor Kunčak, éditeurs, Vérification assistée par ordinateur. Volume 10427, pages 3 à 21. Springer International Publishing, Cham (2017).
https:/​/​doi.org/​10.1007/​978-3-319-63390-9_1