Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation. - Santosh Nagarakatte; R. Govindarajan (CC, 2007)

SoftBound: highly compatible and complete spatial memory safety for c. - Santosh Nagarakatte; Jianzhou Zhao; Milo M. K. Martin; Steve Zdancewic (PLDI, 2009)

A randomized scheduler with probabilistic guarantees of finding bugs. - Sebastian Burckhardt; Pravesh Kothari; Madanlal Musuvathi; Santosh Nagarakatte (ASPLOS, 2010)

CETS: compiler enforced temporal safety for C. - Santosh Nagarakatte; Jianzhou Zhao; Milo M. K. Martin; Steve Zdancewic (ISMM, 2010)

iCFP: Tolerating All-Level Cache Misses in In-Order Processors. - Andrew D. Hilton; Santosh Nagarakatte; Amir Roth (IEEE Micro, 2010)

Watchdog: Hardware for safe and secure manual memory management and full memory safety. - Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (ISCA, 2012)

Multicore acceleration of priority-based schedulers for concurrency bug detection. - Santosh Nagarakatte; Sebastian Burckhardt; Milo M. K. Martin; Madanlal Musuvathi (PLDI, 2012)

Formalizing the LLVM intermediate representation for verified program transformations. - Jianzhou Zhao; Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (POPL, 2012)

Ironclad C++: a library-augmented type-safe subset of c++. - Christian DeLozier; Richard A. Eisenberg; Santosh Nagarakatte; Peter-Michael Osera; Milo M. K. Martin; Steve Zdancewic (OOPSLA, 2013)

Formal verification of SSA-based optimizations for LLVM. - Jianzhou Zhao; Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (PLDI, 2013)

Hardware-Enforced Comprehensive Memory Safety. - Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (IEEE Micro, 2013)

WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. - Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (CGO, 2014)

ApproxHadoop: Bringing Approximations to MapReduce Frameworks. - Iñigo Goiri; Ricardo Bianchini; Santosh Nagarakatte; Thu D. Nguyen (ASPLOS, 2015)

Testing Cross-Platform Mobile App Development Frameworks (T). - Nader Boushehrinejadmoradi; Vinod Ganapathy; Santosh Nagarakatte; Liviu Iftode (ASE, 2015)

Provably correct peephole optimizations with alive. - Nuno P. Lopes; David Menendez; Santosh Nagarakatte; John Regehr (PLDI, 2015)

Everything You Want to Know About Pointer-Based Checking. - Santosh Nagarakatte; Milo M. K. Martin; Steve Zdancewic (SNAPL, 2015)

Atomicity violation checker for task parallel programs. - Adarsh Yoga; Santosh Nagarakatte (CGO, 2016)

Termination-checking for LLVM peephole optimizations. - David Menendez; Santosh Nagarakatte (ICSE, 2016)

Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. - David Menendez; Santosh Nagarakatte; Aarti Gupta (SAS, 2016)

Parallel data race detection for task parallel programs with locks. - Adarsh Yoga; Santosh Nagarakatte; Aarti Gupta (SIGSOFT FSE, 2016)

Precondition Inference for Peephole Optimizations in LLVM. - David Menendez; Santosh Nagarakatte (CoRR, 2016)

Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? - Jay P. Lim; Vinod Ganapathy; Santosh Nagarakatte (PLAS@CCS, 2017)

Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. - David Menendez; Santosh Nagarakatte (PLDI, 2017)

A fast causal profiler for task parallel programs. - Adarsh Yoga; Santosh Nagarakatte (ESEC/SIGSOFT FSE, 2017)

A parallelism profiler with what-if analyses for OpenMP programs. - Nader Boushehrinejadmoradi; Adarsh Yoga; Santosh Nagarakatte (SC, 2018)

Practical verification of peephole optimizations with Alive. - Nuno P. Lopes; David Menendez; Santosh Nagarakatte; John Regehr (Commun. ACM, 2018)

Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries. - Jay P. Lim; Santosh Nagarakatte (CGO, 2019)

Parallelism-centric what-if and differential analyses. - Adarsh Yoga; Santosh Nagarakatte (PLDI, 2019)

Approximating trigonometric functions for posits using the CORDIC method. - Jay P. Lim; Matan Shachnai; Santosh Nagarakatte (CF, 2020)

On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph. - Nader Boushehrinejadmoradi; Adarsh Yoga; Santosh Nagarakatte (IWOMP, 2020)

