Benoit Valiron

Publications :

• Communication on a congress - 32 documents
• • Benoît Valiron, Marc de Visme, Vitor Fernandes. Non-deterministic, probabilistic, and quantum effects through the lens of event structures, 2024-10. (https://hal.science/hal-04744478v1)
  • Kostia Chardonnet, Louis Lemonnier, Benoît Valiron. Semantics for a Turing-Complete Reversible Programming Language with Inductive Types, 2024-07-10. (https://hal.science/hal-04636603v1)
  • 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-04318291v1)
  • 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-03926757v1)
  • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation, 2023-02-13. (https://hal.science/hal-04308283v1)
  • 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-03926660v1)
  • Agustín Borgna, Simon Perdrix, Benoît Valiron. Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus, 2021-10-17. (https://hal.science/hal-03539521v1)
  • Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams, 2021-08-23. (https://hal.science/hal-03154573v1)
  • Kostia Chardonnet, Benoît Valiron, Renaud Vilmart. Geometry of Interaction for ZX-Diagrams, 2021-06-27. (https://hal-lirmm.ccsd.cnrs.fr/lirmm-03272411v1)
  • 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-03271484v1)
  • 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-03553904v1)
  • Benoît Valiron, Kostia Chardonnet, Louis Lemonnier. Categorical Semantics of Reversible Pattern-Matching, 2021. (https://hal.science/hal-03553872v1)
  • 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-02931403v1)
  • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. Toward a Curry-Howard Equivalence for Linear, Reversible Computation, 2020-07-09. (https://hal.science/hal-03103455v1)
  • 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-04349410v1)
  • Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron. Realizability in the Unitary Sphere, 2019-06-24. (https://hal.science/hal-02175168v1)
  • 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-02175079v1)
  • 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-02174967v1)
  • Sébastien Bardin, François Bobot, Valentin Perelle, Christophe Chareton, Benoît Valiron. Toward certified quantum programming, 2018-11-08. (https://hal.science/hal-02175112v1)
  • 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-01890134v1)
  • Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto. From Symmetric Pattern-Matching to Quantum Control, 2018-04-16. (https://hal.science/hal-01763568v1)
  • 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-01583815v1)
  • 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-01711378v1)
  • 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-01474620v1)
  • Benoît Valiron. Generating reversible circuits from higher-order functional programs, 2016-07-08. (https://hal.science/hal-01474621v1)
  • Benoît Valiron, Michele Pagani, Andrew Polonski. Toward analytic rewriting theory, 2016. (https://hal.science/hal-01763461v1)
  • 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-01239669v1)
  • 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-01231813v1)
  • 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-00924926v1)
  • Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron. Equivalence of algebraic λ-calculi, 2010-07-14. (https://inria.hal.science/hal-00924912v1)
  • 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-00483903v1)
  • Peter Selinger, Benoit Valiron. A lambda calculus for quantum computation with classical control, 2005-04. (https://hal.science/hal-00483924v1)
• HDR - 1 document
• • Benoît Valiron. On Quantum Programming Languages, 2024-09-24. (https://theses.hal.science/tel-04740855v1)
• Work chapter - 1 document
• • Christophe Chareton, Sébastien Bardin, Dong Ho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu. Formal Methods for Quantum Algorithms, 2023-08-01. (https://cea.hal.science/cea-04479879v1)
• 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-04480804v1)
  • 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-03553539v1)
• Article in a review - 14 documents
• • Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron. Addressable quantum gates, 2023-04-24. (https://hal.science/hal-03936367v1)
  • Théodore Chapuis-Chkaiban, Zeno Toffano, Benoît Valiron. On new PageRank computation methods using quantum computing, 2023-03. (https://centralesupelec.hal.science/hal-04056045v1)
  • 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-03874624v1)
  • Benoît Valiron. Semantics of quantum programming languages: Classical control, quantum control, 2022-08. (https://hal.science/hal-04038653v1)
  • Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron. Strong Simulation of Linear Optical Processes, 2022-06-21. (https://hal.science/hal-03936315v1)
  • 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-03547113v1)
  • 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-03547117v1)
  • 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-03553916v1)
  • 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-02545123v1)
  • Benoît Valiron. A Formal Analysis of Quantum Algorithms, 2018-01. (https://hal.science/hal-01763602v1)
  • Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron. The vectorial λ-calculus, 2017-06. (https://hal.science/hal-01785464v1)
  • 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-01474610v1)
  • Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith. Programming the quantum future, 2015-08. (https://hal.science/hal-01194416v1)
  • 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-01097602v1)
• Pre-submission / Working document - 2 documents
• • Kostia Chardonnet, Alexis Saurin, Benoît Valiron. A Curry-Howard Correspondence for Linear, Reversible Computation, 2022-08-08. (https://hal.science/hal-03747425v1)
  • Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart. The Many-Worlds Calculus, 2022-08-03. (https://hal.science/hal-03654190v2)
• Other submission - 1 document
• • Benoît Valiron. Programmer un ordinateur quantique, 2017. (https://hal.science/hal-01763585v1)
• Dissertation - 1 document
• • Benoît Valiron. Semantics for a Higher Order Functional Programming Language for Quantum Computation, 2008-09-25. (https://theses.hal.science/tel-00483944v1)