Quantum at OOPSLA 2022

There are four quantum PL and verification related papers being presented at OOPSLA 2022:

• Bugs in Quantum Computing Platforms: An Empirical Study by Matteo Paltenghi, Michael Pradel
• Tower: Data Structures in Quantum Superposition by Charles Yuan, Michael Carbin
• Verified Compilation of Quantum Oracles by Liyi Li, Finn Voichick, Kesha Hietala, Yuxiang Peng, Xiaodi Wu, Michael Hicks
• On Incorrectness Logic for Quantum Programs by Peng Yan, Hanru Jiang, Nengkun Yu

All of these papers are available through the bibliography.