research
∙
05/14/2022
Efficient Hierarchical State Vector Simulation of Quantum Circuits via Acyclic Graph Partitioning
Early but promising results in quantum computing have been enabled by th...
share
research
∙
01/04/2022
TAMM: Tensor Algebra for Many-body Methods
Tensor contraction operations in computational chemistry consume signifi...
research
∙
05/27/2021
Characterizing Impacts of Storage Faults on HPC Applications: A Methodology and Insights
In recent years, the increasing complexity in scientific simulations and...
research
∙
02/13/2021
COMET: A Domain-Specific Compilation of High-Performance Computational Chemistry
The computational power increases over the past decades havegreatly enha...
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
∙
04/15/2019
