santoshn
Professor, Department of Computer Science, Rutgers University, New Brunswick. Director of Rutgers Programming Languages and Architecture Lab (RAPL)
Rutgers UniversityNew Brunswick, NJ
Pinned Repositories
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
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
hardened-llvm
mbedtls
An open source, portable, easy to use, readable and flexible SSL library
softboundcets-3.5.0
SoftBoundCETS for LLVM-3.5.0
softboundcets-3.8.0
SoftBoundCETS-3.9
Experimental SoftBoundCETS for LLVM-3.9
softboundcets-34
SoftBoundCETS for LLVM+Clang version 34
stoke
STOKE: A stochastic superoptimizer and program synthesizer
santoshn's Repositories
santoshn/softboundcets-34
SoftBoundCETS for LLVM+Clang version 34
santoshn/softboundcets-3.8.0
santoshn/softboundcets-3.5.0
SoftBoundCETS for LLVM-3.5.0
santoshn/SoftBoundCETS-3.9
Experimental SoftBoundCETS for LLVM-3.9
santoshn/mbedtls
An open source, portable, easy to use, readable and flexible SSL library
santoshn/alive-nj
Alive (Automated LLVM's InstCombine Verifier) with automated reasoning for both integer and floating point peephole optimizations in LLVM
santoshn/CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
santoshn/stoke
STOKE: A stochastic superoptimizer and program synthesizer
santoshn/alive
ALIVe: Automatic LLVM's Instcombine Verifier
santoshn/fpsanitizer
A debugger to detect and diagnose numerical errors in floating point programs
santoshn/hardened-llvm
santoshn/freebsd
FreeBSD src tree
santoshn/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++."
santoshn/libsodium
A modern and easy-to-use crypto library.
santoshn/PFSan_Artifact
santoshn/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.
santoshn/souper
santoshn/ThirtyDaysOfRust
My Experiments with the Rust Programming Language
santoshn/x64asm
x86-64 assembler library