There are three interesting quantum PL and verification related papers being presented at PLDI 2022:
- Algebraic Reasoning of Quantum Programs via Non-Idempotent Kleene Algebra by Yuxiang Peng, Mingsheng Ying, Xiaodi Wu
- Giallar: Push-button Verification for the Qiskit Quantum Compiler by Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, Ronghui Gu
- Quartz: Superoptimization of Quantum Circuits by Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, Zhihao Jia
All of these papers are available through the bibliography.