Intrepydd: performance, productivity, and portability for data science application kernels
Major simultaneous disruptions are currently under way in both hardware and software. In
hardware,``extreme heterogeneity''has become critical to sustaining cost and performance …
hardware,``extreme heterogeneity''has become critical to sustaining cost and performance …
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL
This report is a digest of the DOE/NSF Workshop on Correctness in Scientific Computing
(CSC'23) held on June 17, 2023, as part of the Federated Computing Research Conference …
(CSC'23) held on June 17, 2023, as part of the Federated Computing Research Conference …
Verifying properties of differentiable programs
There is growing demand for formal verification methods in the scientific and high
performance computing communities. For scientific applications, it is not only necessary to …
performance computing communities. For scientific applications, it is not only necessary to …
Program Verification for Extreme-Scale Applications (Final Scientific/Technical Report)
SF Siegel - 2020 - osti.gov
The project seeks to develop tools and techniques to help software developers verify the
correctness and accuracy of their code. The target domain is scientific software of the kind …
correctness and accuracy of their code. The target domain is scientific software of the kind …