Diane Gallois-Wong

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 5

Top Topics

Infinite Impulse Response

Language Learning

Top Venues

Numer. Algorithms

Publications

Sylvie Boldo, Diane Gallois-Wong, Thibault Hilaire
A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm. ARITH (2020)
Diane Gallois-Wong, Sylvie Boldo, Pascal Cuoq
Optimal inverse projection of floating-point addition. Numer. Algorithms 83 (3) (2020)
Diane Gallois-Wong, Sylvie Boldo, Thibault Hilaire
A Coq Formalization of Digital Filters. CICM (2018)
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's luck: a language for property-based generators. POPL (2017)
Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia
Beginner's Luck: A Language for Property-Based Generators. CoRR (2016)