Benoit Valiron

benoit.valiron [at] centralesupelec.fr

Mots clés :

  • méthodes formelles, logique et langages de programmation, calcul quantique

Publications :

  • Chapitre d'ouvrage - 2 documents
    • Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu. Formal Methods for Quantum Algorithms, 2023-08-01. (https://hal.science/hal-04311441)
    • Christophe Chareton, Sébastien Bardin, Dong Ho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu. Formal Methods for Quantum Algorithms, 2023. (https://cea.hal.science/cea-04479879)
  • Communication dans un congrès - 30 documents
    • Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron. A Complete Equational Theory for Quantum Circuits, 2023-07-24. (https://hal.science/hal-04318291)
    • Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron. A Complete Equational Theory for Quantum Circuits, 2023-06-26. (https://hal.science/hal-03926757)
    • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation, 2023-02-13. (https://hal.science/hal-04308283)
    • Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron. LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits, 2022-08-22. (https://hal.science/hal-03926660)
    • Agustín Borgna, Simon Perdrix, Benoît Valiron. Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus, 2021-10-17. (https://hal.science/hal-03539521)
    • Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams, 2021-08-23. (https://hal.science/hal-03154573)
    • Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams, 2021-06-27. (https://hal-lirmm.ccsd.cnrs.fr/lirmm-03272411)
    • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. Towards a Curry-Howard Correspondence for Linear, Reversible Computation, 2021-06-27. (https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271484)
    • Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu. Concrete Categorical Model of a Quantum Circuit Description Language with Measurement, 2021. (https://hal.science/hal-03553904)
    • Benoît Valiron, Kostia Chardonnet, Louis Lemonnier. Categorical Semantics of Reversible Pattern-Matching, 2021. (https://hal.science/hal-03553872)
    • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff. On the Semantics of Polychronous Polytimed Specifications, 2020-09-01. (https://hal.science/hal-02931403)
    • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. Toward a Curry-Howard Equivalence for Linear, Reversible Computation, 2020-07-09. (https://hal.science/hal-03103455)
    • Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche. Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem, 2020-07. (https://hal.science/hal-04349410)
    • Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron. Realizability in the Unitary Sphere, 2019-06-24. (https://hal.science/hal-02175168)
    • Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perelle, Benoît Valiron. Qbricks, un environnement pour la vérification formelle en informatique quantique *, 2019-06-12. (https://hal.science/hal-02175079)
    • Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche. Synthesizing Quantum Circuits via Numerical Optimization, 2019-06-12. (https://hal.science/hal-02174967)
    • Sébastien Bardin, François Bobot, Valentin Perelle, Christophe Chareton, Benoît Valiron. Toward certified quantum programming, 2018-11-08. (https://hal.science/hal-02175112)
    • Frédéric Boulanger, Dominique Marcadet, Martin Rayrole, Benoît Valiron, Safouan Taha. A time synchronization protocol for A664-P7, 2018-09-27. (https://centralesupelec.hal.science/hal-01890134)
    • Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto. From Symmetric Pattern-Matching to Quantum Control, 2018-04-16. (https://hal.science/hal-01763568)
    • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff. A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing, 2017-09-04. (https://centralesupelec.hal.science/hal-01583815)
    • Cyril Allouche, Marc Baboulin, Timothée Goubault de Brugière, Benoît Valiron. Reuse method for quantum circuit synthesis, 2017-08-20. (https://hal.science/hal-01711378)
    • Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu. The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects, 2017-01-15. (https://hal.science/hal-01474620)
    • Benoît Valiron. Generating reversible circuits from higher-order functional programs, 2016-07-08. (https://hal.science/hal-01474621)
    • Benoît Valiron, Michele Pagani, Andrew Polonski. Toward analytic rewriting theory, 2016. (https://hal.science/hal-01763461)
    • Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye. Towards a formal semantics of the TESL specification language, 2015-09-28. (https://centralesupelec.hal.science/hal-01239669)
    • Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu. Parallelism and Synchronization in an Infinitary Context, 2015-07-06. (https://inria.hal.science/hal-01231813)
    • Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron. A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus, 2011-07-03. (https://inria.hal.science/hal-00924926)
    • Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron. Equivalence of algebraic λ-calculi, 2010-07-14. (https://inria.hal.science/hal-00924912)
    • Peter Selinger, Benoît Valiron. A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract), 2008-03-29. (https://hal.science/hal-00483903)
    • Peter Selinger, Benoit Valiron. A lambda calculus for quantum computation with classical control, 2005-04. (https://hal.science/hal-00483924)
  • PROCEEDINGS - 2 documents
    • Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev. Proceedings 20th International Conference on Quantum Physics and Logic, 2023-07. (https://hal.science/hal-04480804)
    • Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden. Proceedings 17th International Conference on Quantum Physics and Logic, 2021-09-06. (https://hal.science/hal-03553539)
  • Article dans une revue - 14 documents
    • Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron. Addressable quantum gates, 2023-04-24. (https://hal.science/hal-03936367)
    • Théodore Chapuis-Chkaiban, Zeno Toffano, Benoît Valiron. On new PageRank computation methods using quantum computing, 2023-03. (https://centralesupelec.hal.science/hal-04056045)
    • 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. Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing, 2023-02-21. (https://hal.science/hal-03874624)
    • Benoît Valiron. Semantics of quantum programming languages: Classical control, quantum control, 2022-08. (https://hal.science/hal-04038653)
    • Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron. Strong Simulation of Linear Optical Processes, 2022-06-21. (https://hal.science/hal-03936315)
    • Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche. Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures, 2022. (https://hal.science/hal-03547113)
    • Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche. Gaussian elimination versus Greedy methods for the synthesis of linear reversible circuits, 2021. (https://hal.science/hal-03547117)
    • Timothee Goubault De Brugiere, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche. Reducing the depth of linear reversible quantum circuits, 2021. (https://hal.science/hal-03553916)
    • Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche. Quantum circuits synthesis using Householder transformations, 2020-03. (https://hal.science/hal-02545123)
    • Benoît Valiron. A Formal Analysis of Quantum Algorithms, 2018-01. (https://hal.science/hal-01763602)
    • Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron. The vectorial λ-calculus, 2017-06. (https://hal.science/hal-01785464)
    • Artur Scherer, Benoît Valiron, Mau Siun-Chuon, D. Scott Alexander, Eric van den Berg, Thomas Chapuran. Concrete Resource Analysis of the Quantum Linear System Algorithm used to Compute the Electromagnetic Scattering Cross Section of a 2D Target, 2017-01-25. (https://hal.science/hal-01474610)
    • Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith. Programming the quantum future, 2015-08. (https://hal.science/hal-01194416)
    • Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron. Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus, 2014-12-09. (https://inria.hal.science/hal-01097602)
  • Pré-publication, Document de travail - 2 documents
  • Autre publication - 1 document
  • Thèse - 1 document