This talk presents roundme, a human-assisted rounding analyzer. Roundme helps its operator determine whether an arithmetic operation should round up or down. The talk shows examples of real rounding bugs and how they could have been prevented with roundme.
Presented at
Resources
Author
- Josselin Feist