Benoît Valiron Professeur CentraleSupélec, Université Paris-Saclay

Identifiants chercheurs

IdHAL :

benoit-valiron

ORCID :

0000-0002-1008-5605

IdRef :

241835704

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:

Page académique

DBLP records

Orcid

ArXiv

Publications

Article dans une revue (16)

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
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
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
Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing Nicolas Heurtel,Andreas Fyrillas,Grégoire De Gliniasty,Raphaël Le Bihan,Sébastien Malherbeet 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
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
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
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
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
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 Berget al. Quantum Information Processing, 2017, pp.16:60. ⟨10.1007/s11128-016-1495-5⟩ Article dans une revue hal-01474610v1
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

Communication dans un congrès (33)

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
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
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
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
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
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
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
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
On the Semantics of Polychronous Polytimed Specifications Hai Nguyen Van,Thibaut Balabonski,Frédéric Boulanger,Chantal Keller,Benoît Valironet 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
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
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
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
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
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
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
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
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
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 Valironet 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
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
Towards a formal semantics of the TESL specification language Hai Nguyen Van,Thibaut Balabonski,Frédéric Boulanger,Safouan Taha,Benoît Valironet 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
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/Recueil des communications (2)

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

Chapitre d'ouvrage (1)

Formal Methods for Quantum Algorithms Christophe Chareton,Sébastien Bardin,Dong Ho Lee,Benoît Valiron,Renaud Vilmartet 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

Autre publication scientifique (1)

Programmer un ordinateur quantique Benoît Valiron 2017 Autre publication scientifique hal-01763585v1

Pré-publication, Document de travail (1)

The Tensor-Plus Calculus Kostia Chardonnet,Marc de Visme,Benoît Valiron,Renaud Vilmart 2026 Pré-publication, Document de travail hal-05447300v1

Thèse (1)

Semantics for a Higher Order Functional Programming Language for Quantum Computation Benoît Valiron Other [cs.OH]. University of Ottawa, 2008. English. ⟨NNT : ⟩ Thèse tel-00483944v1

HDR (1)

On Quantum Programming Languages Benoît Valiron Computer Science [cs]. Université Paris Saclay, 2024 HDR tel-04740855v1