Benoît Valiron

Professeur CentraleSupélec, Université Paris-Saclay
56
Documents
Affiliations actuelles
  • Quantum Computation Structures (QuaCS)
  • CentraleSupélec
  • Laboratoire Méthodes Formelles (LMF)
Identifiants chercheurs

Présentation

Cette page liste mes publications connues par HAL. Il s'agit d'une obligation institutionnelle: tous mes papiers depuis 2014 devraient être ici.

D'autres sources d'information (avec aussi les papiers plus anciens) sont par exemple:

Publications

4
3
8
4
9
4
3
5
5
2
3
1
1
1
2
1

Publications

Deposit thumbnail

A Curry-Howard Correspondence for Linear, Reversible Computation

Kostia Chardonnet , Alexis Saurin , Benoît Valiron

Logical Methods in Computer Science, 2025, 21 (3), ⟨10.46298/lmcs-21(3:4)2025⟩

Article dans une revue hal-03747425v2
Deposit thumbnail

The Many-Worlds Calculus

Kostia Chardonnet , Marc de Visme , Benoît Valiron , Renaud Vilmart

Logical Methods in Computer Science, 2025, 21 (2), ⟨10.46298/lmcs-21(2:13)2025⟩

Article dans une revue hal-03654190v4

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
Deposit thumbnail

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
Deposit thumbnail

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 et al.

Quantum, 2023, 7, pp.931. ⟨10.22331/q-2023-02-21-931⟩

Article dans une revue hal-03874624v1

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
Deposit thumbnail

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

Sci.Comput.Program., 2022, 214, pp.102726. ⟨10.1016/j.scico.2021.102726⟩

Article dans une revue hal-03547113v1

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
Deposit thumbnail

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, In press, 2, pp.3102422. ⟨10.1109/TQE.2021.3091648⟩

Article dans une revue hal-03553916v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 et al.

Quantum Information Processing, 2017, pp.16:60. ⟨10.1007/s11128-016-1495-5⟩

Article dans une revue hal-01474610v1
Deposit thumbnail

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

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
Deposit thumbnail

A Rewriting Theory for Quantum λ-Calculus

Claudia Faggian , Gaetan Lopez , Benoît Valiron

CSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. pp.47:1--47:22, ⟨10.4230/LIPICS.CSL.2025.47⟩

Communication dans un congrès hal-05006039v1
Deposit thumbnail

Semantics for a Turing-Complete Reversible Programming Language with Inductive Types

Kostia Chardonnet , Louis Lemonnier , Benoît Valiron

FSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.19:1-19:19, ⟨10.4230/LIPIcs.FSCD.2024.19⟩

Communication dans un congrès hal-04636603v1

Non-deterministic, probabilistic, and quantum effects through the lens of event structures

Benoît Valiron , Marc de Visme , Vitor Fernandes

The 22nd Asian Symposium on Programming Languages and Systems, Oct 2024, Kyoto, Japan

Communication dans un congrès hal-04744478v1

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
Deposit thumbnail

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
Deposit thumbnail

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

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

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

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

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

On the Semantics of Polychronous Polytimed Specifications

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron et al.

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 et al.

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
Deposit thumbnail

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

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

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
Deposit thumbnail

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Safouan Taha , Benoît Valiron et al.

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
Deposit thumbnail

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
Deposit thumbnail

Formal Methods for Quantum Algorithms

Christophe Chareton , Sébastien Bardin , Dong Ho Lee , Benoît Valiron , Renaud Vilmart et al.

Handbook of Formal Analysis and Verification in Cryptography, 1, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656. ⟨10.1201/9781003090052-7⟩

Chapitre d'ouvrage cea-04479879v1
Deposit thumbnail

On Quantum Programming Languages

Benoît Valiron

Computer Science [cs]. Université Paris Saclay, 2024

HDR tel-04740855v1