Pinned Repositories
eesi
EESI: Effective Error-Handling Specification Inference via Domain Knowledge Expansion
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.
MPAS-tuning
Repository for MPAS models and shared framework releases.
mpi-error-prop
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.
Static-Bug-Detectors-ASE-Artifact
ucd-plse's Repositories
ucd-plse/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.
ucd-plse/FPGen
ucd-plse/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).
ucd-plse/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.
ucd-plse/mpi-error-prop
ucd-plse/Static-Bug-Detectors-ASE-Artifact
ucd-plse/eesi
EESI: Effective Error-Handling Specification Inference via Domain Knowledge Expansion
ucd-plse/eesi-llm
Interlea
ucd-plse/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.
ucd-plse/func2vec-fse2018-artifact
ucd-plse/MPAS-tuning
Repository for MPAS models and shared framework releases.
ucd-plse/PROSE
PROSE is a tool for automated floating-point precision tuning of Fortran code designed to target large weather and climate models.
ucd-plse/On-the-Reproducibility
ucd-plse/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.
ucd-plse/tutorial-precision-tuning
This tutorial contains two exercises of Precimonious and two exercises of HiFPTuner.
ucd-plse/pLiner-forked
pLiner is a framework that helps programmers identify locations in the source of numerical code that are highly affected by compiler optimizations.
ucd-plse/Precimonious-Clang-Plugins
ucd-plse/reproducibility-scanner
Test Framework for Reproducibility of Software Defect Artifacts.
ucd-plse/bugswarm-reproducibility
ucd-plse/Ciel-develop
Ciel identifies the root cause of numerical inconsistencies induced by compilers
ucd-plse/dwarf-p-cloudsc-tuning
Standalone mini-app of the ECMWF cloud microphysics parameterization
ucd-plse/FMS
GFDL's Flexible Modeling System
ucd-plse/FPGen-SVPT
ucd-plse/llvmlinux
ucd-plse/MOM6
Modular Ocean Model
ucd-plse/MOM6-updated
Modular Ocean Model
ucd-plse/ncar-kgen-kernels
ucd-plse/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.
ucd-plse/Static-Analyzer-Study-Data