Raphaël Rieu-Helft

According to our database, Raphaël Rieu-Helft authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formally Verified Rounding Errors of the Logarithm-Sum-Exponential Function.

Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, Raphaël Rieu-Helft

Proceedings of the Formal Methods in Computer-Aided Design, 2024

2020

Development and verification of arbitrary-precision integer arithmetic libraries. (Développement et vérification de bibliothèques d'arithmétique entière en précision arbitraire).

Raphaël Rieu-Helft

PhD thesis, 2020

WhyMP, a formally verified arbitrary-precision integer library.

Guillaume Melquiond, Raphaël Rieu-Helft

Proceedings of the ISSAC '20: International Symposium on Symbolic and Algebraic Computation, 2020

2019

A Why3 proof of GMP algorithms.

Raphaël Rieu-Helft

J. Formaliz. Reason., 2019

Formal Verification of a State-of-the-Art Integer Square Root.

Guillaume Melquiond, Raphaël Rieu-Helft

Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

2018

A Why3 Framework for Reflection Proofs and Its Application to GMP's Algorithms.

Guillaume Melquiond, Raphaël Rieu-Helft

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

How to Get an Efficient yet Verified Arbitrary-Precision Integer Library.

Raphaël Rieu-Helft, Claude Marché, Guillaume Melquiond

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017