Benoît Valiron
- Quantum Computation Structures (QuaCS)
- CentraleSupélec
- Laboratoire Méthodes Formelles (LMF)
Présentation
Cette page liste mes publications connues par HAL. Il s'agit d'une obligation institutionnelle: tous mes papiers depuis 2014 devraient être ici. D'autres sources d'information (avec aussi les papiers plus anciens) sont par exemple:
Publications
Publications
|
|
A Rewriting Theory for Quantum λ-CalculusCSL 2025 - 33rd EACSL Annual Conference on Computer Science Logic, Feb 2025, Amsterdam, Netherlands. pp.47:1--47:22, ⟨10.4230/LIPICS.CSL.2025.47⟩ |
|
|
Semantics for a Turing-Complete Reversible Programming Language with Inductive TypesFSCD 2024 - 9th International Conference on Formal Structures for Computation and Deduction, Jul 2024, Tallinn, Estonia. pp.19:1-19:19, ⟨10.4230/LIPIcs.FSCD.2024.19⟩ |
Non-deterministic, probabilistic, and quantum effects through the lens of event structuresThe 22nd Asian Symposium on Programming Languages and Systems, Oct 2024, Kyoto, Japan |
|
A Complete Equational Theory for Quantum Circuits18th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2023), Jul 2023, Aveiro, Portugal |
|
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Geometry of Interaction for ZX-DiagramsTLLA 2021 - 5th International Workshop on Trends in Linear Logic and Applications, Jun 2021, Rome / Virtual, Italy |
|
|
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 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
|
|
Realizability in the Unitary Sphere34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), Jun 2019, Vancouver, Canada |
|
|
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 |
|
|
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⟩ |
|
|
Toward certified quantum programming2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States |
|
|
Reuse method for quantum circuit synthesisInternational Conference: Applied Mathematics, Modeling and Computational Science (AMMCS 2017), Aug 2017, Waterloo, Canada |
|
|
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 |
|
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom |
|
|
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⟩ |
|
|
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⟩ |
|
|
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⟩ |
Toward analytic rewriting theoryInformal Electronic Proceedings of the 8th International Workshop on Higher-Order Rewriting (HOR’16), 2016, Porto, Portugal |
|
|
|
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 |
|
|
Parallelism and Synchronization in an Infinitary ContextLICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.58⟩ |
|
|
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⟩ |
|
|
Equivalence of algebraic λ-calculiHOR - 5th International Workshop on Higher-Order Rewriting - 2010, Eduardo Bonelli, Jul 2010, Edinburgh, United Kingdom. pp.6-11 |
|
|
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⟩ |
|
|
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⟩ |
|
|
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 17th International Conference on Quantum Physics and LogicElectronic Proceedings in Theoretical Computer Science, 340, 2021, ⟨10.4204/EPTCS.340⟩ |
|
|
Formal Methods for Quantum AlgorithmsHandbook of Formal Analysis and Verification in Cryptography, 1, CRC Press; Taylor and Francis, pp.319-422, 2023, Prospect in Pure and Applied Mathematics, 9780367546656. ⟨10.1201/9781003090052-7⟩ |
Programmer un ordinateur quantique2017 |
|
|
The Tensor-Plus Calculus2026 |
|
|
Semantics for a Higher Order Functional Programming Language for Quantum ComputationOther [cs.OH]. University of Ottawa, 2008. English. ⟨NNT : ⟩ |
|
|
On Quantum Programming LanguagesComputer Science [cs]. Université Paris Saclay, 2024 |