Diane Gallois-Wong

According to our database, Diane Gallois-Wong authored at least 5 papers between 2017 and 2021.

Collaborative distances:

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

2021

Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie. (Coq formalization of digital filter algorithms computed using finite precision arithmetic).

Diane Gallois-Wong

PhD thesis, 2021

2020

Optimal inverse projection of floating-point addition.

Diane Gallois-Wong, Sylvie Boldo, Pascal Cuoq

Numer. Algorithms, 2020

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm.

Sylvie Boldo, Diane Gallois-Wong, Thibault Hilaire

Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020

2018

A Coq Formalization of Digital Filters.

Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2018

2017

Beginner's luck: a language for property-based generators.

Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017