( en | de | ru )

 

Disambiguation of "Nagarakatte, Santosh"

Author of the publication

copydeleteadd this publication to your clipboard
Precondition Inference for Peephole Optimizations in LLVM.

, and . CoRR, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Santosh Panjikar

Santosh Noronha

Santosh Vijayan

Santosh Nepal

Santosh Hosmani

 

Other publications of authors with the same name

Hardware-Enforced Comprehensive Memory Safety., , and . IEEE Micro, 33 (3): 38-47 (2013)RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes., and . CoRR, (2021)On-the-fly Data Race Detection with the Enhanced OpenMP Series-Parallel Graph., , and . IWOMP, volume 12295 of Lecture Notes in Computer Science, page 149-164. Springer, (2020)Multicore acceleration of priority-based schedulers for concurrency bug detection., , , and . PLDI, page 543-554. ACM, (2012)A randomized scheduler with probabilistic guarantees of finding bugs., , , and . ASPLOS, page 167-178. ACM, (2010)Testing Cross-Platform Mobile App Development Frameworks (T)., , , and . ASE, page 441-451. IEEE Computer Society, (2015)A parallelism profiler with what-if analyses for OpenMP programs., , and . SC, page 16:1-16:14. IEEE / ACM, (2018)Formal verification of SSA-based optimizations for LLVM., , , and . PLDI, page 175-186. ACM, (2013)An approach to generate correctly rounded math libraries for new floating point variants., , , and . Proc. ACM Program. Lang., 5 (POPL): 1-30 (2021)One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes., and . Proc. ACM Program. Lang., 6 (POPL): 1-28 (2022)