Quantum at POPL 2022

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

• Quantum Information Effects by Robin Kaarsgaard, Chris Heunen
• Twist: Sound Reasoning for Purity and Entanglement in Quantum Programs by Charles Yuan, Christopher McNally, Michael Carbin
• Quantum Separation Logic: A Framework for Local Reasoning of Quantum Programs by Xuan-Bach Le, Jun Sun, Shang-Wei Lin, David Sanan
• Semantics for Variational Quantum Programming by Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev

All of these papers have been added to bibliography including their appendices and expanded versions for your convenience: