Publications HAL

2025

Conference papers

auteur
Claudia Faggian, Gaetan Lopez, Benoît Valiron
titre
A Rewriting Theory for Quantum λ-Calculus
article
CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. pp.47:1--47:22, ⟨10.4230/LIPICS.CSL.2025.47⟩
Accès au texte intégral et bibtex
https://hal.science/hal-05006039/file/LIPIcs.CSL.2025.47.pdf BibTex

Preprints, Working Papers, ...

auteur
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
titre
The Many-Worlds Calculus
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-03654190/file/MW.pdf BibTex
auteur
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
titre
A Curry-Howard Correspondence for Linear, Reversible Computation
article
2025
Accès au texte intégral et bibtex
https://hal.science/hal-03747425/file/CH.pdf BibTex

2024

Conference papers

auteur
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
titre
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
article
FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.19:1-19:19, ⟨10.4230/LIPIcs.FSCD.2024.19⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04636603/file/LIPIcs.FSCD.2024.19.pdf BibTex
auteur
Benoît Valiron, Marc de Visme, Vitor Fernandes
titre
Non-deterministic, probabilistic, and quantum effects through the lens of event structures
article
The 22nd Asian Symposium on Programming Languages and Systems, Oct 2024, Kyoto, Japan
Accès au bibtex
BibTex

Habilitation à diriger des recherches

auteur
Benoît Valiron
titre
On Quantum Programming Languages
article
Computer Science [cs]. Université Paris Saclay, 2024
Accès au texte intégral et bibtex
https://theses.hal.science/tel-04740855/file/hdr-latex.pdf BibTex

2023

Journal articles

auteur
Théodore Chapuis-Chkaiban, Zeno Toffano, Benoît Valiron
titre
On new PageRank computation methods using quantum computing
article
Quantum Information Processing, 2023, 22 (3), pp.138. ⟨10.1007/s11128-023-03856-y⟩
Accès au bibtex
BibTex
auteur
Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron
titre
Addressable quantum gates
article
ACM Transactions on Quantum Computing, 2023, 4 (3), pp.1-41. ⟨10.1145/3581760⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03936367/file/2109.08050v2.pdf BibTex
auteur
Nicolas Heurtel, Andreas Fyrillas, Grégoire De Gliniasty, Raphaël Le Bihan, Sébastien Malherbe, Marceau Pailhas, Eric Bertasi, Boris Bourdoncle, Pierre-Emmanuel Emeriau, Rawad Mezher, Luka Music, Nadia Belabas, Benoît Valiron, Pascale Senellart, Shane Mansfield, Jean Senellart
titre
Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing
article
Quantum, 2023, 7, pp.931. ⟨10.22331/q-2023-02-21-931⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03874624/file/q-2023-02-21-931.pdf BibTex

Conference papers

auteur
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
titre
A Complete Equational Theory for Quantum Circuits
article
18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), Jul 2023, Aveiro, Portugal
Accès au bibtex
BibTex
auteur
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
titre
A Curry-Howard Correspondence for Linear, Reversible Computation
article
CSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Bartek Klin and Elaine Pimentel, Feb 2023, Varsovie (Warsaw), Poland. ⟨10.4230/LIPIcs.CSL.2023.13⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04308283/file/main.pdf BibTex
auteur
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
titre
A Complete Equational Theory for Quantum Circuits
article
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03926757/file/2206.10577.pdf BibTex

Book sections

auteur
Christophe Chareton, Sébastien Bardin, Dong Ho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
titre
Formal Methods for Quantum Algorithms
article
Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656. ⟨10.1201/9781003090052-7⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-04479879/file/main.pdf BibTex

Proceedings

auteur
Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev
titre
Proceedings 20th International Conference on Quantum Physics and Logic
article
QPL 2023 - Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, 384, 2023, ⟨10.4204/EPTCS.384⟩
Accès au bibtex
https://arxiv.org/pdf/2308.15489 BibTex

2022

Journal articles

auteur
Benoît Valiron
titre
Semantics of quantum programming languages: Classical control, quantum control
article
Journal of Logical and Algebraic Methods in Programming, 2022, 128, pp.100790. ⟨10.1016/j.jlamp.2022.100790⟩
Accès au bibtex
BibTex
auteur
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
titre
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures
article
Sci.Comput.Program., 2022, 214, pp.102726. ⟨10.1016/j.scico.2021.102726⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03547113/file/2201.06457.pdf BibTex
auteur
Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron
titre
Strong Simulation of Linear Optical Processes
article
Computer Physics Communications, 2022, 291, pp.108848. ⟨10.1016/j.cpc.2023.108848⟩
Accès au bibtex
https://arxiv.org/pdf/2206.10549 BibTex

Conference papers

