nLab Valentin Perrelle

• dl.acm page

Selected writings

On dynamic lifting (of quantum measurement-results) in quantum programming/quantum computing:

• Dongho Lee, Sebastien Bardin, Valentin Perrelle, Benoît Valiron, Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control, talk at Journées Informatique Quantique 2019 (Nov 2019) [pdf, pdf]

• Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu, Concrete Categorical Model of a Quantum Circuit Description Language with Measurement, Leibniz International Proceedings in Informatics 213 (2021) 51:1-51:20 [arXiv:2110.02691, doi:10.4230/LIPIcs.FSTTCS.2021.51]

On formal quantum circuit software verification via QBricks:

• Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoit Valiron: A Deductive Verification Framework for Circuit-building Quantum Programs, in: Programming Languages and Systems. ESOP 2021, Lecture Notes in Computer Science 12648, Springer (2021) [doi:10.1007/978-3-030-72019-3_6, arXiv:2003.05841, pdf]

category: people