ucd-plse Goto Github PK

bugswarm-reproducibility

ciel-develop

Ciel identifies the root cause of numerical inconsistencies induced by compilers

dwarf-p-cloudsc-tuning

Standalone mini-app of the ECMWF cloud microphysics parameterization

eesi

EESI: Effective Error-Handling Specification Inference via Domain Knowledge Expansion

fms

GFDL's Flexible Modeling System

fpdiff

FPDiff is a tool for automated, end-to-end differential testing that, given only library source code as input, extracts numerical function signatures, synthesizes drivers, creates equivalence classes of functions that are synonymous, and executes differential tests over these classes to detect meaningful numerical discrepancies between implementations. FPDiff's current scope covers special functions across numerical libraries written in different programming languages. This artifact in particular includes the following libraries: the C library GSL (The GNU Scientific Library, version 2.6), the Python libraries SciPy (version 1.3.1) and mpmath (version 1.1.0), and the JavaScript library jmat (commit 21d15fc3eb5a924beca612e337f5cb00605c03f3).

fpgen

fplearner

FPLearner is a DL-based tool to predict performance and accuracy of mixed-precision programs that can be used in dynamic precision tuners to save time.

func2vec-fse2018-artifact

hifptuner

HiFPTuner is a dynamic precision tuner. Different from other tuners, it explores the community structure of the floating-point variables and uses the community structure to guide precision tuning to find better precision configurations in less time.

llvmlinux

mom6

Modular Ocean Model

mom6-updated

Modular Ocean Model

mpas-tuning

Repository for MPAS models and shared framework releases.

mpi-error-prop

ncar-kgen-kernels

on-the-reproducibility

pliner-forked

pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler optimizations.

precimonious

A tuning assistant tool to find a lower floating-point precision that can be used in any part of a program. Precimonious performs a search on the program variables trying to lower their precision subject to accuracy constraints and performance goals. The tool then recommends a type instantiation for these variables using less precision while producing an accurate enough answer without causing exceptions.

pydfix

PyDFix is a tool that helps detect and fix dependency errors that cause the unreproducibility of Python builds. PyDFix takes as input the current build log, the original build log and the source code. PyDFix first identifies dependency errors and possible dependency packages causing these errors using LogErrorAnalyzer. This is followed by iteratively building a patch that makes the build reproducible again by Itera- tiveDependencySolver. The iterative algorithm for building the patch keeps re-running the build with intermediate patches and analyzing the new build logs produced to further identify errors and problematic dependency version specifications. This process continues until the build becomes reproducible, or all patch options have been tested and deemed not useful.

reproducibility-scanner

Test Framework for Reproducibility of Software Defect Artifacts.

rose

Developed at Lawrence Livermore National Laboratory (LLNL), ROSE is an open source compiler infrastructure to build source-to-source program transformation and analysis tools for large-scale C (C89 and C98), C++ (C++98 and C++11), UPC, Fortran (77/95/2003), OpenMP, Java, Python and PHP applications.

static-analyzer-study-data

static-bug-detectors-ase-artifact

tutorial-precision-tuning

This tutorial contains two exercises of Precimonious and two exercises of HiFPTuner.