14 citations · 21 across the 9 of their papers we have counts for
3 papers · 1 filter
Going Beyond Classification Accuracy Metrics in Model Compression
Vinu Joseph, Shoaib Ahmed Siddiqui, Aditya Bhaskara +5
With the rise in edge-computing devices, there has been an increasing demand to deploy energy and resource-efficient models. A large body of research has been devoted to developing…
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis
Arnab Das, Ian Briggs, Ganesh Gopalakrishnan +2
Automated techniques for rigorous floating-point round-off error analysis are important in areas including formal verification of correctness and precision tuning. Existing tools a…
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
Arnab Das, Sriram Krishnamoorthy, Ian Briggs +2
We present FPDetect, a low overhead approach for detecting logical errors and soft errors affecting stencil computations without generating false positives. We develop an offline a…