Reqomp: Descomputação com restrição de espaço para circuitos quânticos

[1] Anouk Paradis, Benjamin Bichsel, Samuel Steffen e Martin Vechev. “Unqomp: sintetizando descomputação em circuitos quânticos”. Nos Anais da 42ª Conferência Internacional ACM SIGPLAN sobre Design e Implementação de Linguagens de Programação. Páginas 222–236. Association for Computing Machinery, Nova York, NY, EUA (2021).
https: / / doi.org/ 10.1145 / 3453483.3454040

[2] Yongshan Ding, Xin-Chuan Wu, Adam Holmes, Ash Wiseth, Diana Franklin, Margaret Martonosi e Frederic T. Chong. “Square: Reutilização quântica ancilla estratégica para programas quânticos modulares por meio de descomputação econômica”. Em 2020, ACM/​IEEE 47º Simpósio Internacional Anual de Arquitetura de Computadores (ISCA). Páginas 570–583. IEEE (2020).
https://​/​doi.org/​10.1109/​ISCA45697.2020.00054

[3] Benjamin Bichsel, Maximilian Baader, Timon Gehr e Martin Vechev. “Silq: uma linguagem quântica de alto nível com descomputação segura e semântica intuitiva”. Nos Anais da 41ª Conferência ACM SIGPLAN sobre Design e Implementação de Linguagem de Programação. Páginas 286–300. PLDI 2020Nova York, NY, EUA (2020). Associação de Máquinas de Computação.
https: / / doi.org/ 10.1145 / 3385412.3386007

[4] Robert Rand, Jennifer Paykin, Dong-Ho Lee e Steve Zdancewic. “ReQWIRE: Raciocínio sobre Circuitos Quânticos Reversíveis”. Procedimentos Eletrônicos em Ciência da Computação Teórica 287, 299–312 (2019).
https: / / doi.org/ 10.4204 / EPTCS.287.17

[5] Emanuel Knill. “Uma análise do jogo de pedras de Bennett”. Relatório Técnico arXiv:math/​9508218. arXiv (1995).
https://​/​doi.org/​10.48550/​arXiv.math/​9508218
arXiv: math / 9508218

[6] Siu Man Chan, Massimo Lauria, Jakob Nordstrom e Marc Vinyals. “Dureza de aproximação em pspace e resultados de separação para jogos de pebble”. Em 2015, 56º Simpósio Anual do IEEE sobre Fundamentos da Ciência da Computação. Páginas 466–485. (2015).
https: / / doi.org/ 10.1109 / focs.2015.36

[7] Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger e Benoît Valiron. “Quipper: Uma linguagem de programação quântica escalável”. Nos Anais da 34ª Conferência ACM SIGPLAN sobre Design e Implementação de Linguagens de Programação. Página 333–342. PLDI '13Nova York, NY, EUA (2013). Associação de Máquinas de Computação.
https: / / doi.org/ 10.1145 / 2491956.2462177

[8] Alex Parent, Martin Roetteler e Krysta M. Svore. “Compilação de circuito reversível com restrições de espaço”. Relatório Técnico arXiv:1510.00377. arXiv (2015).
https://​/​doi.org/​10.48550/​arXiv.1510.00377
arXiv: 1510.00377

[9] Alex Parent, Martin Roetteler e Krysta M. Svore. “REVS: Uma ferramenta para síntese de circuitos reversíveis com otimização de espaço”. Em Iain Phillips e Hafizur Rahaman, editores, Reversible Computation. Páginas 90–101. Notas de aula em Ciência da ComputaçãoCham (2017). Publicação Internacional Springer.
https:/​/​doi.org/​10.1007/​978-3-319-59936-6_7

[10] Debjyoti Bhattacharjee, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay e Giovanni De Micheli. “Jogos de Pebble Reversíveis para Redução de Qubits na Síntese de Circuitos Quânticos Hierárquicos”. Em 2019, 49º Simpósio Internacional IEEE sobre Lógica de Valores Múltiplos (ISMVL). Páginas 102–107. (2019).
https://​/​doi.org/​10.1109/​ISMVL.2019.00026

[11] Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjorner e Giovanni De Micheli. “Jogo de pebbling reversível para gerenciamento de memória quântica”. Em 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). Páginas 288–291. IEEE (2019).
https://​/​doi.org/​10.23919/​date.2019.8715092

[12] Charles H. Bennett. “Compensações de tempo/espaço para computação reversível”. SIAM Journal on Computing 18, 766–776 (1989).
https: / / doi.org/ 10.1137 / 0218053

[13] Krysta Svore, Alan Geller, Matthias Troyer, John Azariah, Christopher Granade, Bettina Heim, Vadym Kliuchnikov, Mariia Mykhailova, Andres Paz e Martin Roetteler. “P#: Habilitando computação quântica escalável e desenvolvimento com um DSL de alto nível”. Em Anais do Workshop de Línguas Específicas de Domínio do Mundo Real 2018. RWDSL2018Nova York, NY, EUA (2018). Associação de Máquinas de Computação.
https: / / doi.org/ 10.1145 / 3183895.3183901

[14] Matthew Amy, Martin Roetteler e Krysta M. Svore. “Compilação verificada de circuitos reversíveis com eficiência de espaço”. Em Rupak Majumdar e Viktor Kunčak, editores, Computer Aided Verification. Volume 10427, páginas 3–21. Publicação Internacional Springer, Cham (2017).
https:/​/​doi.org/​10.1007/​978-3-319-63390-9_1