Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDBenoît Valiron
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
[c20]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: 148-177- [i18]Yann Hamdaoui, Benoît Valiron:
An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions. CoRR abs/2102.05161 (2021) - 2020
- [j12]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron
, Cyril Allouche:
Quantum circuits synthesis using Householder transformations. Comput. Phys. Commun. 248: 107001 (2020) - [c19]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: 23-40 - [c18]Kostia Chardonnet, Alexis Saurin, Benoît Valiron:
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress. RC 2020: 144-152 - [c17]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: 189-205 - [i17]Christophe Chareton, Sébastien Bardin, François Bobot, Valentin Perrelle, Benoît Valiron:
Toward certified quantum programming. CoRR abs/2003.05841 (2020) - [i16]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche:
Quantum circuit synthesis using Householder transformations. CoRR abs/2004.07710 (2020) - [i15]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche:
Synthesizing quantum circuits via numerical optimization. CoRR abs/2004.07714 (2020)
2010 – 2019
- 2019
- [c16]Timothée Goubault de Brugière, Marc Baboulin, Benoît Valiron, Cyril Allouche:
Synthesizing Quantum Circuits via Numerical Optimization. ICCS (2) 2019: 3-16 - [c15]Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron:
Realizability in the Unitary Sphere. LICS 2019: 1-13 - [i14]Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron:
Realizability in the Unitary Sphere. CoRR abs/1904.08785 (2019) - 2018
- [c14]Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto:
From Symmetric Pattern-Matching to Quantum Control. FoSSaCS 2018: 348-364 - [i13]Amr Sabry, Benoît Valiron, Juliana Kaizer Vizzotto:
From Symmetric Pattern-Matching to Quantum Control (Extended Version). CoRR abs/1804.00952 (2018) - [i12]Benoît Valiron:
A Formal Analysis of Quantum Algorithms. ERCIM News 2018(112) (2018) - 2017
- [j11]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The vectorial λ-calculus. Inf. Comput. 254: 105-139 (2017) - [j10]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): 60 (2017) - [c13]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: 318-334 - [c12]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
The geometry of parallelism: classical, probabilistic, and quantum effects. POPL 2017: 833-845 - 2016
- [c11]Benoît Valiron:
Generating Reversible Circuits from Higher-Order Functional Programs. RC 2016: 289-306 - [i11]Benoît Valiron:
Generating reversible circuits from higher-order functional programs. CoRR abs/1603.08213 (2016) - [i10]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. CoRR abs/1610.09629 (2016) - 2015
- [j9]Benoît Valiron, Neil J. Ross, Peter Selinger, D. Scott Alexander, Jonathan M. Smith:
Programming the quantum future. Commun. ACM 58(8): 52-61 (2015) - [c10]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
Parallelism and Synchronization in an Infinitary Context. LICS 2015: 559-572 - [c9]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: 14-19 - [i9]Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu:
Parallelism and Synchronization in an Infinitary Context (Long Version). CoRR abs/1505.03635 (2015) - 2014
- [j8]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) - [j7]Benoît Valiron, Steve Zdancewic:
Modeling Simply-Typed Lambda Calculi in the Category of Finite Vector Spaces. Sci. Ann. Comput. Sci. 24(2): 325-368 (2014) - [c8]Benoît Valiron, Steve Zdancewic:
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. ICTAC 2014: 442-459 - [c7]Michele Pagani, Peter Selinger, Benoît Valiron:
Applying quantitative semantics to higher-order quantum computing. POPL 2014: 647-658 - [i8]Benoît Valiron, Steve Zdancewic:
Finite Vector Spaces as Model of Simply-Typed Lambda-Calculi. CoRR abs/1406.1310 (2014) - [i7]Jonathan M. Smith, Neil J. Ross, Peter Selinger, Benoît Valiron:
Quipper: Concrete Resource Estimation in Quantum Algorithms. CoRR abs/1412.0625 (2014) - 2013
- [j6]Benoît Valiron:
A typed, algebraic, computational lambda-calculus. Math. Struct. Comput. Sci. 23(2): 504-554 (2013) - [j5]Benoît Valiron:
Quantum Computation: From a Programmer's Perspective. New Gener. Comput. 31(1): 1-26 (2013) - [c6]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
Quipper: a scalable quantum programming language. PLDI 2013: 333-342 - [c5]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
An Introduction to Quantum Programming in Quipper. RC 2013: 110-124 - [i6]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
Quipper: A Scalable Quantum Programming Language. CoRR abs/1304.3390 (2013) - [i5]Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
An Introduction to Quantum Programming in Quipper. CoRR abs/1304.5485 (2013) - [i4]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
The Vectorial Lambda-Calculus. CoRR abs/1308.1138 (2013) - [i3]Michele Pagani, Peter Selinger, Benoît Valiron:
Applying quantitative semantics to higher-order quantum computing. CoRR abs/1311.2290 (2013) - 2012
- [j4]Benoît Valiron:
Quantum Computation: a Tutorial. New Gener. Comput. 30(4): 271-296 (2012) - 2011
- [j3]Benoît Valiron:
On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract). Electron. Notes Theor. Comput. Sci. 270(1): 121-128 (2011) - [c4]Pablo Arrighi, Alejandro Díaz-Caro, Benoît Valiron:
Subject reduction in a Curry-style polymorphic type system with a vectorial structure. DCM 2011: 1-15 - 2010
- [c3]Benoît Valiron:
Semantics of a Typed Algebraic Lambda-Calculus. DCM 2010: 147-158
2000 – 2009
- 2008
- [b1]Benoît Valiron:
Semantics for a Higher Order Functional Programming Language for Quantum Computation. University of Ottawa, Ontario, Canada, 2008 - [j2]Peter Selinger, Benoît Valiron:
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 210: 123-137 (2008) - [c2]Peter Selinger, Benoît Valiron:
A Linear-non-Linear Model for a Computational Call-by-Value Lambda Calculus (Extended Abstract). FoSSaCS 2008: 81-96 - [i2]Peter Selinger, Benoît Valiron:
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract). CoRR abs/0801.0813 (2008) - 2006
- [j1]Peter Selinger, Benoît Valiron:
A lambda calculus for quantum computation with classical control. Math. Struct. Comput. Sci. 16(3): 527-552 (2006) - 2005
- [c1]Peter Selinger, Benoît Valiron:
A Lambda Calculus for Quantum Computation with Classical Control. TLCA 2005: 354-368 - 2004
- [i1]Benoît Valiron:
Quantum typing. CoRR cs.LO/0404056 (2004)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter account. At the same time, Twitter will persistently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2021-03-26 00:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
