Rutgers Architecture and Programming Languages (RAPL) Group
Open source repository of the Rutgers Architecture and Programming Languages (RAPL) group
CORE 333, SAS-CS, Piscataway, NJ, 08854
Pinned Repositories
alive-nj
Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
fpsanitizer
A debugger to detect and diagnose numerical errors in floating point programs
omp-whip
OMP-WHIP: A parallelism profiler with what-if analyses for OpenMP programs
rlibm
Rutgers APL correctly rounded math library
rlibm-32
RLibm for 32-bit representations (float and posit32)
rlibm-all
RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point representations and rounding modes
rlibm-generator
A tool to generate approximations of elementary functions that produce the correctly rounded result for all inputs. This tool can be used for different representations that approximate real numbers.
TaskProf
A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
TaskProf2
A Parallelism Profiler and an Adviser for Task Parallel Programs.
The-RLIBM-Project
A combined repository for all RLIBM prototypes
Rutgers Architecture and Programming Languages (RAPL) Group's Repositories
rutgers-apl/rlibm-32
RLibm for 32-bit representations (float and posit32)
rutgers-apl/The-RLIBM-Project
A combined repository for all RLIBM prototypes
rutgers-apl/alive-nj
Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
rutgers-apl/rlibm
Rutgers APL correctly rounded math library
rutgers-apl/rlibm-all
RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point representations and rounding modes
rutgers-apl/fpsanitizer
A debugger to detect and diagnose numerical errors in floating point programs
rutgers-apl/TaskProf
A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs
rutgers-apl/rlibm-generator
A tool to generate approximations of elementary functions that produce the correctly rounded result for all inputs. This tool can be used for different representations that approximate real numbers.
rutgers-apl/TaskProf2
A Parallelism Profiler and an Adviser for Task Parallel Programs.
rutgers-apl/CASM-Verify
Automatic functional verification tool for assembly implementation of cryptographic algorithms
rutgers-apl/omp-whip
OMP-WHIP: A parallelism profiler with what-if analyses for OpenMP programs
rutgers-apl/EFTSanitizer
EFTSanitizer is a tool for fast shadow execution using error free transformations to detect and debug numerical errors
rutgers-apl/PFPSanitizer
rutgers-apl/PTRacer
A data race detector for C++ programs that use Intel TBB for task parallelism
rutgers-apl/alive-loops
ALIVe: Automatic LLVM's Instcombine Verifier
rutgers-apl/CordicWithPosits
A modified CORDIC implementation using the posit representation.
rutgers-apl/omp-racer
A dynamic apparent data race detector for OpenMP programs using the OpenMP Series Parallel Graph
rutgers-apl/PositDebug
A debugger to detect numerical errors in applications using posits.
rutgers-apl/Atomicity-Violation-Detector
Atomicity violation detection tool for C++ programs that use Intel TBB task parallel library.
rutgers-apl/rlibm-prog
rutgers-apl/cgo23-artifact
rutgers-apl/softboundcets
LLVM-9 version of softboundcets