Santosh Nagarakatte

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 42

Top Topics

Polynomial Approximation

Multiple Representations

Top Venues

Proc. ACM Program. Lang.

Publications

Mridul Aanjaneya, Santosh Nagarakatte
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation. Proc. ACM Program. Lang. 8 (PLDI) (2024)
Santosh Nagarakatte
Full Spatial and Temporal Memory Safety for C. IEEE Secur. Priv. 22 (4) (2024)
Maya Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel
Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. CoRR (2023)
Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte
Verifying the Verifier: eBPF Range Analysis Verification. CAV (3) (2023)
Mridul Aanjaneya, Santosh Nagarakatte
Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach. CGO (2023)
Jay P. Lim, Santosh Nagarakatte
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes. Proc. ACM Program. Lang. 6 (POPL) (2022)
Mohammadreza Soltaniyeh, Veronica Lagrange Moutinho dos Reis, Matthew Bryson, Xuebin Yao, Richard P. Martin, Santosh Nagarakatte
Near-Storage Processing for Solid State Drive Based Recommendation Inference with SmartSSDs®. ICPE (2022)
Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte
Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. CGO (2022)
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
Progressive polynomial approximations for fast correctly rounded math libraries. PLDI (2022)
Sangeeta Chowdhary, Santosh Nagarakatte
Fast shadow execution for debugging numerical errors using error free transformations. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte
An Accelerator for Sparse Convolutional Neural Networks Leveraging Systolic General Matrix-matrix Multiplication. ACM Trans. Archit. Code Optim. 19 (3) (2022)
Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries. CoRR (2021)
Mohammadreza Soltaniyeh, Veronica Lagrange Moutinho dos Reis, Matthew Bryson, Richard P. Martin, Santosh Nagarakatte
Near-Storage Acceleration of Database Query Processing with SmartSSDs. FCCM (2021)
Jay P. Lim, Santosh Nagarakatte
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. CoRR (2021)
Jay P. Lim, Santosh Nagarakatte
High performance correctly rounded math libraries for 32-bit floating point representations. PLDI (2021)
Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte
SPOTS: An Accelerator for Sparse CNNs Leveraging General Matrix-Matrix Multiplication. CoRR (2021)
Sangeeta Chowdhary, Santosh Nagarakatte
Parallel shadow execution to accelerate the debugging of numerical errors. ESEC/SIGSOFT FSE (2021)
Jay P. Lim, Santosh Nagarakatte
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR (2021)
Jay P. Lim, Mridul Aanjaneya, John Gustafson, Santosh Nagarakatte
An approach to generate correctly rounded math libraries for new floating point variants. Proc. ACM Program. Lang. 5 (POPL) (2021)
Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte
Semantics, Verification, and Efficient Implementations for Tristate Numbers. CoRR (2021)
Nader Boushehrinejadmoradi, Adarsh Yoga, Santosh Nagarakatte
On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph. IWOMP (2020)
Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte
Synergistic CPU-FPGA Acceleration of Sparse Linear Algebra. CoRR (2020)
Jay P. Lim, Mridul Aanjaneya, John Gustafson, Santosh Nagarakatte
A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. CoRR (2020)
Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte
Debugging and detecting numerical errors in computation with posits. PLDI (2020)
Jay P. Lim, Matan Shachnai, Santosh Nagarakatte
Approximating trigonometric functions for posits using the CORDIC method. CF (2020)
Jay P. Lim, Santosh Nagarakatte
Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries. CGO (2019)
Adarsh Yoga, Santosh Nagarakatte
Parallelism-centric what-if and differential analyses. PLDI (2019)
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Practical verification of peephole optimizations with Alive. Commun. ACM 61 (2) (2018)
Nader Boushehrinejadmoradi, Adarsh Yoga, Santosh Nagarakatte
A parallelism profiler with what-if analyses for OpenMP programs. SC (2018)
Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte
Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? PLAS@CCS (2017)
Adarsh Yoga, Santosh Nagarakatte
A Fast Causal Profiler for Task Parallel Programs. CoRR (2017)
Adarsh Yoga, Santosh Nagarakatte
A fast causal profiler for task parallel programs. ESEC/SIGSOFT FSE (2017)
David Menendez, Santosh Nagarakatte
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. PLDI (2017)
David Menendez, Santosh Nagarakatte
Termination-checking for LLVM peephole optimizations. ICSE (2016)
Adarsh Yoga, Santosh Nagarakatte
Atomicity violation checker for task parallel programs. CGO (2016)
David Menendez, Santosh Nagarakatte, Aarti Gupta
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. SAS (2016)
David Menendez, Santosh Nagarakatte
Precondition Inference for Peephole Optimizations in LLVM. CoRR (2016)
Adarsh Yoga, Santosh Nagarakatte, Aarti Gupta
Parallel data race detection for task parallel programs with locks. SIGSOFT FSE (2016)
Iñigo Goiri, Ricardo Bianchini, Santosh Nagarakatte, Thu D. Nguyen
ApproxHadoop: Bringing Approximations to MapReduce Frameworks. ASPLOS (2015)
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Provably correct peephole optimizations with alive. PLDI (2015)
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Everything You Want to Know About Pointer-Based Checking. SNAPL (2015)
Nader Boushehrinejadmoradi, Vinod Ganapathy, Santosh Nagarakatte, Liviu Iftode
Testing Cross-Platform Mobile App Development Frameworks (T). ASE (2015)
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. CGO (2014)
Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Formal verification of SSA-based optimizations for LLVM. PLDI (2013)
Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
Ironclad C++: a library-augmented type-safe subset of c++. OOPSLA (2013)
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Hardware-Enforced Comprehensive Memory Safety. IEEE Micro 33 (3) (2013)
Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
Multicore acceleration of priority-based schedulers for concurrency bug detection. PLDI (2012)
Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Formalizing the LLVM intermediate representation for verified program transformations. POPL (2012)
Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
Watchdog: Hardware for safe and secure manual memory management and full memory safety. ISCA (2012)
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
CETS: compiler enforced temporal safety for C. ISMM (2010)
Andrew D. Hilton, Santosh Nagarakatte, Amir Roth
iCFP: Tolerating All-Level Cache Misses in In-Order Processors. IEEE Micro 30 (1) (2010)
Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte
A randomized scheduler with probabilistic guarantees of finding bugs. ASPLOS (2010)
Andrew D. Hilton, Santosh Nagarakatte, Amir Roth
iCFP: Tolerating all-level cache misses in in-order processors. HPCA (2009)
Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
SoftBound: highly compatible and complete spatial memory safety for c. PLDI (2009)