• 1154 Citations
  • 18 h-Index
20072020

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

  • 12 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

  • Research Output

    • 1154 Citations
    • 18 h-Index
    • 27 Conference contribution
    • 13 Article
    • 1 Editorial

    Approximating trigonometric functions for posits using the CORDIC method

    Lim, J. P., Shachnai, M. & Nagarakatte, S., May 11 2020, 17th ACM International Conference on Computing Frontiers 2020, CF 2020 - Proceedings. Association for Computing Machinery, Inc, p. 19-28 10 p. (17th ACM International Conference on Computing Frontiers 2020, CF 2020 - Proceedings).

    Rutgers, The State University

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Debugging and detecting numerical errors in computation with posits

    Chowdhary, S., Lim, J. P. & Nagarakatte, S., Jun 11 2020, PLDI 2020 - Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation. Donaldson, A. F. & Torlak, E. (eds.). Association for Computing Machinery, p. 731-746 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Rutgers, The State University

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Scopus citations

    A parallelism profiler with what-if analyses for openmp programs

    Boushehrinejadmoradi, N., Yoga, A. & Nagarakatte, S., Mar 11 2019, Proceedings - International Conference for High Performance Computing, Networking, Storage, and Analysis, SC 2018. Institute of Electrical and Electronics Engineers Inc., p. 198-211 14 p. 8665760. (Proceedings - International Conference for High Performance Computing, Networking, Storage, and Analysis, SC 2018).

    Rutgers, The State University

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Scopus citations

    Automatic Equivalence Checking for Assembly Implementations of Cryptography Libraries

    Lim, J. P. & Nagarakatte, S., Mar 5 2019, CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization. Moseley, T., Jimborean, A. & Kandemir, M. T. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 37-49 13 p. 8661180. (CGO 2019 - Proceedings of the 2019 IEEE/ACM International Symposium on Code Generation and Optimization).

    Rutgers, The State University

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1 Scopus citations

    Parallelism-centric what-if and differential analyses

    Yoga, A. & Nagarakatte, S., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 485-501 17 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Rutgers, The State University

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 1 Scopus citations

    Press / Media