research
∙
10/13/2021
Efficient Linearizability Checking for Actor-based Systems
Recent demand for distributed software had led to a surge in popularity ...
share
research
∙
05/24/2021
Automated Dynamic Concurrency Analysis for Go
The concurrency features of the Go language have proven versatile in the...
research
∙
04/24/2020
An Abstraction-guided Approach to Scalable and Rigorous Floating-Point Error Analysis
Automated techniques for rigorous floating-point round-off error analysi...
research
∙
04/09/2020
FPDetect: Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
We present FPDetect, a low overhead approach for detecting logical error...
research
∙
04/09/2020
Efficient Reasoning About Stencil Programs Using Selective Direct Evaluation
We present FPDetect, a low overhead approach for detecting logical error...
research
∙
11/06/2019
A Programmable Approach to Model Compression
Deep neural networks frequently contain far more weights, represented at...
research
∙
09/24/2019
Message Scheduling for Performant, Many-Core Belief Propagation
Belief Propagation (BP) is a message-passing algorithm for approximate i...
research
∙
11/14/2018
Multi-level analysis of compiler induced variability and performance tradeoffs
Floating-point arithmetic is the computational foundation of numerical s...
research
∙
07/27/2018