
Benoît Valiron
Professeur CentraleSupélec, Université Paris-Saclay
55
Documents
Affiliations actuelles
- Quantum Computation Structures (QuaCS)
- CentraleSupélec
- Laboratoire Méthodes Formelles (LMF)
Identifiants chercheurs
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
3
3
8
4
9
4
3
5
5
2
3
1
1
1
2
1
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⟩
Communication dans un congrès
hal-05006039
v1
|
|
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⟩
Communication dans un congrès
hal-04636603
v1
|
Non-deterministic, probabilistic, and quantum effects through the lens of event structuresThe 22nd Asian Symposium on Programming Languages and Systems, Oct 2024, Kyoto, Japan
Communication dans un congrès
hal-04744478
v1
|
|
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-04318291
v1
|
|
|
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-04308283
v1
|
|
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-03926757
v1
|
|
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-03926660
v1
|
|
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-03539521
v1
|
|
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-03553904
v1
|
|
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-03553872
v1
|
|
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-03272411
v1
|
|
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-03154573
v1
|
|
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-03271484
v1
|
|
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-03103455
v1
|
|
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-02931403
v1
|
|
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-04349410
v1
|
|
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-02175168
v1
|
|
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-02175079
v1
|
|
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-02174967
v1
|
|
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-01763568
v1
|
|
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-01711378
v1
|
|
Toward certified quantum programming2nd International Workshop on Quantum Compilation, Nov 2018, San Diego, United States
Communication dans un congrès
hal-02175112
v1
|
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès
hal-01890134
v1
|
|
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-01583815
v1
|
|
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-01474620
v1
|
|
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-01474621
v1
|
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-01763461
v1
|
|
|
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-01239669
v1
|
|
Parallelism and Synchronization in an Infinitary ContextLICS 2015, Jul 2015, Kyoto, Japan. ⟨10.1109/LICS.2015.58⟩
Communication dans un congrès
hal-01231813
v1
|
|
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-00924926
v1
|
|
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-00924912
v1
|
|
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-00483903
v1
|
|
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-00483924
v1
|
|
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-04480804
v1
|
|
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-03553539
v1
|
|
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⟩
Chapitre d'ouvrage
cea-04479879
v1
|
Programmer un ordinateur quantique2017
Autre publication scientifique
hal-01763585
v1
|
|
The Many-Worlds Calculus2025
Pré-publication, Document de travail
hal-03654190
v3
|
|
A Curry-Howard Correspondence for Linear, Reversible Computation2025
Pré-publication, Document de travail
hal-03747425
v2
|
|
Semantics for a Higher Order Functional Programming Language for Quantum ComputationOther [cs.OH]. University of Ottawa, 2008. English. ⟨NNT : ⟩
Thèse
tel-00483944
v1
|
|
On Quantum Programming LanguagesComputer Science [cs]. Université Paris Saclay, 2024
HDR
tel-04740855
v1
|
Chargement...
Chargement...