Benoit Valiron

Laboratoire

Laboratoire Méthodes Formelles

Mots cles

méthodes formelles, logique et langages de programmation, calcul quantique

Site WEB

Publications (56)

Communication dans un congrès 01/07/2020

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

Timothée Goubault de Brugière , Marc Baboulin , Simon Martiel , Cyril Allouche , Benoit Valiron

Article dans une revue 01/03/2020

Quantum circuits synthesis using Householder transformations

Timothée Goubault de Brugière , Marc Baboulin , Cyril Allouche , Benoit Valiron

Communication dans un congrès 24/06/2019

Realizability in the Unitary Sphere

Alejandro Díaz-Caro , Mauricio Guillermo , Alexandre Miquel , Benoit Valiron

Communication dans un congrès 12/06/2019

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

Christophe Chareton , Sébastien Bardin , François Bobot , Valentin Perelle , Benoit Valiron

Communication dans un congrès 08/06/2019

Synthesizing Quantum Circuits via Numerical Optimization

Timothée Goubault de Brugière , Marc Baboulin , Cyril Allouche , Benoit Valiron

Communication dans un congrès 08/11/2018

Toward certified quantum programming

Sébastien Bardin , François Bobot , Valentin Perelle , Christophe Chareton , Benoit Valiron

Communication dans un congrès 27/09/2018

A time synchronization protocol for A664-P7

Martin Rayrole , Frederic Boulanger , Dominique Marcadet , Benoit Valiron , Safouan Taha

Communication dans un congrès 16/04/2018

From Symmetric Pattern-Matching to Quantum Control

Amr Sabry , Juliana Kaizer Vizzotto , Benoit Valiron

Article dans une revue 01/01/2018

A Formal Analysis of Quantum Algorithms

Benoit Valiron

Communication dans un congrès 01/01/2018

Reuse method for quantum circuit synthesis

Cyril Allouche , Marc Baboulin , Timothée Goubault de Brugière , Benoit Valiron

Article dans une revue 01/06/2017

The vectorial λ-calculus

Pablo Arrighi , Alejandro Díaz-Caro , Benoit Valiron

Article dans une revue 25/01/2017

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

Artur Scherer , Mau Siun-Chuon , D. Scott Alexander , Eric van den Berg , Thomas Chapuran , Benoit Valiron

Communication dans un congrès 01/01/2017

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

Ugo Dal Lago , Claudia Faggian , Akira Yoshimizu , Benoit Valiron

Communication dans un congrès 01/01/2017

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

Hai Nguyen Van , Thibaut Balabonski , Chantal Keller , Burkhart Wolff , Frederic Boulanger , Benoit Valiron

Autre publication scientifique 01/01/2017

Programmer un ordinateur quantique

Benoit Valiron

Communication dans un congrès 01/07/2016

Generating reversible circuits from higher-order functional programs

Benoit Valiron

Communication dans un congrès 01/01/2016

Toward analytic rewriting theory

Michele Pagani , Andrew Polonski , Benoit Valiron

Communication dans un congrès 13/11/2015

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Burkhart Wolff , Frederic Boulanger , Safouan Taha , Benoit Valiron , Lina Ye

Article dans une revue 01/08/2015

Programming the quantum future

Neil J. Ross , Peter Selinger , D. Scott Alexander , Jonathan M. Smith , Benoit Valiron

Communication dans un congrès 01/01/2015

Parallelism and Synchronization in an Infinitary Context

Ugo Dal Lago , Claudia Faggian , Akira Yoshimizu , Benoit Valiron

Article dans une revue 09/12/2014

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

Ali Assaf , Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoit Valiron

Communication dans un congrès 30/07/2012

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

Pablo Arrighi , Alejandro Díaz-Caro , Benoit Valiron

Communication dans un congrès 14/07/2010

Equivalence of algebraic λ-calculi

Alejandro Díaz-Caro , Simon Perdrix , Christine Tasson , Benoit Valiron

Thèse 25/09/2008

Semantics for a Higher Order Functional Programming Language for Quantum Computation

Benoit Valiron

Communication dans un congrès 01/01/2008

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

Peter Selinger , Benoit Valiron

Communication dans un congrès 01/01/2005

A lambda calculus for quantum computation with classical control

Peter Selinger , Benoit Valiron