auteur
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
titre
LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits
article
MFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienna, Austria. pp.35:1--35:16, ⟨10.4230/LIPIcs.MFCS.2022.35⟩
Accès au bibtex
https://arxiv.org/pdf/2204.11787 BibTex

2021

Journal articles

auteur
Timothee Goubault De Brugiere, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
titre
Reducing the depth of linear reversible quantum circuits
article
IEEE Transactions on Quantum Engineering, In press, 2, pp.3102422. ⟨10.1109/TQE.2021.3091648⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03553916/file/Reducing_the_Depth_of_Linear_Reversible_Quantum_Circuits.pdf BibTex
auteur
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
titre
Gaussian elimination versus Greedy methods for the synthesis of linear reversible circuits
article
ACM Transactions on Quantum Computing, 2021, 2 (3), pp.11. ⟨10.1145/3474226⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03547117/file/2201.06508.pdf BibTex

Conference papers

auteur
Agustín Borgna, Simon Perdrix, Benoît Valiron
titre
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus
article
APLAS 2021 - Asian Symposium on Programming Languages and Systems, Oct 2021, Chicago, United States. pp.121-139, ⟨10.1007/978-3-030-89051-3_8⟩
Accès au bibtex
https://arxiv.org/pdf/2109.06071 BibTex
auteur
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
titre
Geometry of Interaction for ZX-Diagrams
article
TLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03272411/file/TLLA_2021_paper_2.pdf BibTex
auteur
Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
titre
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement
article
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), 2021, Online, India. pp.51:1--51:20, ⟨10.4230/LIPIcs.FSTTCS.2021.51⟩
Accès au bibtex
https://arxiv.org/pdf/2110.02691 BibTex
auteur
Benoît Valiron, Kostia Chardonnet, Louis Lemonnier
titre
Categorical Semantics of Reversible Pattern-Matching
article
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021, Salzburg, Austria. pp.18-33, ⟨10.4204/EPTCS.351.2⟩
Accès au bibtex
https://arxiv.org/pdf/2109.05837 BibTex
auteur
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
titre
Geometry of Interaction for ZX-Diagrams
article
MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.30:1--30:16, ⟨10.4230/LIPIcs.MFCS.2021.30⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03154573/file/Geometry%20of%20Interaction%20for%20ZX-Diagrams.pdf BibTex
auteur
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
titre
Towards a Curry-Howard Correspondence for Linear, Reversible Computation
article
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Accès au texte intégral et bibtex
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271484/file/TLLA_2021_paper_7.pdf BibTex

Proceedings

auteur
Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden
titre
Proceedings 17th International Conference on Quantum Physics and Logic
article
Electronic Proceedings in Theoretical Computer Science, 340, 2021, ⟨10.4204/EPTCS.340⟩
Accès au bibtex
https://arxiv.org/pdf/2109.01534 BibTex

2020

Journal articles

auteur
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche
titre
Quantum circuits synthesis using Householder transformations
article
Computer Physics Communications, 2020, 248, pp.107001. ⟨10.1016/j.cpc.2019.107001⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02545123/file/Householder_arxiv.pdf BibTex

Conference papers

auteur
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
titre
On the Semantics of Polychronous Polytimed Specifications
article
18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02931403/file/article.pdf BibTex
auteur
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
titre
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem
article
Reversible Computation, Jul 2020, Oslo, Norway. ⟨10.1007/978-3-030-52482-1_11⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04349410/file/syndrome.pdf BibTex
auteur
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
titre
Toward a Curry-Howard Equivalence for Linear, Reversible Computation
article
RC 2020 - 12th international conference on Reversible Computation, Jul 2020, Oslo / Virtual, Norway. pp.144-152, ⟨10.1007/978-3-030-52482-1_8⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03103455/file/main.pdf BibTex

2019

Conference papers

auteur
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
titre
Realizability in the Unitary Sphere
article
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Jun 2019, Vancouver, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-02175168/file/paper.pdf BibTex
auteur
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perelle, Benoît Valiron
titre
Qbricks, un environnement pour la vérification formelle en informatique quantique *
article
18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
Accès au texte intégral et bibtex
https://hal.science/hal-02175079/file/Qbrick_AFADL.pdf BibTex
auteur
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche
titre
Synthesizing Quantum Circuits via Numerical Optimization
article
19th International Conference in Computational Science - ICCS 2019, Jun 2019, Faro, Portugal. pp.3-16, ⟨10.1007/978-3-030-22741-8_1⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02174967/file/nopt_qc.pdf BibTex

2018

Journal articles

auteur
Benoît Valiron
titre
A Formal Analysis of Quantum Algorithms
article
ERCIM News, 2018, 112, pp.23-24
Accès au bibtex
BibTex

Conference papers

