63 citations · 83 across the 11 of their papers we have counts for
1 paper · 2 filters
Andrea Gilot, Tobias Wrigstad, Eva Darulova
Reasoning about floating-point arithmetic is notoriously hard. While static and dynamic analysis techniques or program repair have made significant progress, more work is still nee…