Debugging and detecting numerical errors in computation with posits. - Sangeeta Chowdhary; Jay P. Lim; Santosh Nagarakatte (PLDI, 2020)

Synergistic CPU-FPGA Acceleration of Sparse Linear Algebra. - Mohammadreza Soltaniyeh; Richard P. Martin; Santosh Nagarakatte (CoRR, 2020)

A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. - Jay P. Lim; Mridul Aanjaneya; John L. Gustafson; Santosh Nagarakatte (CoRR, 2020)

Near-Storage Acceleration of Database Query Processing with SmartSSDs. - Mohammadreza Soltaniyeh; Veronica Lagrange Moutinho dos Reis; Matthew Bryson; Richard P. Martin; Santosh Nagarakatte (FCCM, 2021)

High performance correctly rounded math libraries for 32-bit floating point representations. - Jay P. Lim; Santosh Nagarakatte (PLDI, 2021)

Parallel shadow execution to accelerate the debugging of numerical errors. - Sangeeta Chowdhary; Santosh Nagarakatte (ESEC/SIGSOFT FSE, 2021)

RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. - Jay P. Lim; Santosh Nagarakatte (CoRR, 2021)

Semantics, Verification, and Efficient Implementations for Tristate Numbers. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CoRR, 2021)

SPOTS: An Accelerator for Sparse CNNs Leveraging General Matrix-Matrix Multiplication. - Mohammadreza Soltaniyeh; Richard P. Martin; Santosh Nagarakatte (CoRR, 2021)

RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. - Jay P. Lim; Santosh Nagarakatte (CoRR, 2021)

RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries. - Mridul Aanjaneya; Jay P. Lim; Santosh Nagarakatte (CoRR, 2021)

An approach to generate correctly rounded math libraries for new floating point variants. - Jay P. Lim; Mridul Aanjaneya; John L. Gustafson; Santosh Nagarakatte (Proc. ACM Program. Lang., 2021)

Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CGO, 2022)

Progressive polynomial approximations for fast correctly rounded math libraries. - Mridul Aanjaneya; Jay P. Lim; Santosh Nagarakatte (PLDI, 2022)

Near-Storage Processing for Solid State Drive Based Recommendation Inference with SmartSSDs®. - Mohammadreza Soltaniyeh; Veronica Lagrange Moutinho dos Reis; Matthew Bryson; Xuebin Yao; Richard P. Martin; Santosh Nagarakatte (ICPE, 2022)

Fast shadow execution for debugging numerical errors using error free transformations. - Sangeeta Chowdhary; Santosh Nagarakatte (Proc. ACM Program. Lang., 2022)

One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes. - Jay P. Lim; Santosh Nagarakatte (Proc. ACM Program. Lang., 2022)

An Accelerator for Sparse Convolutional Neural Networks Leveraging Systolic General Matrix-matrix Multiplication. - Mohammadreza Soltaniyeh; Richard P. Martin; Santosh Nagarakatte (ACM Trans. Archit. Code Optim., 2022)

Verifying the Verifier: eBPF Range Analysis Verification. - Harishankar Vishwanathan; Matan Shachnai; Srinivas Narayana; Santosh Nagarakatte (CAV (3), 2023)

Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach. - Mridul Aanjaneya; Santosh Nagarakatte (CGO, 2023)

Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. - Maya B. Gokhale; Ganesh Gopalakrishnan; Jackson Mayo; Santosh Nagarakatte; Cindy Rubio-González; Stephen F. Siegel (CoRR, 2023)

Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel. - Matan Shachnai; Harishankar Vishwanathan; Srinivas Narayana; Santosh Nagarakatte (SAS, 2024)

Full Spatial and Temporal Memory Safety for C. - Santosh Nagarakatte (IEEE Secur. Priv., 2024)

Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation. - Mridul Aanjaneya; Santosh Nagarakatte (Proc. ACM Program. Lang., 2024)

Correctly Rounded Math Libraries without Worrying about the Application's Rounding Mode. - Sehyeok Park; Justin Kim; Santosh Nagarakatte (Proc. ACM Program. Lang., 2025)

RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode. - Sehyeok Park; Justin Kim; Santosh Nagarakatte (CoRR, 2025)

How to Increase Energy Efficiency with a Single Linux Command. - Alborz Jelvani; Richard P. Martin; Santosh Nagarakatte (CoRR, 2025)