Benoît Valiron
Orcid: 0000-0002-1008-5605
According to our database1,
Benoît Valiron
authored at least 67 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Non-deterministic, probabilistic, and quantum effects through the lens of event structures (Technical report).
CoRR, 2024
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types.
Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024
Non-deterministic, Probabilistic, and Quantum Effects Through the Lens of Event Structures.
Proceedings of the Programming Languages and Systems - 22nd Asian Symposium, 2024
2023
Quantum Inf. Process., March, 2023
Quantum, February, 2023
Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
Proceedings of the Handbook of Formal Analysis and Verification in Cryptography, 2023
2022
Decoding techniques applied to the compilation of CNOT circuits for NISQ architectures.
Sci. Comput. Program., 2022
J. Log. Algebraic Methods Program., 2022
Gaussian Elimination versus Greedy Methods for the Synthesis of Linear Reversible Circuits.
CoRR, 2022
Proceedings of the IEEE International Conference on Quantum Computing and Engineering, 2022
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022
2021
Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021
An Interactive Proof of Termination for a Concurrent λ-calculus with References and Explicit Substitutions.
CoRR, 2021
Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021
Concrete Categorical Model of a Quantum Circuit Description Language with Measurement.
Proceedings of the 41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2021
Proceedings of the Programming Languages and Systems, 2021
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
2020
Comput. Phys. Commun., 2020
Toward a Curry-Howard Equivalence for Linear, Reversible Computation - Work-in-Progress.
Proceedings of the Reversible Computation - 12th International Conference, 2020
Quantum CNOT Circuits Synthesis for NISQ Architectures Using the Syndrome Decoding Problem.
Proceedings of the Reversible Computation - 12th International Conference, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the Computational Science - ICCS 2019, 2019
2018
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
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
Proceedings of the Reversible Computation - 8th International Conference, 2016
2015
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
Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015
2014
Sci. Ann. Comput. Sci., 2014
Log. Methods Comput. Sci., 2014
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014
2013
Proceedings of the Reversible Computation - 5th International Conference, 2013
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013
2012
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
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
Proceedings of the Joint 5th International Workshop on Quantum Physics and Logic and 4th Workshop on Developments in Computational Models, 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
Math. Struct. Comput. Sci., 2006
On a Fully Abstract Model for a Quantum Linear Functional Language: (Extended Abstract).
Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006
2004