| 2025 | SAS | Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis. | Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte |
| 2024 | SAS | Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel. | Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte |
| 2023 | CAV | Verifying the Verifier: eBPF Range Analysis Verification. | Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte |
| 2023 | CGO | Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach. | Mridul Aanjaneya, Santosh Nagarakatte |
| 2022 | CGO | Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. | Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte |
| 2022 | PLDI | Progressive polynomial approximations for fast correctly rounded math libraries. | Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte |
| 2021 | FCCM | Near-Storage Acceleration of Database Query Processing with SmartSSDs. | Mohammadreza Soltaniyeh, Veronica Lagrange Moutinho dos Reis, Matthew Bryson, Richard P. Martin, Santosh Nagarakatte |
| 2021 | PLDI | High performance correctly rounded math libraries for 32-bit floating point representations. | Jay P. Lim, Santosh Nagarakatte |
| 2020 | PLDI | Debugging and detecting numerical errors in computation with posits. | Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte |
| 2019 | CGO | Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries. | Jay P. Lim, Santosh Nagarakatte |
| 2019 | PLDI | Parallelism-centric what-if and differential analyses. | Adarsh Yoga, Santosh Nagarakatte |
| 2018 | SC | A parallelism profiler with what-if analyses for OpenMP programs. | Nader Boushehrinejadmoradi, Adarsh Yoga, Santosh Nagarakatte |
| 2017 | CCS | Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? | Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte |
| 2017 | PLDI | Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. | David Menendez, Santosh Nagarakatte |
| 2016 | CGO | Atomicity violation checker for task parallel programs. | Adarsh Yoga, Santosh Nagarakatte |
| 2016 | ICSE | Termination-checking for LLVM peephole optimizations. | David Menendez, Santosh Nagarakatte |
| 2016 | SAS | Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. | David Menendez, Santosh Nagarakatte, Aarti Gupta |
| 2015 | ASPLOS | ApproxHadoop: Bringing Approximations to MapReduce Frameworks. | Iigo Goiri, Ricardo Bianchini, Santosh Nagarakatte, Thu D. Nguyen |
| 2015 | PLDI | Provably correct peephole optimizations with alive. | Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr |
| 2014 | CGO | WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. | Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2013 | OOPSLA | 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 |
| 2013 | PLDI | Formal verification of SSA-based optimizations for LLVM. | Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2012 | ISCA | Watchdog: Hardware for safe and secure manual memory management and full memory safety. | Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2012 | PLDI | Multicore acceleration of priority-based schedulers for concurrency bug detection. | Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi |
| 2012 | POPL | Formalizing the LLVM intermediate representation for verified program transformations. | Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic |
| 2010 | ASPLOS | A randomized scheduler with probabilistic guarantees of finding bugs. | Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte |
| 2009 | HPCA | iCFP: Tolerating all-level cache misses in in-order processors. | Andrew D. Hilton, Santosh Nagarakatte, Amir Roth |
| 2009 | PLDI | SoftBound: highly compatible and complete spatial memory safety for c. | Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic |
| 2007 | CC | Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation. | Santosh Nagarakatte, R. Govindarajan |