Quantum at POPL 2022

Jan 20, 2022 10:20 AM — 12:00 PM
Remote and Philadelphia, PA, USA

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

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

Screenshot of the four POPL papers on this site

PhD Student

Design and Verification of Programming Languages for realistic Quantum Computing.