14 citations · 21 across the 9 of their papers we have counts for
11 papers
FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
Taylor Allred, Xinyi Li, Ashton Wiersdorf +2
Reliable numerical computations are central to scientific computing, but the floating-point arithmetic that enables large-scale models is error-prone. Numeric exceptions are a comm…
Efficient Linearizability Checking for Actor-based Systems
Mohammed S. Al-Mahfoudh, Ryan Stutsman, Ganesh Gopalakrishnan
Recent demand for distributed software had led to a surge in popularity in actor-based frameworks. However, even with the stylized message passing model of actors, writing correct…
Automated Dynamic Concurrency Analysis for Go
Saeed Taheri, Ganesh Gopalakrishnan
The concurrency features of the Go language have proven versatile in the development of a number of concurrency systems. However, correctness methods to address challenges in Go co…
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…