재정 지원 요구사항을 통해 공개된 자료 - Santosh Nagarakatte자세히 알아보기
제공된 곳이 있음: 23
Alive-FP: Automated Verification of Floating Point Based Peephole Optimizations in LLVM
D Menendez, S Nagarakatte, A Gupta
재정 지원 요구사항 정책: US National Science Foundation
Alive-infer: Data-driven precondition inference for peephole optimizations in llvm
D Menendez, S Nagarakatte
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017
재정 지원 요구사항 정책: US National Science Foundation
Practical verification of peephole optimizations with Alive
NP Lopes, D Menendez, S Nagarakatte, J Regehr
Communications of the ACM 61 (2), 84-91, 2018
재정 지원 요구사항 정책: US National Science Foundation
Parallel data race detection for task parallel programs with locks
A Yoga, S Nagarakatte, A Gupta
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
재정 지원 요구사항 정책: US National Science Foundation
An approach to generate correctly rounded math libraries for new floating point variants
JP Lim, M Aanjaneya, J Gustafson, S Nagarakatte
Proceedings of the ACM on Programming Languages 5 (POPL), 1-30, 2021
재정 지원 요구사항 정책: US National Science Foundation
High performance correctly rounded math libraries for 32-bit floating point representations
JP Lim, S Nagarakatte
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021
재정 지원 요구사항 정책: US National Science Foundation
Debugging and Detecting Numerical Errors in Computation with Posits
S Chowdhary, JP Lim, S Nagarakatte
41st ACM SIGPLAN Conference on Programming Language Design and …, 2020
재정 지원 요구사항 정책: US National Science Foundation
A fast causal profiler for task parallel programs
A Yoga, S Nagarakatte
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
재정 지원 요구사항 정책: US National Science Foundation
Automatic equivalence checking for assembly implementations of cryptography libraries
JP Lim, S Nagarakatte
2019 IEEE/ACM International Symposium on Code Generation and Optimization …, 2019
재정 지원 요구사항 정책: US National Science Foundation
Sound, precise, and fast abstract interpretation with tristate numbers
H Vishwanathan, M Shachnai, S Narayana, S Nagarakatte
2022 IEEE/ACM International Symposium on Code Generation and Optimization …, 2022
재정 지원 요구사항 정책: US National Science Foundation
Approximating trigonometric functions for posits using the CORDIC method
JP Lim, M Shachnai, S Nagarakatte
Proceedings of the 17th ACM International Conference on Computing Frontiers …, 2020
재정 지원 요구사항 정책: US National Science Foundation
Parallelism-centric what-if and differential analyses
A Yoga, S Nagarakatte
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
재정 지원 요구사항 정책: US National Science Foundation
Verifying the Verifier: eBPF Range Analysis Verification
H Vishwanathan, M Shachnai, S Narayana, S Nagarakatte
International Conference on Computer Aided Verification, 226-251, 2023
재정 지원 요구사항 정책: US National Science Foundation
One polynomial approximation to produce correctly rounded results of an elementary function for multiple representations and rounding modes
JP Lim, S Nagarakatte
Proceedings of the ACM on Programming Languages 6 (POPL), 1-28, 2022
재정 지원 요구사항 정책: US National Science Foundation
Parallel shadow execution to accelerate the debugging of numerical errors
S Chowdhary, S Nagarakatte
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
재정 지원 요구사항 정책: US National Science Foundation
Termination-checking for LLVM peephole optimizations
D Menendez, S Nagarakatte
Proceedings of the 38th International Conference on Software Engineering …, 2016
재정 지원 요구사항 정책: US National Science Foundation
Atomicity Violation Checker for Task Parallel Programs
A Yoga, S Nagarakatte
2016 International Conference on Code Generation and Optimization, 2016
재정 지원 요구사항 정책: US National Science Foundation
Progressive polynomial approximations for fast correctly rounded math libraries
M Aanjaneya, JP Lim, S Nagarakatte
Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022
재정 지원 요구사항 정책: US National Science Foundation
A parallelism profiler with what-if analyses for openmp programs
N Boushehrinejadmoradi, A Yoga, S Nagarakatte
SC18: International Conference for High Performance Computing, Networking …, 2018
재정 지원 요구사항 정책: US National Science Foundation
Fast shadow execution for debugging numerical errors using error free transformations
S Chowdhary, S Nagarakatte
Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1845-1872, 2022
재정 지원 요구사항 정책: US National Science Foundation
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.