Benoît Valiron

ORCID

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 48

Top Venues

CoRR

LICS

MFCS

University of Ottawa, Ontario, Canada (PHD)

Education History

University of Ottawa, Ontario, Canada

PHD

Publications

Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types. FSCD (2024)
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron
Semantics for a Turing-complete Reversible Programming Language with Inductive Types. CoRR (2023)
Théodore Chapuis-Chkaiban, Zeno Toffano, Benoît Valiron
On new PageRank computation methods using quantum computing. Quantum Inf. Process. 22 (3) (2023)
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
A Curry-Howard Correspondence for Linear, Reversible Computation. CoRR (2023)
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
Perceval: A Software Platform for Discrete Variable Photonic Quantum Computing. Quantum 7 (2023)
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
A Complete Equational Theory for Quantum Circuits. LICS (2023)
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
A Curry-Howard Correspondence for Linear, Reversible Computation. CSL (2023)
Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron
Strong simulation of linear optical processes. Comput. Phys. Commun. 291 (2023)
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
LOv-Calculus: A Graphical Language for Linear Optical Quantum Circuits. CoRR (2022)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
Reducing the Depth of Linear Reversible Quantum Circuits. CoRR (2022)
Benoît Valiron
Semantics of quantum programming languages: Classical control, quantum control. J. Log. Algebraic Methods Program. 128 (2022)
Alexandre Clément, Nicolas Heurtel, Shane Mansfield, Simon Perdrix, Benoît Valiron
LO_v-Calculus: A Graphical Language for Linear Optical Quantum Circuits. MFCS (2022)
Kostia Chardonnet, Marc de Visme, Benoît Valiron, Renaud Vilmart
The Many-Worlds Calculus: Representing Quantum Control. CoRR (2022)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
Gaussian Elimination versus Greedy Methods for the Synthesis of Linear Reversible Circuits. CoRR (2022)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures. Sci. Comput. Program. 214 (2022)
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
Geometry of Interaction for ZX-Diagrams. CoRR (2022)
Nicolas Heurtel, Shane Mansfield, Jean Senellart, Benoît Valiron
Simulation of Linear Optical Interferometers (Extended Abstract). QCE (2022)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures. CoRR (2022)
Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. FSTTCS (2021)
Louis Lemonnier, Kostia Chardonnet, Benoît Valiron
Categorical Semantics of Reversible Pattern-Matching. MFPS (2021)
Christophe Chareton, Sébastien Bardin, Dongho Lee, Benoît Valiron, Renaud Vilmart, Zhaowei Xu
Formal Methods for Quantum Programs: A Survey. CoRR (2021)
Agustín Borgna, Simon Perdrix, Benoît Valiron
Hybrid Quantum-Classical Circuit Simplification with the ZX-Calculus. APLAS (2021)
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
An Automated Deductive Verification Framework for Circuit-building Quantum Programs. ESOP (2021)
Pablo Arrighi, Christopher Cedzich, Marin Costes, Ulysse Rémond, Benoît Valiron
Addressable quantum gates. CoRR (2021)
Zhaowei Xu, Mingsheng Ying, Benoît Valiron
Reasoning about Recursive Quantum Programs. CoRR (2021)
Yann Hamdaoui, Benoît Valiron
An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions. CoRR (2021)
Dongho Lee, Valentin Perrelle, Benoît Valiron, Zhaowei Xu
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement. CoRR (2021)
Kostia Chardonnet, Benoît Valiron, Renaud Vilmart
Geometry of Interaction for ZX-Diagrams. MFCS (2021)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
On the Semantics of Polychronous Polytimed Specifications. FORMATS (2020)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche
Quantum circuits synthesis using Householder transformations. Comput. Phys. Commun. 248 (2020)
Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron
Toward certified quantum programming. CoRR (2020)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche
Synthesizing quantum circuits via numerical optimization. CoRR (2020)
Kostia Chardonnet, Alexis Saurin, Benoît Valiron
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. RC (2020)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche
Quantum circuit synthesis using Householder transformations. CoRR (2020)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Simon Martiel, Cyril Allouche
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem. RC (2020)
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
Realizability in the Unitary Sphere. LICS (2019)
Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron
Realizability in the Unitary Sphere. CoRR (2019)
Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche
Synthesizing Quantum Circuits via Numerical Optimization. ICCS (2) (2019)
Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
From Symmetric Pattern-Matching to Quantum Control (Extended Version). CoRR (2018)
Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto
From Symmetric Pattern-Matching to Quantum Control. FoSSaCS (2018)
Benoît Valiron
A Formal Analysis of Quantum Algorithms. ERCIM News 2018 (112) (2018)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
The geometry of parallelism: classical, probabilistic, and quantum effects. POPL (2017)
Artur Scherer, Benoît Valiron, Siun-Chuon Mau, D. Scott Alexander, Eric van den Berg, Thomas E. Chapuran
Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target. Quantum Inf. Process. 16 (3) (2017)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Chantal Keller, Benoît Valiron, Burkhart Wolff
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing. FORMATS (2017)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
The vectorial λ-calculus. Inf. Comput. 254 (2017)
Benoît Valiron
Generating reversible circuits from higher-order functional programs. CoRR (2016)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. CoRR (2016)
Benoît Valiron
Generating Reversible Circuits from Higher-Order Functional Programs. RC (2016)
Hai Nguyen Van, Thibaut Balabonski, Frédéric Boulanger, Safouan Taha, Benoît Valiron, Burkhart Wolff, Lina Ye
Towards a Formal Semantics of the TESL Specification Language. GEMOC+MPM@MoDELS (2015)
Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith
Programming the quantum future. Commun. ACM 58 (8) (2015)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
Parallelism and Synchronization in an Infinitary Context (Long Version). CoRR (2015)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
Parallelism and Synchronization in an Infinitary Context. LICS (2015)
Ali Assaf, Alejandro Díaz-Caro, Simon Perdrix, Christine Tasson, Benoît Valiron
Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus Log. Methods Comput. Sci. 10 (4) (2014)
Benoît Valiron, Steve Zdancewic
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. ICTAC (2014)
Benoît Valiron, Steve Zdancewic
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces. Sci. Ann. Comput. Sci. 24 (2) (2014)
Michele Pagani, Peter Selinger, Benoît Valiron
Applying quantitative semantics to higher-order quantum computing. POPL (2014)
Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron
Quipper: Concrete Resource Estimation in Quantum Algorithms. CoRR (2014)
Benoît Valiron, Steve Zdancewic
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. CoRR (2014)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
The Vectorial Lambda-Calculus. CoRR (2013)
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
An Introduction to Quantum Programming in Quipper CoRR (2013)
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
Quipper: a scalable quantum programming language. PLDI (2013)
Benoît Valiron
A typed, algebraic, computational lambda-calculus. Math. Struct. Comput. Sci. 23 (2) (2013)
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
Quipper: A Scalable Quantum Programming Language CoRR (2013)
Michele Pagani, Peter Selinger, Benoît Valiron
Applying quantitative semantics to higher-order quantum computing. CoRR (2013)
Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
An Introduction to Quantum Programming in Quipper. RC (2013)
Benoît Valiron
Quantum Computation: From a Programmer's Perspective. New Gener. Comput. 31 (1) (2013)
Benoît Valiron
Quantum Computation: a Tutorial. New Gener. Comput. 30 (4) (2012)
Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron
Subject reduction in a Curry-style polymorphic type system with a vectorial structure DCM (2011)
Benoît Valiron
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract). Electron. Notes Theor. Comput. Sci. 270 (1) (2011)
Benoît Valiron
Semantics of a Typed Algebraic Lambda-Calculus DCM (2010)
Peter Selinger, Benoît Valiron
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract) CoRR (2008)
Peter Selinger, Benoît Valiron
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). FoSSaCS (2008)
Peter Selinger, Benoît Valiron
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 210 (2008)
Peter Selinger, Benoît Valiron
A lambda calculus for quantum computation with classical control. Math. Struct. Comput. Sci. 16 (3) (2006)
Peter Selinger, Benoît Valiron
A Lambda Calculus for Quantum Computation with Classical Control. TLCA (2005)
Benoît Valiron
Quantum typing CoRR (2004)

Benoît Valiron.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Benoît Valiron