Projects per year
Fingerprint
Dive into the research topics where Santosh Nagarakatte is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
FMitF: Track II: Formally-Verified eBPF Verifier in the Linux Kernel
Narayana Ganapathy, S. (PI) & Nagarakatte, S. (CoPI)
10/1/24 → 9/30/26
Project: Research project
-
SHF: Small: Efficient, Deterministic and Formally Certified Methods for Solving Low-dimensional Linear Programs with Floating-point Precision
Nagarakatte, S. (CoPI) & Aanjaneya, M. (PI)
7/1/23 → 6/30/26
Project: Research project
-
FMitF: Track I: Formally Verified Sandboxing for Packet-Processing Programs
Nagarakatte, S. (CoPI) & Narayana Ganapathy, S. (PI)
10/1/20 → 9/30/25
Project: Research project
-
Collaborative Research: DOE/NSF Workshop on Correctness in Scientific Computing
Nagarakatte, S. (PI)
5/1/23 → 12/31/23
Project: Research project
-
SHF:Small:Techniques for Generating Correctly Rounded Math Libraries
Nagarakatte, S. (PI) & Aanjaneya, M. (CoPI)
6/1/21 → 5/31/24
Project: Research project
-
Full Spatial and Temporal Memory Safety for C
Nagarakatte, S., 2024, In: IEEE Security and Privacy. 22, 4, p. 30-39 10 p.Research output: Contribution to journal › Article › peer-review
1 Scopus citations -
Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation
Aanjaneya, M. & Nagarakatte, S., Jun 20 2024, In: Proceedings of the ACM on Programming Languages. 8, 197.Research output: Contribution to journal › Article › peer-review
Open Access -
Fast Polynomial Evaluation for Correctly Rounded Elementary Functions using the RLIBM Approach
Aanjaneya, M. & Nagarakatte, S., Feb 17 2023, CGO 2023 - Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization. Dubach, C., Bruening, D. & Hardekopf, B. (eds.). Association for Computing Machinery, Inc, p. 95-107 13 p. (CGO 2023 - Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
3 Scopus citations -
Verifying the Verifier: eBPF Range Analysis Verification
Vishwanathan, H., Shachnai, M., Narayana, S. & Nagarakatte, S., 2023, Computer Aided Verification - 35th International Conference, CAV 2023, Proceedings. Enea, C. & Lal, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 226-251 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13966 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access9 Scopus citations -
An Accelerator for Sparse Convolutional Neural Networks Leveraging Systolic General Matrix-matrix Multiplication
Soltaniyeh, M., Martin, R. P. & Nagarakatte, S., May 25 2022, In: ACM Transactions on Architecture and Code Optimization. 19, 3, 42.Research output: Contribution to journal › Article › peer-review
Open Access16 Scopus citations