Benoît Valiron

According to our database, Benoît Valiron authored at least 63 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Strong simulation of linear optical processes.

Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron

Comput. Phys. Commun., October, 2023

On new PageRank computation methods using quantum computing.

Théodore Chapuis-Chkaiban, Zeno Toffano, Benoît Valiron

Quantum Inf. Process., March, 2023

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, Marceau Pailhas, Eric Bertasi, Boris Bourdoncle, Pierre-Emmanuel Emeriau, Rawad Mezher, Luka Music, Nadia Belabas, Benoît Valiron, Pascale Senellart, Shane Mansfield, Jean Senellart

Quantum, February, 2023

Semantics for a Turing-complete Reversible Programming Language with Inductive Types.

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron

CoRR, 2023

A Complete Equational Theory for Quantum Circuits.

Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron

LICS, 2023

A Curry-Howard Correspondence for Linear, Reversible Computation.

Kostia Chardonnet, Alexis Saurin, Benoît Valiron

Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023

Formal Methods for Quantum Algorithms.

Christophe Chareton, Dongho Lee, Benoît Valiron, Renaud Vilmart, Sébastien Bardin, Zhaowei Xu

Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023

2022

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

Semantics of quantum programming languages: Classical control, quantum control.

Benoît Valiron

J. Log. Algebraic Methods Program., 2022

The Many-Worlds Calculus: Representing Quantum Control.

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

CoRR, 2022

LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits.

Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron

CoRR, 2022

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

CoRR, 2022

Reducing the Depth of Linear Reversible Quantum Circuits.

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

CoRR, 2022

Simulation of Linear Optical Interferometers (Extended Abstract).

Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron

Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022

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

Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron

Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021

Addressable quantum gates.

Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron

CoRR, 2021

Formal Methods for Quantum Programs: A Survey.

Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu

CoRR, 2021

Categorical Semantics of Reversible Pattern-Matching.

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Reasoning about Recursive Quantum Programs.

Zhaowei Xu, Mingsheng Ying, Benoît Valiron

CoRR, 2021

An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions.

Yann Hamdaoui, Benoît Valiron

CoRR, 2021

Geometry of Interaction for ZX-Diagrams.

Kostia Chardonnet, Benoît Valiron, Renaud Vilmart

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

Concrete Categorical Model of a Quantum Circuit Description Language with Measurement.

Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu

Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021

An Automated Deductive Verification Framework for Circuit-building Quantum Programs.

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron

Proceedings of the Programming Languages and Systems, 2021

Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus.

Agustín Borgna, Simon Perdrix, Benoît Valiron

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021

2020

Quantum circuits synthesis using Householder transformations.

Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche

Comput. Phys. Commun., 2020

Quantum circuit synthesis using Householder transformations.

Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche

CoRR, 2020

Toward certified quantum programming.

Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron

CoRR, 2020

Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress.

Kostia Chardonnet, Alexis Saurin, Benoît Valiron

Proceedings of the Reversible Computation - 12th International Conference, 2020

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

Proceedings of the Reversible Computation - 12th International Conference, 2020

On the Semantics of Polychronous Polytimed Specifications.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019

Realizability in the Unitary Sphere.

Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron

Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

Synthesizing Quantum Circuits via Numerical Optimization.

Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche

Proceedings of the Computational Science - ICCS 2019, 2019

2018

A Formal Analysis of Quantum Algorithms.

Benoît Valiron

ERCIM News, 2018

From Symmetric Pattern-Matching to Quantum Control (Extended Version).

Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto

CoRR, 2018

From Symmetric Pattern-Matching to Quantum Control.

Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto

Proceedings of the Foundations of Software Science and Computation Structures, 2018

2017

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, Siun-Chuon Mau, D. Scott Alexander, Eric van den Berg, Thomas E. Chapuran

Quantum Inf. Process., 2017

The vectorial λ-calculus.

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Inf. Comput., 2017

The geometry of parallelism: classical, probabilistic, and quantum effects.

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

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, Burkhart Wolff

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016

Generating Reversible Circuits from Higher-Order Functional Programs.

Benoît Valiron

Proceedings of the Reversible Computation - 8th International Conference, 2016

2015

Parallelism and Synchronization in an Infinitary Context (Long Version).

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

CoRR, 2015

Programming the quantum future.

Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith

Commun. ACM, 2015

Towards a Formal Semantics of the TESL Specification Language.

Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye

Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

Parallelism and Synchronization in an Infinitary Context.

Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces.

Benoît Valiron, Steve Zdancewic

Sci. Ann. Comput. Sci., 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, Benoît Valiron

Log. Methods Comput. Sci., 2014

Quipper: Concrete Resource Estimation in Quantum Algorithms.

Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron

CoRR, 2014

Applying quantitative semantics to higher-order quantum computing.

Michele Pagani, Peter Selinger, Benoît Valiron

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi.

Benoît Valiron, Steve Zdancewic

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013

Quantum Computation: From a Programmer's Perspective.

Benoît Valiron

New Gener. Comput., 2013

A typed, algebraic, computational lambda-calculus.

Benoît Valiron

Math. Struct. Comput. Sci., 2013

The Vectorial Lambda-Calculus.

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

CoRR, 2013

An Introduction to Quantum Programming in Quipper.

Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron

Proceedings of the Reversible Computation - 5th International Conference, 2013

Quipper: a scalable quantum programming language.

Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012

Quantum Computation: a Tutorial.

Benoît Valiron

New Gener. Comput., 2012

2011

Subject reduction in a Curry-style polymorphic type system with a vectorial structure

Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron

Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011

2010

Semantics of a Typed Algebraic Lambda-Calculus

Benoît Valiron

Proceedings of the Proceedings Sixth Workshop on Developments in Computational Models: Causality, 2010

2008

Semantics for a Higher Order Functional Programming Language for Quantum Computation.

Benoît Valiron

PhD thesis, 2008

On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract).

Benoît Valiron

Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 2008

A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).

Peter Selinger, Benoît Valiron

Proceedings of the Foundations of Software Science and Computational Structures, 2008

2006

A lambda calculus for quantum computation with classical control.

Peter Selinger, Benoît Valiron

Math. Struct. Comput. Sci., 2006

On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).

Peter Selinger, Benoît Valiron

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

2004

Quantum typing

Benoît Valiron

CoRR, 2004