Santosh Nagarakatte's repositories
softboundcets-34
SoftBoundCETS for LLVM+Clang version 34
softboundcets-3.5.0
SoftBoundCETS for LLVM-3.5.0
SoftBoundCETS-3.9
Experimental SoftBoundCETS for LLVM-3.9
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
alive
ALIVe: Automatic LLVM's Instcombine Verifier
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
freebsd
FreeBSD src tree
ironclad
Ironclad C++ brings type-safety to C++. It provides safe alternatives to unsafe constructs in C++ to prevent type-safety errors that lead to security vulnerabilities. The project is detailed in the paper "Ironclad C++: A Library-Augmented Type-Safe Subset of C++."
libsodium
A modern and easy-to-use crypto library.
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.
stoke
STOKE: A stochastic superoptimizer and program synthesizer
ThirtyDaysOfRust
My Experiments with the Rust Programming Language