Research
| OOPSLA'26 |
Semantics for 2D Rasterization
Bhargav Kulkarni, Henry Whiting Pavel Panchekha |
| IEEE ARITH'25 |
Mixing Condition Numbers and Oracles for Accurate Floating-point Debugging
Bhargav Kulkarni, Pavel Panchekha |