Diane Gallois-Wong

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

Collaborative distances:

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

2026

Canonical LST: A Protocol-Native Liquid Staking Solution for Tezos.

Mathias Bourgoin, Arthur Breitman, Pierrick Couderc, Zaynah Dargaye, Diane Gallois-Wong, Marina Polubelova, Lucas Randazzo, Julien Tesson

CoRR, May, 2026

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

Luck: A Probabilistic Language for Testing.

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

Proceedings of the Foundations of Probabilistic Programming, 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