Beginner's luck: a language for property-based generators. - Leonidas Lampropoulos; Diane Gallois-Wong; Catalin Hritcu; John Hughes 001; Benjamin C. Pierce; Li-yao Xia (POPL, 2017)

A Coq Formalization of Digital Filters. - Diane Gallois-Wong; Sylvie Boldo; Thibault Hilaire (CICM, 2018)

Luck: A Probabilistic Language for Testing. - Leonidas Lampropoulos; Benjamin C. Pierce; Li-yao Xia; Diane Gallois-Wong; Catalin Hritcu; John Hughes 001 (Foundations of Probabilistic Programming, 2020)

A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm. - Sylvie Boldo; Diane Gallois-Wong; Thibault Hilaire (ARITH, 2020)

Optimal inverse projection of floating-point addition. - Diane Gallois-Wong; Sylvie Boldo; Pascal Cuoq (Numer. Algorithms, 2020)

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 (2021)