Reqomp: non calcolo in vincoli spaziali per circuiti quantistici

, Anouk Paradis, Benjamin Bichsel, Samuel Steffen e Martin Vechev. “Unqomp: sintetizzare la non computazione nei circuiti quantistici”. Negli atti della 42a conferenza internazionale ACM SIGPLAN sulla progettazione e implementazione del linguaggio di programmazione. Pagine 222–236. Association for Computing Machinery, New York, NY, USA (2021).
https: / / doi.org/ 10.1145 / 3453483.3454040 mila

, Yongshan Ding, Xin-Chuan Wu, Adam Holmes, Ash Wiseth, Diana Franklin, Margaret Martonosi e Frederic T. Chong. "Square: riutilizzo strategico di ancilla quantistiche per programmi quantistici modulari tramite non calcolo economicamente vantaggioso". Nel 2020 ACM/​IEEE 47° Simposio internazionale annuale sull'architettura dei computer (ISCA). Pagine 570–583. IEEE (2020).
https://​/​doi.org/​10.1109/​ISCA45697.2020.00054

, Benjamin Bichsel, Maximilian Baader, Timon Gehr e Martin Vechev. "Silq: un linguaggio quantistico di alto livello con non computazione sicura e semantica intuitiva". Negli atti della 41a conferenza ACM SIGPLAN sulla progettazione e implementazione del linguaggio di programmazione. Pagine 286–300. PLDI 2020New York, NY, Stati Uniti (2020). Associazione per le macchine informatiche.
https: / / doi.org/ 10.1145 / 3385412.3386007 mila

, Robert Rand, Jennifer Paykin, Dong-Ho Lee e Steve Zdancewic. "ReQWIRE: ragionamento sui circuiti quantistici reversibili". Atti elettronici in informatica teorica 287, 299–312 (2019).
https: / / doi.org/ 10.4204 / EPTCS.287.17

, Emanuele Knill. “Un'analisi del gioco dei ciottoli di Bennett”. Rapporto tecnico arXiv:math/​9508218. arXiv (1995).
https://​/​doi.org/​10.48550/​arXiv.math/​9508218
arXiv: math / 9508218

, Siu Man Chan, Massimo Lauria, Jakob Nordstrom e Marc Vinyals. "Durezza dell'approssimazione in pspazio e risultati di separazione per giochi di ciottoli". Nel 2015 IEEE 56th Annual Symposium on Foundations of Computer Science. Pagine 466–485. (2015).
https: / / doi.org/ 10.1109 / focs.2015.36

, Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger e Benoît Valiron. "Quipper: un linguaggio di programmazione quantistica scalabile". Negli atti della 34a conferenza ACM SIGPLAN sulla progettazione e implementazione del linguaggio di programmazione. Pagina 333–342. PLDI '13New York, NY, Stati Uniti (2013). Associazione per le macchine informatiche.
https: / / doi.org/ 10.1145 / 2491956.2462177 mila

, Alex Parent, Martin Roetteler e Krysta M. Svore. “Compilazione di circuiti reversibili con vincoli di spazio”. Relazione tecnica arXiv:1510.00377. arXiv (2015).
https://​/​doi.org/​10.48550/​arXiv.1510.00377
arXiv: 1510.00377

, Alex Parent, Martin Roetteler e Krysta M. Svore. "REVS: uno strumento per la sintesi di circuiti reversibili ottimizzati per lo spazio". In Iain Phillips e Hafizur Rahaman, editori, Reversible Computation. Pagine 90–101. Appunti delle lezioni di InformaticaCham (2017). Pubblicazione internazionale di Springer.
https:/​/​doi.org/​10.1007/​978-3-319-59936-6_7

, Debjyoti Bhattacharjee, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay e Giovanni De Micheli. "Giochi di ciottoli reversibili per ridurre i qubit nella sintesi di circuiti quantistici gerarchici". Nel 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL). Pagine 102–107. (2019).
https://​/​doi.org/​10.1109/​ISMVL.2019.00026

, Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjorner e Giovanni De Micheli. “Gioco di ciottoli reversibili per la gestione della memoria quantistica”. Nel 2019 Design, Automation & Test in Europe Conference & Exhibition (DATA). Pagine 288–291. IEEE (2019).
https://​/​doi.org/​10.23919/​date.2019.8715092

, Charles H. Bennet. "Compromessi tempo/spazio per il calcolo reversibile". SIAM Journal on Computing 18, 766–776 (1989).
https: / / doi.org/ 10.1137 / 0218053 mila

, Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz e Martin Roetteler. "Q#: Abilitazione dell'informatica quantistica scalabile e dello sviluppo con una DSL di alto livello". In Atti del workshop sui linguaggi specifici dei domini del mondo reale 2018. RWDSL2018New York, NY, USA (2018). Associazione per le macchine informatiche.
https: / / doi.org/ 10.1145 / 3183895.3183901 mila

, Matthew Amy, Martin Roetteler e Krysta M. Svore. "Compilazione verificata di circuiti reversibili efficienti in termini di spazio". In Rupak Majumdar e Viktor Kunčak, redattori di Computer Aided Verification. Volume 10427, pagine 3–21. Springer International Publishing, Cham (2017).
https:/​/​doi.org/​10.1007/​978-3-319-63390-9_1