Benoît Valiron

According to our database1, Benoît Valiron authored at least 36 papers between 2004 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Quantum circuits synthesis using Householder transformations.
Comput. Phys. Commun., 2020

Quantum circuit synthesis using Householder transformations.
CoRR, 2020

Toward certified quantum programming.
CoRR, 2020

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

Synthesizing Quantum Circuits via Numerical Optimization.
Proceedings of the Computational Science - ICCS 2019, 2019

2018
A Formal Analysis of Quantum Algorithms.
ERCIM News, 2018

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

From Symmetric Pattern-Matching to Quantum Control.
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.
Quantum Inf. Process., 2017

The vectorial λ-calculus.
Inf. Comput., 2017

The geometry of parallelism: classical, probabilistic, and quantum effects.
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.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016
Generating Reversible Circuits from Higher-Order Functional Programs.
Proceedings of the Reversible Computation - 8th International Conference, 2016

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

Programming the quantum future.
Commun. ACM, 2015

Towards a Formal Semantics of the TESL Specification Language.
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.
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.
Sci. Ann. Comp. Sci., 2014

Call-by-value, call-by-name and the vectorial behaviour of the algebraic λ-calculus
Logical Methods in Computer Science, 2014

Quipper: Concrete Resource Estimation in Quantum Algorithms.
CoRR, 2014

Applying quantitative semantics to higher-order quantum computing.
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.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2013
Quantum Computation: From a Programmer's Perspective.
New Gener. Comput., 2013

A typed, algebraic, computational lambda-calculus.
Math. Struct. Comput. Sci., 2013

The Vectorial Lambda-Calculus.
CoRR, 2013

An Introduction to Quantum Programming in Quipper.
Proceedings of the Reversible Computation - 5th International Conference, 2013

Quipper: a scalable quantum programming language.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

2012
Quantum Computation: a Tutorial.
New Gener. Comput., 2012

2011
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract).
Electron. Notes Theor. Comput. Sci., 2011

Subject reduction in a Curry-style polymorphic type system with a vectorial structure
Proceedings of the Proceedings 7th International Workshop on Developments of Computational Methods, 2011

2010
Semantics of a Typed Algebraic Lambda-Calculus
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.
PhD thesis, 2008

On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).
Electron. Notes Theor. Comput. Sci., 2008

A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract).
Proceedings of the Foundations of Software Science and Computational Structures, 2008

2006
A lambda calculus for quantum computation with classical control.
Math. Struct. Comput. Sci., 2006

2004
Quantum typing
CoRR, 2004


  Loading...