Raphaël Rieu-Helft

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

Collaborative distances:

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

2023

WhyMP, a formally verified arbitrary-precision integer library.

Guillaume Melquiond, Raphaël Rieu-Helft

J. Symb. Comput., 2023

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

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