Accéder directement au contenu

Benoît Valiron

52
Documents

Présentation

This page summarizes the papers known by HAL. Listing and storing publications in HAL is a French requirement: all of my papers since 2014 should be listed there. Other sources of data includes: - [Academic webpage](https://www.monoidal.net) - [DBLP records](https://dblp.org/pid/48/1480) - [Mastodon account](https://social.sciences.re/@b3nb3n)

Publications

Addressable quantum gates

Pablo Arrighi , Christopher Cedzich , Marin Costes , Ulysse Rémond , Benoît Valiron
ACM Transactions on Quantum Computing, 2023, 4 (3), pp.1-41. ⟨10.1145/3581760⟩
Article dans une revue hal-03936367v1
Image document

Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing

Nicolas Heurtel , Andreas Fyrillas , Grégoire De Gliniasty , Raphaël Le Bihan , Sébastien Malherbe
Quantum, 2023, 7, pp.931. ⟨10.22331/q-2023-02-21-931⟩
Article dans une revue hal-03874624v1

On new PageRank computation methods using quantum computing

Théodore Chapuis-Chkaiban , Zeno Toffano , Benoît Valiron
Quantum Information Processing, 2023, 22 (3), pp.138. ⟨10.1007/s11128-023-03856-y⟩
Article dans une revue hal-04056045v1

Strong Simulation of Linear Optical Processes

Nicolas Heurtel , Shane Mansfield , Jean Senellart , Benoît Valiron
Computer Physics Communications, 2022, 291, pp.108848. ⟨10.1016/j.cpc.2023.108848⟩
Article dans une revue hal-03936315v1

Semantics of quantum programming languages: Classical control, quantum control

Benoît Valiron
Journal of Logical and Algebraic Methods in Programming, 2022, 128, pp.100790. ⟨10.1016/j.jlamp.2022.100790⟩
Article dans une revue hal-04038653v1
Image document

Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures

Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Simon Martiel , Cyril Allouche
Science of Computer Programming, 2022, 214, pp.102726. ⟨10.1016/j.scico.2021.102726⟩
Article dans une revue hal-03547113v1
Image document

Reducing the depth of linear reversible quantum circuits

Timothee Goubault De Brugiere , Marc Baboulin , Benoît Valiron , Simon Martiel , Cyril Allouche
IEEE Transactions on Quantum Engineering, inPress, 2, pp.3102422. ⟨10.1109/TQE.2021.3091648⟩
Article dans une revue hal-03553916v1
Image document

Gaussian elimination versus Greedy methods for the synthesis of linear reversible circuits

Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Simon Martiel , Cyril Allouche
ACM Transactions on Quantum Computing, 2021, 2 (3), pp.11. ⟨10.1145/3474226⟩
Article dans une revue hal-03547117v1
Image document

Quantum circuits synthesis using Householder transformations

Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Cyril Allouche
Computer Physics Communications, 2020, 248, pp.107001. ⟨10.1016/j.cpc.2019.107001⟩
Article dans une revue hal-02545123v1

A Formal Analysis of Quantum Algorithms

Benoît Valiron
ERCIM News, 2018, 112, pp.23-24
Article dans une revue hal-01763602v1
Image document

The vectorial λ-calculus

Pablo Arrighi , Alejandro Díaz-Caro , Benoît Valiron
Information and Computation, 2017, 254 (1), pp.105--139. ⟨10.1016/j.ic.2017.04.001⟩
Article dans une revue hal-01785464v1
Image document

Concrete Resource Analysis of the Quantum Linear System Algorithm used to Compute the Electromagnetic Scattering Cross Section of a 2D Target

Artur Scherer , Benoît Valiron , Mau Siun-Chuon , D. Scott Alexander , Eric van den Berg
Quantum Information Processing, 2017, pp.16:60. ⟨10.1007/s11128-016-1495-5⟩
Article dans une revue hal-01474610v1

Programming the quantum future

Benoît Valiron , Neil J. Ross , Peter Selinger , D. Scott Alexander , Jonathan M. Smith
Communications of the ACM, 2015, 58 (8), pp.52--61. ⟨10.1145/2699415⟩
Article dans une revue hal-01194416v1

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus

Ali Assaf , Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoît Valiron
Logical Methods in Computer Science, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
Article dans une revue hal-01097602v1

A Complete Equational Theory for Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoît Valiron
18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), Jul 2023, Aveiro, Portugal
Communication dans un congrès hal-04318291v1
Image document

A Complete Equational Theory for Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoît Valiron
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⟩
Communication dans un congrès hal-03926757v1
Image document

A Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoît Valiron
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⟩
Communication dans un congrès hal-04308283v1

LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits

Alexandre Clément , Nicolas Heurtel , Shane Mansfield , Simon Perdrix , Benoît Valiron
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⟩
Communication dans un congrès hal-03926660v1
Image document

Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet , Benoît Valiron , Renaud Vilmart
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⟩
Communication dans un congrès hal-03154573v1
Image document

Towards a Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoît Valiron
5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès lirmm-03271484v1

Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus

Agustín Borgna , Simon Perdrix , Benoît Valiron
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⟩
Communication dans un congrès hal-03539521v1

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement

Dongho Lee , Valentin Perrelle , Benoît Valiron , Zhaowei Xu
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⟩
Communication dans un congrès hal-03553904v1
Image document

Geometry of Interaction for ZX-Diagrams

Kostia Chardonnet , Benoît Valiron , Renaud Vilmart
TLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy
Communication dans un congrès lirmm-03272411v1

Categorical Semantics of Reversible Pattern-Matching

