Benoit Valiron
Laboratoire Laboratoire Méthodes Formelles
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
- Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation, 2022-08-08. (https://hal.science/hal-03747425)
- Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart. The Many-Worlds Calculus, 2022-08-03. (https://hal.science/hal-03654190v2)
- Autre publication - 1 document
- Benoît Valiron. Programmer un ordinateur quantique, 2017. (https://hal.science/hal-01763585)
- Thèse - 1 document
- Benoît Valiron. Semantics for a Higher Order Functional Programming Language for Quantum Computation, 2008-09-25. (https://theses.hal.science/tel-00483944)