2023
Journal articles
- 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 bibtex
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
Book sections
- auteur
- Christophe Chareton, Sébastien Bardin, Dongho 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, pp.319-422, 2023, ⟨10.1201/9781003090052-7⟩
- Accès au bibtex
-
- 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, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656
- Accès au texte intégral et 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
-
2022
Journal articles
- 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
-
- 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
-
- 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
- Science of Computer Programming, 2022, 214, pp.102726. ⟨10.1016/j.scico.2021.102726⟩
- Accès au texte intégral et 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
-
Preprints, Working Papers, ...
- auteur
- Kostia Chardonnet, Alexis Saurin, Benoît Valiron
- titre
- A Curry-Howard Correspondence for Linear, Reversible Computation
- article
- 2022
- Accès au texte intégral et bibtex
-
- auteur
- Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
- titre
- The Many-Worlds Calculus
- article
- 2022
- Accès au texte intégral et bibtex
-
2021
Journal articles
- 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
-
- 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
-
Conference papers
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
Conference papers
- 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
-
- 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
-
- 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
-
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
-
- 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
-
- 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
-
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
-
Conference papers
- 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
-
- 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
-
- 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
-
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
-
- 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
-
Conference papers
- 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
-
- 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
-
- 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
-
Other publications
- auteur
- Benoît Valiron
- titre
- Programmer un ordinateur quantique
- article
- 2017
- Accès au 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
-
- 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
-
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
-
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
-
- 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
-
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
-
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
-
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
-
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
-
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
-
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
-