Follow
Keyur Joshi
Title
Cited by
Cited by
Year
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
182019
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
132021
Statistical algorithmic profiling for randomized approximate programs
K Joshi, V Fernando, S Misailovic
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
132019
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
92019
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
72020
Identifying Optimal Parameters for Approximate Randomized Algorithms
V Fernando, K Joshi, D Marinov, S Misailovic
The system can't perform the operation now. Try again later.
Articles 1–6