5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SE2026
FPScan: An Automated Constraint-Based Analyzer for Floating-Point Anomaly Detection
Julien Bortolussi, Dorra Ben Khalifa, Pierre-Loïc Garoche
Writing error-free floating-point programs is a challenging task, especially for programmers who lack a strong background in numerical analysis and rounding-error propagation. Stat…
cs.DC2024★ 5 cited
What Operations can be Performed Directly on Compressed Arrays, and with What Error?
Tripti Agarwal, Harvey Dam, Dorra Ben Khalifa +3
In response to the rapidly escalating costs of computing with large matrices and tensors caused by data movement, several lossy compression methods have been developed to significa…