Diane Gallois-Wong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
2017–2020
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ARITH | A Correctly-Rounded Fixed-Point-Arithmetic Dot-Product Algorithm. | Sylvie Boldo, Diane Gallois-Wong, Thibault Hilaire |
| 2017 | POPL | Beginner's luck: a language for property-based generators. | Leonidas Lampropoulos, Diane Gallois-Wong, Catalin Hritcu, John Hughes, Benjamin C. Pierce, Li-yao Xia |