default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSantosh Nagarakatte
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j9]Santosh Nagarakatte
:
Full Spatial and Temporal Memory Safety for C. IEEE Secur. Priv. 22(4): 30-39 (2024)- [j8]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): 1239-1263 (2024) - 2022
- [j7]Sangeeta Chowdhary, Santosh Nagarakatte:
Fast shadow execution for debugging numerical errors using error free transformations. Proc. ACM Program. Lang. 6(OOPSLA2): 1845-1872 (2022) - [j6]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): 1-28 (2022) - [j5]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): 42:1-42:26 (2022) - 2021
- [j4]Jay P. Lim, Mridul Aanjaneya, John L. Gustafson, Santosh Nagarakatte:
An approach to generate correctly rounded math libraries for new floating point variants. Proc. ACM Program. Lang. 5(POPL): 1-30 (2021) - 2018
- [j3]Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr:
Practical verification of peephole optimizations with Alive. Commun. ACM 61(2): 84-91 (2018) - 2013
- [j2]Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic:
Hardware-Enforced Comprehensive Memory Safety. IEEE Micro 33(3): 38-47 (2013) - 2010
- [j1]Andrew D. Hilton, Santosh Nagarakatte, Amir Roth:
iCFP: Tolerating All-Level Cache Misses in In-Order Processors. IEEE Micro 30(1): 12-19 (2010)
Conference and Workshop Papers
- 2023
- [c36]Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte:
Verifying the Verifier: eBPF Range Analysis Verification. CAV (3) 2023: 226-251 - [c35]Mridul Aanjaneya, Santosh Nagarakatte:
Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach. CGO 2023: 95-107 - 2022
- [c34]Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte:
Sound, Precise, and Fast Abstract Interpretation with Tristate Numbers. CGO 2022: 254-265 - [c33]Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte:
Progressive polynomial approximations for fast correctly rounded math libraries. PLDI 2022: 552-565 - [c32]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: 177-186 - 2021
- [c31]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: 265 - [c30]Jay P. Lim, Santosh Nagarakatte:
High performance correctly rounded math libraries for 32-bit floating point representations. PLDI 2021: 359-374 - [c29]Sangeeta Chowdhary, Santosh Nagarakatte:
Parallel shadow execution to accelerate the debugging of numerical errors. ESEC/SIGSOFT FSE 2021: 615-626 - 2020
- [c28]Jay P. Lim, Matan Shachnai, Santosh Nagarakatte:
Approximating trigonometric functions for posits using the CORDIC method. CF 2020: 19-28 - [c27]Nader Boushehrinejadmoradi, Adarsh Yoga, Santosh Nagarakatte:
On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph. IWOMP 2020: 149-164 - [c26]Sangeeta Chowdhary, Jay P. Lim, Santosh Nagarakatte:
Debugging and detecting numerical errors in computation with posits. PLDI 2020: 731-746 - 2019
- [c25]Jay P. Lim, Santosh Nagarakatte:
Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries. CGO 2019: 37-49 - [c24]Adarsh Yoga, Santosh Nagarakatte:
Parallelism-centric what-if and differential analyses. PLDI 2019: 485-501 - 2018
- [c23]Nader Boushehrinejadmoradi, Adarsh Yoga, Santosh Nagarakatte:
A parallelism profiler with what-if analyses for OpenMP programs. SC 2018: 16:1-16:14 - 2017
- [c22]Jay P. Lim, Vinod Ganapathy, Santosh Nagarakatte:
Compiler Optimizations with Retrofitting Transformations: Is there a Semantic Mismatch? PLAS@CCS 2017: 37-42 - [c21]David Menendez, Santosh Nagarakatte:
Alive-Infer: data-driven precondition inference for peephole optimizations in LLVM. PLDI 2017: 49-63 - [c20]Adarsh Yoga, Santosh Nagarakatte:
A fast causal profiler for task parallel programs. ESEC/SIGSOFT FSE 2017: 15-26 - 2016
- [c19]Adarsh Yoga, Santosh Nagarakatte:
Atomicity violation checker for task parallel programs. CGO 2016: 239-249 - [c18]David Menendez, Santosh Nagarakatte:
Termination-checking for LLVM peephole optimizations. ICSE 2016: 191-202 - [c17]David Menendez, Santosh Nagarakatte, Aarti Gupta:
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM. SAS 2016: 317-337 - [c16]Adarsh Yoga, Santosh Nagarakatte, Aarti Gupta:
Parallel data race detection for task parallel programs with locks. SIGSOFT FSE 2016: 833-845 - 2015
- [c15]Iñigo Goiri, Ricardo Bianchini, Santosh Nagarakatte, Thu D. Nguyen:
ApproxHadoop: Bringing Approximations to MapReduce Frameworks. ASPLOS 2015: 383-397 - [c14]Nader Boushehrinejadmoradi, Vinod Ganapathy, Santosh Nagarakatte, Liviu Iftode:
Testing Cross-Platform Mobile App Development Frameworks (T). ASE 2015: 441-451 - [c13]Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr:
Provably correct peephole optimizations with alive. PLDI 2015: 22-32 - [c12]Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic:
Everything You Want to Know About Pointer-Based Checking. SNAPL 2015: 190-208 - 2014
- [c11]Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic:
WatchdogLite: Hardware-Accelerated Compiler-Based Pointer Checking. CGO 2014: 175 - 2013
- [c10]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: 287-304 - [c9]Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic:
Formal verification of SSA-based optimizations for LLVM. PLDI 2013: 175-186 - 2012
- [c8]Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic:
Watchdog: Hardware for safe and secure manual memory management and full memory safety. ISCA 2012: 189-200 - [c7]Santosh Nagarakatte, Sebastian Burckhardt, Milo M. K. Martin, Madanlal Musuvathi:
Multicore acceleration of priority-based schedulers for concurrency bug detection. PLDI 2012: 543-554 - [c6]Jianzhou Zhao, Santosh Nagarakatte, Milo M. K. Martin, Steve Zdancewic:
Formalizing the LLVM intermediate representation for verified program transformations. POPL 2012: 427-440 - 2010
- [c5]Sebastian Burckhardt, Pravesh Kothari, Madanlal Musuvathi, Santosh Nagarakatte:
A randomized scheduler with probabilistic guarantees of finding bugs. ASPLOS 2010: 167-178 - [c4]Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic:
CETS: compiler enforced temporal safety for C. ISMM 2010: 31-40 - 2009
- [c3]Andrew D. Hilton, Santosh Nagarakatte, Amir Roth:
iCFP: Tolerating all-level cache misses in in-order processors. HPCA 2009: 431-442 - [c2]Santosh Nagarakatte, Jianzhou Zhao, Milo M. K. Martin, Steve Zdancewic:
SoftBound: highly compatible and complete spatial memory safety for c. PLDI 2009: 245-258 - 2007
- [c1]Santosh Nagarakatte, R. Govindarajan:
Register Allocation and Optimal Spill Code Scheduling in Software Pipelined Loops Using 0-1 Integer Linear Programming Formulation. CC 2007: 126-140
Editorship
- 2020
- [e2]Santosh Nagarakatte, Andrew Baumann, Baris Kasikci:
VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, virtual event [Lausanne, Switzerland], March 17, 2020. ACM 2020, ISBN 978-1-4503-7554-2 [contents] - 2014
- [e1]Harry Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner:
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. ACM 2014, ISBN 978-1-4503-2934-7 [contents]
Informal and Other Publications
- 2023
- [i10]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 abs/2312.15640 (2023) - 2021
- [i9]Jay P. Lim, Santosh Nagarakatte:
RLIBM-32: High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations. CoRR abs/2104.04043 (2021) - [i8]Harishankar Vishwanathan, Matan Shachnai, Srinivas Narayana, Santosh Nagarakatte:
Semantics, Verification, and Efficient Implementations for Tristate Numbers. CoRR abs/2105.05398 (2021) - [i7]Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte:
SPOTS: An Accelerator for Sparse CNNs Leveraging General Matrix-Matrix Multiplication. CoRR abs/2107.13386 (2021) - [i6]Jay P. Lim, Santosh Nagarakatte:
RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR abs/2108.06756 (2021) - [i5]Mridul Aanjaneya, Jay P. Lim, Santosh Nagarakatte:
RLibm-Prog: Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries. CoRR abs/2111.12852 (2021) - 2020
- [i4]Mohammadreza Soltaniyeh, Richard P. Martin, Santosh Nagarakatte:
Synergistic CPU-FPGA Acceleration of Sparse Linear Algebra. CoRR abs/2004.13907 (2020) - [i3]Jay P. Lim, Mridul Aanjaneya, John L. Gustafson, Santosh Nagarakatte:
A Novel Approach to Generate Correctly Rounded Math Libraries for New Floating Point Representations. CoRR abs/2007.05344 (2020) - 2017
- [i2]Adarsh Yoga, Santosh Nagarakatte:
A Fast Causal Profiler for Task Parallel Programs. CoRR abs/1705.01522 (2017) - 2016
- [i1]David Menendez, Santosh Nagarakatte:
Precondition Inference for Peephole Optimizations in LLVM. CoRR abs/1611.05980 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-29 21:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
