Bhargav Kulkarni

Research

ARITH 25
Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging
Bhargav Kulkarni, Pavel Panchekha
conf slides doi arxiv