Benoît Valiron

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