E-LIB Suche - Ergebnisse für: Nagarakatte, Santosh

1

Full Spatial and Temporal Memory Safety for C:

Nagarakatte, Santosh
IEEE Security & Privacy. , 2024

2

Maximum Consensus Floating Point Solutions for Infeasible L..:

Aanjaneya, Mridul ; Nagarakatte, Santosh
Proceedings of the ACM on Programming Languages. 8 (2024) PLDI - p. 1239-1263 , 2024

Link: https://doi.org/10.1145/..

3

Expanding the horizons of finite-precision analysis:

Lohar, Debasmita , 2023

Link: https://nbn-resolving.de..

4

Verifying the Verifier: eBPF Range Analysis Verification:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Vishwanathan, Harishankar ; Shachnai, Matan ; Narayana, Srinivas. - p. 226-251 , 2023

Link: https://doi.org/10.1007/..

5

Fast Polynomial Evaluation for Correctly Rounded Elementary..:

, In: Proceedings of the 21st ACM/IEEE International Symposium on Code Generation and Optimization,

Aanjaneya, Mridul ; Nagarakatte, Santosh - p. 95-107 , 2023

Link: https://dl.acm.org/doi/1..

6

Fast shadow execution for debugging numerical errors using ..:

Chowdhary, Sangeeta ; Nagarakatte, Santosh
Proceedings of the ACM on Programming Languages. 6 (2022) OOPSLA2 - p. 1845-1872 , 2022

Link: https://doi.org/10.1145/..

7

Near-Storage Processing for Solid State Drive Based Recomme..:

, In: Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering,

Soltaniyeh, Mohammadreza ; Lagrange Moutinho Dos Reis, Veronica ; Bryson, Matt... - p. 177-186 , 2022

Link: https://dl.acm.org/doi/1..

8

Sound, precise, and fast abstract interpretation with trist..:

, In: Proceedings of the 20th IEEE/ACM International Symposium on Code Generation and Optimization,

Vishwanathan, Harishankar ; Shachnai, Matan ; Narayana, Srinivas. - p. 254-265 , 2022

Link: https://dl.acm.org/doi/1..

9

One polynomial approximation to produce correctly rounded r..:

Lim, Jay P. ; Nagarakatte, Santosh
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022

Link: https://dl.acm.org/doi/1..

10

One polynomial approximation to produce correctly rounded r..:

Lim, Jay P. ; Nagarakatte, Santosh
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-28 , 2022

Link: https://doi.org/10.1145/..

11

An Accelerator for Sparse Convolutional Neural Networks Lev..:

Soltaniyeh, Mohammadreza ; Martin, Richard P. ; Nagarakatte, Santosh
ACM Transactions on Architecture and Code Optimization. 19 (2022) 3 - p. 1-26 , 2022

Link: https://doi.org/10.1145/..

12

Progressive polynomial approximations for fast correctly ro..:

, In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation,

Aanjaneya, Mridul ; Lim, Jay P. ; Nagarakatte, Santosh - p. 552-565 , 2022

Link: https://dl.acm.org/doi/1..

13

Sound, Precise, and Fast Abstract Interpretation with Trist..:

, In: 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO),

Vishwanathan, Harishankar ; Shachnai, Matan ; Narayana, Srinivas. - p. 254-265 , 2022

Link: https://doi.org/10.1109/..

14

An approach to generate correctly rounded math libraries fo..:

Lim, Jay P. ; Aanjaneya, Mridul ; Gustafson, John.
Proceedings of the ACM on Programming Languages. 5 (2021) POPL - p. 1-30 , 2021

Link: https://doi.org/10.1145/..

15

Near-Storage Acceleration of Database Query Processing with..:

, In: 2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM),

Soltaniyeh, Mohammadreza ; Moutinho Dos Reis, Veronica Lagrange ; Bryson, Matthew.. - p. 265-265 , 2021

Link: https://doi.org/10.1109/..