Keyur Joshi
Keyur Joshi
Adresse e-mail validée de - Page d'accueil
Citée par
Citée par
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations
H Sharif, P Srivastava, M Huzaifa, M Kotsifakou, K Joshi, Y Sarita, N Zhao, ...
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019
ApproxTuner: a compiler and runtime system for adaptive approximations
H Sharif, Y Zhao, M Kotsifakou, A Kothari, B Schreiber, E Wang, Y Sarita, ...
Proceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of …, 2021
Statistical algorithmic profiling for randomized approximate programs
K Joshi, V Fernando, S Misailovic
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization
V Fernando, K Joshi, S Misailovic
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms
K Joshi, V Fernando, S Misailovic
Proceedings of the 18th ACM/IEEE International Symposium on Code Generation …, 2020
Identifying Optimal Parameters for Approximate Randomized Algorithms
V Fernando, K Joshi, D Marinov, S Misailovic
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–6