Suivre
Keyur Joshi
Keyur Joshi
Adresse e-mail validée de illinois.edu - Page d'accueil
Titre
Citée par
Citée par
Année
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
252021
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
252019
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions
C Hsieh, Y Li, D Sun, K Joshi, S Misailovic, S Mitra
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022
192022
Statistical algorithmic profiling for randomized approximate programs
K Joshi, V Fernando, S Misailovic
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
182019
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
122019
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
112020
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs
V Fernando, K Joshi, J Laurel, S Misailovic
Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021
12021
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–8