Rutgers Architecture and Programming Languages (RAPL) Group

rlibm-32

RLibm for 32-bit representations (float and posit32)

The-RLIBM-Project

A combined repository for all RLIBM prototypes

alive-nj

Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM

rlibm

Rutgers APL correctly rounded math library

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

fpsanitizer

A debugger to detect and diagnose numerical errors in floating point programs

TaskProf2

A Parallelism Profiler and an Adviser for Task Parallel Programs.

CASM-Verify

Automatic functional verification tool for assembly implementation of cryptographic algorithms

omp-whip

OMP-WHIP: A parallelism profiler with what-if analyses for OpenMP programs

PTRacer

A data race detector for C++ programs that use Intel TBB for task parallelism

alive-loops

ALIVe: Automatic LLVM's Instcombine Verifier

EFTSanitizer

EFTSanitizer is a tool for fast shadow execution using error free transformations to detect and debug numerical errors

PFPSanitizer

omp-racer

A dynamic apparent data race detector for OpenMP programs using the OpenMP Series Parallel Graph

PositDebug

A debugger to detect numerical errors in applications using posits.

CordicWithPosits

A modified CORDIC implementation using the posit representation.

rlibm-prog

Atomicity-Violation-Detector

Atomicity violation detection tool for C++ programs that use Intel TBB task parallel library.

cgo23-artifact

softboundcets

LLVM-9 version of softboundcets