Publications HAL

2021

Conference papers

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
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03272411/file/TLLA_2021_paper_2.pdf 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
https://hal-lirmm.ccsd.cnrs.fr/lirmm-03271484/file/TLLA_2021_paper_7.pdf 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
https://hal.archives-ouvertes.fr/hal-03271510/file/TLLA_2021_paper_2.pdf BibTex
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
https://hal.archives-ouvertes.fr/hal-03154573/file/Geometry%20of%20Interaction%20for%20ZX-Diagrams.pdf 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, Elsevier, 2020, 248, pp.107001. ⟨10.1016/j.cpc.2019.107001⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02545123/file/Householder_arxiv.pdf 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
https://hal.archives-ouvertes.fr/hal-03103455/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-02931403/file/article.pdf BibTex

2019

Conference papers

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
https://hal.archives-ouvertes.fr/hal-02175079/file/Qbrick_AFADL.pdf BibTex
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
https://hal.archives-ouvertes.fr/hal-02175168/file/paper.pdf 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
https://hal.archives-ouvertes.fr/hal-02174967/file/nopt_qc.pdf BibTex

2018

Journal articles

auteur
Benoît Valiron
titre
A Formal Analysis of Quantum Algorithms
article
ERCIM News, ERCIM, 2018, 112, pp.23-24
Accès au bibtex
BibTex

Conference papers

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
https://hal-centralesupelec.archives-ouvertes.fr/hal-01890134/file/conference_041818.pdf BibTex
auteur
Amr Sabry, Benoît Valiron, Juliana 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
https://hal.archives-ouvertes.fr/hal-01763568/file/fossacs-final.pdf 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
https://hal.archives-ouvertes.fr/hal-02175112/file/Qbrick%20IWQC.pdf 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, Springer Verlag, 2017, pp.16:60. ⟨10.1007/s11128-016-1495-5⟩
Accès au bibtex
https://arxiv.org/pdf/1505.06552 BibTex
auteur
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
titre
The vectorial λ-calculus
article
Information and Computation, Elsevier, 2017, 254 (1), pp.105--139. ⟨10.1016/j.ic.2017.04.001⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01785464/file/1308.1138.pdf BibTex

Conference papers

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
https://hal.archives-ouvertes.fr/hal-01711378/file/Proceedings.pdf 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
https://hal.archives-ouvertes.fr/hal-01474620/file/main_quantum.pdf BibTex
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
https://hal-centralesupelec.archives-ouvertes.fr/hal-01583815/file/article.pdf BibTex

Other publications

auteur
Benoît Valiron
titre
Programmer un ordinateur quantique
article
2017
Accès au bibtex
BibTex

2016

Conference papers

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
BibTex
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
https://arxiv.org/pdf/1603.08213 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, Association for Computing Machinery, 2015, 58 (8), pp.52--61. ⟨10.1145/2699415⟩
Accès au bibtex
BibTex

Conference papers

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
https://hal.inria.fr/hal-01231813/file/main_lics.pdf BibTex
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
https://hal-centralesupelec.archives-ouvertes.fr/hal-01239669/file/article.pdf 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, Logical Methods in Computer Science Association, 2014, 10:4 (8), pp.40. ⟨10.2168/LMCS-10(4:8)2014⟩
Accès au bibtex
https://arxiv.org/pdf/1005.2897 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
https://arxiv.org/pdf/1012.4032 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
https://arxiv.org/pdf/1005.2897 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
https://arxiv.org/pdf/0801.0813 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00483944/file/thesis.pdf 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
https://arxiv.org/pdf/cs/0404056 BibTex