auteur
Sébastien Bardin, François Bobot, Valentin Perelle, Christophe Chareton, Benoît Valiron
titre
Toward certified quantum programming
article
2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Accès au texte intégral et bibtex
https://hal.science/hal-02175112/file/Qbrick%20IWQC.pdf BibTex
auteur
Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
titre
From Symmetric Pattern-Matching to Quantum Control
article
21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Apr 2018, Thessalonique, Greece
Accès au texte intégral et bibtex
https://hal.science/hal-01763568/file/fossacs-final.pdf BibTex
auteur
Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Benoît Valiron, Safouan Taha
titre
A time synchronization protocol for A664-P7
article
Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01890134/file/conference_041818.pdf BibTex

2017

Journal articles

auteur
Artur Scherer, Benoît Valiron, Mau Siun-Chuon, D. Scott Alexander, Eric van den Berg, Thomas Chapuran
titre
Concrete Resource Analysis of the Quantum Linear System Algorithm used to Compute the Electromagnetic Scattering Cross Section of a 2D Target
article
Quantum Information Processing, 2017, pp.16:60. ⟨10.1007/s11128-016-1495-5⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01474610/file/10.1007%252Fs11128-016-1495-5.pdf BibTex
auteur
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
titre
The vectorial λ-calculus
article
Information and Computation, 2017, 254 (1), pp.105--139. ⟨10.1016/j.ic.2017.04.001⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01785464/file/1308.1138.pdf BibTex

Conference papers

auteur
Cyril Allouche, Marc Baboulin, Timothée Goubault de Brugière, Benoît Valiron
titre
Reuse method for quantum circuit synthesis
article
International Conference: Applied Mathematics, Modeling and Computational Science (AMMCS 2017), Aug 2017, Waterloo, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-01711378/file/Proceedings.pdf BibTex
auteur
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
titre
A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing
article
15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01583815/file/article.pdf BibTex
auteur
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
titre
The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects
article
POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.833-845, ⟨10.1145/3009837.3009859⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01474620/file/main_quantum.pdf BibTex

Other publications

auteur
Benoît Valiron
titre
Programmer un ordinateur quantique
article
2017
Accès au bibtex
BibTex

2016

Conference papers

auteur
Benoît Valiron
titre
Generating reversible circuits from higher-order functional programs
article
8th International Conference on Reversible Computation (RC 2016), Jul 2016, Bologne, Italy. pp.289-306, ⟨10.1007/978-3-319-40578-0_21⟩
Accès au bibtex
https://arxiv.org/pdf/1603.08213 BibTex
auteur
Benoît Valiron, Michele Pagani, Andrew Polonski
titre
Toward analytic rewriting theory
article
Informal Electronic Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR’16), 2016, Porto, Portugal
Accès au bibtex
BibTex

2015

Journal articles

auteur
Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith
titre
Programming the quantum future
article
Communications of the ACM, 2015, 58 (8), pp.52--61. ⟨10.1145/2699415⟩
Accès au bibtex
BibTex

Conference papers

auteur
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
titre
Towards a formal semantics of the TESL specification language
article
3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Accès au texte intégral et bibtex
https://centralesupelec.hal.science/hal-01239669/file/article.pdf BibTex
auteur
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
titre
Parallelism and Synchronization in an Infinitary Context
article
LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.58⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01231813/file/main_lics.pdf BibTex

2014

Journal articles

auteur
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
titre
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
article
Logical Methods in Computer Science, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
Accès au bibtex
https://arxiv.org/pdf/1005.2897 BibTex

2011

Conference papers

auteur
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
titre
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus
article
DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩
Accès au bibtex
https://arxiv.org/pdf/1012.4032 BibTex

2010

Conference papers

auteur
Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
titre
Equivalence of algebraic λ-calculi
article
HOR - 5th International Workshop on Higher-Order Rewriting - 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11
Accès au bibtex
https://arxiv.org/pdf/1005.2897 BibTex

2008

Conference papers

auteur
Peter Selinger, Benoît Valiron
titre
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)
article
Foundation of Software Science and Computation Structures, Mar 2008, Budapest, Hungary. pp.81--96, ⟨10.1007/978-3-540-78499-9_7⟩
Accès au bibtex
https://arxiv.org/pdf/0801.0813 BibTex

Theses

auteur
Benoît Valiron
titre
Semantics for a Higher Order Functional Programming Language for Quantum Computation
article
Other [cs.OH]. University of Ottawa, 2008. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00483944/file/thesis.pdf BibTex

2005

Conference papers

auteur
Peter Selinger, Benoit Valiron
titre
A lambda calculus for quantum computation with classical control
article
Seventh International Conference on Typed Lambda Calculi and Applications, Apr 2005, Nara, Japan. pp.354--368, ⟨10.1007/11417170_26⟩
Accès au bibtex
https://arxiv.org/pdf/cs/0404056 BibTex