Benoît Valiron , Kostia Chardonnet , Louis Lemonnier
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021, Salzburg, Austria. pp.18-33, ⟨10.4204/EPTCS.351.2⟩
Communication dans un congrès hal-03553872v1
Image document

Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem

Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Simon Martiel , Cyril Allouche
Reversible Computation, Jul 2020, Oslo, Norway. ⟨10.1007/978-3-030-52482-1_11⟩
Communication dans un congrès hal-04349410v1
Image document

On the Semantics of Polychronous Polytimed Specifications

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron
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⟩
Communication dans un congrès hal-02931403v1
Image document

Toward a Curry-Howard Equivalence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoît Valiron
RC 2020 - 12th international conference on Reversible Computation, Jul 2020, Oslo / Virtual, Norway. pp.144-152, ⟨10.1007/978-3-030-52482-1_8⟩
Communication dans un congrès hal-03103455v1
Image document

Qbricks, un environnement pour la vérification formelle en informatique quantique *

Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perelle , Benoît Valiron
18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
Communication dans un congrès hal-02175079v1
Image document

Realizability in the Unitary Sphere

Alejandro Díaz-Caro , Mauricio Guillermo , Alexandre Miquel , Benoît Valiron
34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Jun 2019, Vancouver, Canada
Communication dans un congrès hal-02175168v1
Image document

Synthesizing Quantum Circuits via Numerical Optimization

Timothée Goubault de Brugière , Marc Baboulin , Benoît Valiron , Cyril Allouche
19th International Conference in Computational Science - ICCS 2019, Jun 2019, Faro, Portugal. pp.3-16, ⟨10.1007/978-3-030-22741-8_1⟩
Communication dans un congrès hal-02174967v1
Image document

Toward certified quantum programming

Sébastien Bardin , François Bobot , Valentin Perelle , Christophe Chareton , Benoît Valiron
2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Communication dans un congrès hal-02175112v1
Image document

From Symmetric Pattern-Matching to Quantum Control

Amr Sabry , Benoît Valiron , Juliana Kaizer Vizzotto
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
Communication dans un congrès hal-01763568v1
Image document

A time synchronization protocol for A664-P7

Frédéric Boulanger , Dominique Marcadet , Martin Rayrole , Benoît Valiron , Safouan Taha
Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès hal-01890134v1
Image document

Reuse method for quantum circuit synthesis

Cyril Allouche , Marc Baboulin , Timothée Goubault de Brugière , Benoît Valiron
International Conference: Applied Mathematics, Modeling and Computational Science (AMMCS 2017), Aug 2017, Waterloo, Canada
Communication dans un congrès hal-01711378v1
Image document

The Geometry of Parallelism: Classical, Probabilistic, and Quantum Effects

Ugo Dal Lago , Claudia Faggian , Benoît Valiron , Akira Yoshimizu
POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.833-845, ⟨10.1145/3009837.3009859⟩
Communication dans un congrès hal-01474620v1
Image document

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron
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⟩
Communication dans un congrès hal-01583815v1

Toward analytic rewriting theory

Benoît Valiron , Michele Pagani , Andrew Polonski
Informal Electronic Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR’16), 2016, Porto, Portugal
Communication dans un congrès hal-01763461v1

Generating reversible circuits from higher-order functional programs

Benoît Valiron
8th International Conference on Reversible Computation (RC 2016), Jul 2016, Bologne, Italy. pp.289-306, ⟨10.1007/978-3-319-40578-0_21⟩
Communication dans un congrès hal-01474621v1
Image document

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron
3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès hal-01239669v1
Image document

Parallelism and Synchronization in an Infinitary Context

Ugo Dal Lago , Claudia Faggian , Benoît Valiron , Akira Yoshimizu
LICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.58⟩
Communication dans un congrès hal-01231813v1

A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-Calculus

Pablo Arrighi , Alejandro Díaz-Caro , Benoît Valiron
DCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩
Communication dans un congrès hal-00924926v1

Equivalence of algebraic λ-calculi

Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoît Valiron
HOR - 5th International Workshop on Higher-Order Rewriting - 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11
Communication dans un congrès hal-00924912v1

A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)

Peter Selinger , Benoît Valiron
Foundation of Software Science and Computation Structures, Mar 2008, Budapest, Hungary. pp.81--96, ⟨10.1007/978-3-540-78499-9_7⟩
Communication dans un congrès hal-00483903v1

A lambda calculus for quantum computation with classical control

Peter Selinger , Benoit Valiron
Seventh International Conference on Typed Lambda Calculi and Applications, Apr 2005, Nara, Japan. pp.354--368, ⟨10.1007/11417170_26⟩
Communication dans un congrès hal-00483924v1

Proceedings 20th International Conference on Quantum Physics and Logic

Shane Mansfield , Benoît Valiron , Vladimir Zamdzhiev
QPL 2023 - Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, 384, 2023, ⟨10.4204/EPTCS.384⟩
Proceedings/Recueil des communications hal-04480804v1

Proceedings 17th International Conference on Quantum Physics and Logic

Benoît Valiron , Shane Mansfield , Pablo Arrighi , Prakash Panangaden
Electronic Proceedings in Theoretical Computer Science, 340, 2021, ⟨10.4204/EPTCS.340⟩
Proceedings/Recueil des communications hal-03553539v1

Formal Methods for Quantum Algorithms

Christophe Chareton , Sébastien Bardin , Dongho Lee , Benoît Valiron , Renaud Vilmart
Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press, pp.319-422, 2023, ⟨10.1201/9781003090052-7⟩
Chapitre d'ouvrage hal-04311441v1
Image document

Formal Methods for Quantum Algorithms

Christophe Chareton , Sébastien Bardin , Dong Ho Lee , Benoît Valiron , Renaud Vilmart
Handbook of Formal Analysis and Verification in Cryptography, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656
Chapitre d'ouvrage cea-04479879v1