Alice Pain

According to our database, Alice Pain authored at least 1 paper in 2022.

Collaborative distances:

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

2022

Formally verified 32- and 64-bit integer division using double-precision floating-point arithmetic.

David Monniaux, Alice Pain

Proceedings of the 29th IEEE Symposium on Computer Arithmetic, 2022