Santosh Nagarakatte

66 papers A* 16A 7B 6C 1Misc 1Journal 24Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	FLoPS: Semantics, Operations, and Properties of P3109 Floating-Point Representations in Lean. CoRR Tung-Che Chang, Sehyeok Park, Jay P. Lim, Santosh Nagarakatte
2026	J	`jnl`	Odd but Error-Free FastTwoSum: More General Conditions for FastTwoSum as an Error-Free Transformation for Faithful Rounding Modes. CoRR Sehyeok Park, Jay P. Lim, Santosh Nagarakatte
2025	—	`conf`	Automatic Synthesis of Abstract Operators for eBPF. eBPF@SIGCOMM Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte
2025	B	`conf`	Comparing the Precision of Abstract Operators in the eBPF Verifier Using Differential Synthesis. SAS Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte
2025	J	`jnl`	Correctly Rounded Math Libraries without Worrying about the Application's Rounding Mode. Proc. ACM Program. Lang. Sehyeok Park, Justin Kim, Santosh Nagarakatte
2025	—	`conf`	Fast Trigonometric Functions using the RLIBM Approach. VSS@ETAPS Sehyeok Park, Santosh Nagarakatte
2025	J	`jnl`	How to Increase Energy Efficiency with a Single Linux Command. CoRR Alborz Jelvani, Richard P. Martin, Santosh Nagarakatte
2025	J	`jnl`	RLibm-MultiRound: Correctly Rounded Math Libraries Without Worrying about the Application's Rounding Mode. CoRR Sehyeok Park, Justin Kim, Santosh Nagarakatte
2024	B	`conf`	Fixing Latent Unsound Abstract Operators in the eBPF Verifier of the Linux Kernel. SAS Matan Shachnai, Harishankar Vishwanathan, Srinivas Narayana, Santosh Nagarakatte
2024	J	`jnl`	Full Spatial and Temporal Memory Safety for C. IEEE Secur. Priv. Santosh Nagarakatte
2024	J	`jnl`	Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation. Proc. ACM Program. Lang. Mridul Aanjaneya, Santosh Nagarakatte
2023	A	`conf`	Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach. CGO Mridul Aanjaneya, Santosh Nagarakatte
2023	J	`jnl`	Report of the DOE/NSF Workshop on Correctness in Scientific Computing, June 2023, Orlando, FL. CoRR Maya B. Gokhale, Ganesh Gopalakrishnan, Jackson Mayo, Santosh Nagarakatte, Cindy Rubio-González, Stephen F. Siegel
2023	—	`conf`	Verifying the Verifier: eBPF Range Analysis Verification. CAV (3) Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte
2022	J	`jnl`	An Accelerator for Sparse Convolutional Neural Networks Leveraging Systolic General Matrix-matrix Multiplication. ACM Trans. Archit. Code Optim. Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte
2022	J	`jnl`	Fast shadow execution for debugging numerical errors using error free transformations. Proc. ACM Program. Lang. Sangeeta Chowdhary, Santosh Nagarakatte
2022	B	`conf`	Near-Storage Processing for Solid State Drive Based Recommendation Inference with SmartSSDs®. ICPE Mohammadreza Soltaniyeh, Veronica Lagrange Moutinho dos Reis, Matthew Bryson, Xuebin Yao, Richard P. Martin, Santosh Nagarakatte
2022	J	`jnl`	One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes. Proc. ACM Program. Lang. Jay P. Lim, Santosh Nagarakatte
2022	A*	`conf`	Progressive polynomial approximations for fast correctly rounded math libraries. PLDI Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
2022	A	`conf`	Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. CGO Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte
2021	J	`jnl`	An approach to generate correctly rounded math libraries for new floating point variants. Proc. ACM Program. Lang. Jay P. Lim, Mridul Aanjaneya, John L. Gustafson, Santosh Nagarakatte
2021	A*	`conf`	High performance correctly rounded math libraries for 32-bit floating point representations. PLDI Jay P. Lim, Santosh Nagarakatte
2021	Misc	`conf`	Near-Storage Acceleration of Database Query Processing with SmartSSDs. FCCM Mohammadreza Soltaniyeh, Veronica Lagrange Moutinho dos Reis, Matthew Bryson, Richard P. Martin, Santosh Nagarakatte
2021	—	`conf`	Parallel shadow execution to accelerate the debugging of numerical errors. ESEC/SIGSOFT FSE Sangeeta Chowdhary, Santosh Nagarakatte
2021	J	`jnl`	RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. CoRR Jay P. Lim, Santosh Nagarakatte
2021	J	`jnl`	RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR Jay P. Lim, Santosh Nagarakatte
2021	J	`jnl`	RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries. CoRR Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte
2021	J	`jnl`	SPOTS: An Accelerator for Sparse CNNs Leveraging General Matrix-Matrix Multiplication. CoRR Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte
2021	J	`jnl`	Semantics, Verification, and Efficient Implementations for Tristate Numbers. CoRR Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte
2020	J	`jnl`	A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. CoRR Jay P. Lim, Mridul Aanjaneya, John L. Gustafson, Santosh Nagarakatte
2020	—	`conf`	Approximating trigonometric functions for posits using the CORDIC method. CF Jay P. Lim, Matan Shachnai, Santosh Nagarakatte
2020	A*	`conf`	Debugging and detecting numerical errors in computation with posits. PLDI Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte
2020	—	`conf`	On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph. IWOMP Nader Boushehrinejadmoradi, Adarsh Yoga, Santosh Nagarakatte
2020	J	`jnl`	Synergistic CPU-FPGA Acceleration of Sparse Linear Algebra. CoRR Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte
2020	B	`ed.`	VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, virtual event [Lausanne, Switzerland], March 17, 2020 VEE Santosh Nagarakatte, Andrew Baumann, Baris Kasikci
2019	A	`conf`	Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries. CGO Jay P. Lim, Santosh Nagarakatte
2019	A*	`conf`	Parallelism-centric what-if and differential analyses. PLDI Adarsh Yoga, Santosh Nagarakatte
2018	A	`conf`	A parallelism profiler with what-if analyses for OpenMP programs. SC Nader Boushehrinejadmoradi, Adarsh Yoga, Santosh Nagarakatte
2018	J	`jnl`	Practical verification of peephole optimizations with Alive. Commun. ACM Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
2017	J	`jnl`	A Fast Causal Profiler for Task Parallel Programs. CoRR Adarsh Yoga, Santosh Nagarakatte
2017	—	`conf`	A fast causal profiler for task parallel programs. ESEC/SIGSOFT FSE Adarsh Yoga, Santosh Nagarakatte
2017	A*	`conf`	Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. PLDI David Menendez, Santosh Nagarakatte
2017	—	`conf`	Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? PLAS@CCS Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte
2016	B	`conf`	Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. SAS David Menendez, Santosh Nagarakatte, Aarti Gupta
2016	A	`conf`	Atomicity violation checker for task parallel programs. CGO Adarsh Yoga, Santosh Nagarakatte
2016	—	`conf`	Parallel data race detection for task parallel programs with locks. SIGSOFT FSE Adarsh Yoga, Santosh Nagarakatte, Aarti Gupta
2016	J	`jnl`	Precondition Inference for Peephole Optimizations in LLVM. CoRR David Menendez, Santosh Nagarakatte
2016	A*	`conf`	Termination-checking for LLVM peephole optimizations. ICSE David Menendez, Santosh Nagarakatte
2015	A*	`conf`	ApproxHadoop: Bringing Approximations to MapReduce Frameworks. ASPLOS Iñigo Goiri, Ricardo Bianchini, Santosh Nagarakatte, Thu D. Nguyen
2015	—	`conf`	Everything You Want to Know About Pointer-Based Checking. SNAPL Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2015	A*	`conf`	Provably correct peephole optimizations with alive. PLDI Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
2015	A*	`conf`	Testing Cross-Platform Mobile App Development Frameworks (T). ASE Nader Boushehrinejadmoradi, Vinod Ganapathy, Santosh Nagarakatte, Liviu Iftode
2014	—	`ed.`	Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014 WODA+PERTEA@ISSTA Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner
2014	A	`conf`	WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. CGO Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2013	A*	`conf`	Formal verification of SSA-based optimizations for LLVM. PLDI Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2013	J	`jnl`	Hardware-Enforced Comprehensive Memory Safety. IEEE Micro Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2013	A	`conf`	Ironclad C++: a library-augmented type-safe subset of c++. OOPSLA Christian DeLozier, Richard A. Eisenberg, Santosh Nagarakatte, Peter-Michael Osera, Milo M. K. Martin, Steve Zdancewic
2012	A*	`conf`	Formalizing the LLVM intermediate representation for verified program transformations. POPL Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2012	A*	`conf`	Multicore acceleration of priority-based schedulers for concurrency bug detection. PLDI Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi
2012	A*	`conf`	Watchdog: Hardware for safe and secure manual memory management and full memory safety. ISCA Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic
2010	A*	`conf`	A randomized scheduler with probabilistic guarantees of finding bugs. ASPLOS Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte
2010	C	`conf`	CETS: compiler enforced temporal safety for C. ISMM Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
2010	J	`jnl`	iCFP: Tolerating All-Level Cache Misses in In-Order Processors. IEEE Micro Andrew D. Hilton, Santosh Nagarakatte, Amir Roth
2009	A*	`conf`	SoftBound: highly compatible and complete spatial memory safety for c. PLDI Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic
2009	A*	`conf`	iCFP: Tolerating all-level cache misses in in-order processors. HPCA Andrew D. Hilton, Santosh Nagarakatte, Amir Roth
2007	B	`conf`	Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation. CC Santosh Nagarakatte, R. Govindarajan