Benoît Valiron
52
Documents
Présentation
This page summarizes the papers known by HAL. Listing and storing publications in HAL is a French requirement: all of my papers since 2014 should be listed there.
Other sources of data includes:
- [Academic webpage](https://www.monoidal.net)
- [DBLP records](https://dblp.org/pid/48/1480)
- [Mastodon account](https://social.sciences.re/@b3nb3n)
Publications
|
A Complete Equational Theory for Quantum Circuits2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Jun 2023, Boston, United States. pp.1-13, ⟨10.1109/LICS56636.2023.10175801⟩
Communication dans un congrès
hal-03926757v1
|
|
A Curry-Howard Correspondence for Linear, Reversible ComputationCSL 2023 - 31st EACSL Annual Conference on Computer Science Logic, Bartek Klin and Elaine Pimentel, Feb 2023, Varsovie (Warsaw), Poland. ⟨10.4230/LIPIcs.CSL.2023.13⟩
Communication dans un congrès
hal-04308283v1
|
A Complete Equational Theory for Quantum Circuits18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), Jul 2023, Aveiro, Portugal
Communication dans un congrès
hal-04318291v1
|
|
LO_v-Calculus: A Graphical Language for Linear Optical Quantum CircuitsMFCS 2022 - 47th International Symposium on Mathematical Foundations of Computer Science, Aug 2022, Vienna, Austria. pp.35:1--35:16, ⟨10.4230/LIPIcs.MFCS.2022.35⟩
Communication dans un congrès
hal-03926660v1
|
|
|
Geometry of Interaction for ZX-DiagramsMFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Aug 2021, Tallinn, Estonia. pp.30:1--30:16, ⟨10.4230/LIPIcs.MFCS.2021.30⟩
Communication dans un congrès
hal-03154573v1
|
|
Towards a Curry-Howard Correspondence for Linear, Reversible Computation5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy
Communication dans un congrès
lirmm-03271484v1
|
Categorical Semantics of Reversible Pattern-MatchingProceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021, Salzburg, Austria. pp.18-33, ⟨10.4204/EPTCS.351.2⟩
Communication dans un congrès
hal-03553872v1
|
|
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021), 2021, Online, India. pp.51:1--51:20, ⟨10.4230/LIPIcs.FSTTCS.2021.51⟩
Communication dans un congrès
hal-03553904v1
|
|
|
Geometry of Interaction for ZX-DiagramsTLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy
Communication dans un congrès
lirmm-03272411v1
|
Hybrid Quantum-Classical Circuit Simplification with the ZX-CalculusAPLAS 2021 - Asian Symposium on Programming Languages and Systems, Oct 2021, Chicago, United States. pp.121-139, ⟨10.1007/978-3-030-89051-3_8⟩
Communication dans un congrès
hal-03539521v1
|
|
|
Toward a Curry-Howard Equivalence for Linear, Reversible ComputationRC 2020 - 12th international conference on Reversible Computation, Jul 2020, Oslo / Virtual, Norway. pp.144-152, ⟨10.1007/978-3-030-52482-1_8⟩
Communication dans un congrès
hal-03103455v1
|
|
On the Semantics of Polychronous Polytimed Specifications18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.23-40, ⟨10.1007/978-3-030-57628-8_2⟩
Communication dans un congrès
hal-02931403v1
|
|
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding ProblemReversible Computation, Jul 2020, Oslo, Norway. ⟨10.1007/978-3-030-52482-1_11⟩
Communication dans un congrès
hal-04349410v1
|
|
Qbricks, un environnement pour la vérification formelle en informatique quantique *18e journées Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2019, Toulouse, France
Communication dans un congrès
hal-02175079v1
|
|
Synthesizing Quantum Circuits via Numerical Optimization19th International Conference in Computational Science - ICCS 2019, Jun 2019, Faro, Portugal. pp.3-16, ⟨10.1007/978-3-030-22741-8_1⟩
Communication dans un congrès
hal-02174967v1
|
|
Realizability in the Unitary Sphere34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Jun 2019, Vancouver, Canada
Communication dans un congrès
hal-02175168v1
|
|
From Symmetric Pattern-Matching to Quantum Control21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Apr 2018, Thessalonique, Greece
Communication dans un congrès
hal-01763568v1
|
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès
hal-01890134v1
|
|
Toward certified quantum programming2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Communication dans un congrès
hal-02175112v1
|
|
A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing15th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS 2017, Sep 2017, Berlin, Germany. ⟨10.1007/978-3-319-65765-3_18⟩
Communication dans un congrès
hal-01583815v1
|
|
The Geometry of Parallelism: Classical, Probabilistic, and Quantum EffectsPOPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.833-845, ⟨10.1145/3009837.3009859⟩
Communication dans un congrès
hal-01474620v1
|
|
Reuse method for quantum circuit synthesisInternational Conference: Applied Mathematics, Modeling and Computational Science (AMMCS 2017), Aug 2017, Waterloo, Canada
Communication dans un congrès
hal-01711378v1
|
Generating reversible circuits from higher-order functional programs8th International Conference on Reversible Computation (RC 2016), Jul 2016, Bologne, Italy. pp.289-306, ⟨10.1007/978-3-319-40578-0_21⟩
Communication dans un congrès
hal-01474621v1
|
|
Toward analytic rewriting theoryInformal Electronic Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR’16), 2016, Porto, Portugal
Communication dans un congrès
hal-01763461v1
|
|
|
Towards a formal semantics of the TESL specification language3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès
hal-01239669v1
|
|
Parallelism and Synchronization in an Infinitary ContextLICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.58⟩
Communication dans un congrès
hal-01231813v1
|
A Type System for the Vectorial Aspect of the Linear-Algebraic Lambda-CalculusDCM - 7th International Workshop on Developments of Computational Methods - 2011, Jul 2011, Zurich, Swaziland. pp.1-15, ⟨10.4204/EPTCS.88.1⟩
Communication dans un congrès
hal-00924926v1
|
|
Equivalence of algebraic λ-calculiHOR - 5th International Workshop on Higher-Order Rewriting - 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11
Communication dans un congrès
hal-00924912v1
|
|
A linear-non-linear model for a computational call-by-value lambda calculus (extended abstract)Foundation of Software Science and Computation Structures, Mar 2008, Budapest, Hungary. pp.81--96, ⟨10.1007/978-3-540-78499-9_7⟩
Communication dans un congrès
hal-00483903v1
|
|
A lambda calculus for quantum computation with classical controlSeventh International Conference on Typed Lambda Calculi and Applications, Apr 2005, Nara, Japan. pp.354--368, ⟨10.1007/11417170_26⟩
Communication dans un congrès
hal-00483924v1
|
Proceedings 20th International Conference on Quantum Physics and LogicQPL 2023 - Quantum Physics and Logic, Electronic Proceedings in Theoretical Computer Science, 384, 2023, ⟨10.4204/EPTCS.384⟩
Proceedings/Recueil des communications
hal-04480804v1
|
|
Proceedings 17th International Conference on Quantum Physics and LogicElectronic Proceedings in Theoretical Computer Science, 340, 2021, ⟨10.4204/EPTCS.340⟩
Proceedings/Recueil des communications
hal-03553539v1
|
Formal Methods for Quantum AlgorithmsHandbook of Formal Analysis and Verification in Cryptography, 1, CRC Press, pp.319-422, 2023, ⟨10.1201/9781003090052-7⟩
Chapitre d'ouvrage
hal-04311441v1
|
|
|
Formal Methods for Quantum AlgorithmsHandbook of Formal Analysis and Verification in Cryptography, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656
Chapitre d'ouvrage
cea-04479879v1
|
Programmer un ordinateur quantique2017
Autre publication scientifique
hal-01763585v1
|
|
A Curry-Howard Correspondence for Linear, Reversible Computation2022
Pré-publication, Document de travail
hal-03747425v1
|
|
The Many-Worlds Calculus2022
Pré-publication, Document de travail
hal-03654190v2
|
|
Semantics for a Higher Order Functional Programming Language for Quantum ComputationOther [cs.OH]. University of Ottawa, 2008. English. ⟨NNT : ⟩
Thèse
tel-00483944v1
|