متابعة
Keyur Joshi
Keyur Joshi
University of Illinois at Urbana Champaign
بريد إلكتروني تم التحقق منه على illinois.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
392022
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‏
322021
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‏
302019
Statistical algorithmic profiling for randomized approximate programs‏
K Joshi, V Fernando, S Misailovic‏
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019‏
232019
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‏
162020
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‏
152019
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‏
52021
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems‏
K Joshi, C Hsieh, S Mitra, S Misailovic‏
2024 IEEE 35th International Symposium on Software Reliability Engineering …, 2024‏
2*2024
Compositional Analysis of the Effects of Uncertainty on Computations‏
KP Joshi‏
University of Illinois Urbana-Champaign, 2024‏
12024
Identifying Optimal Parameters for Approximate Randomized Algorithms‏
V Fernando, K Joshi, D Marinov, S Misailovic‏
12019
FastFlip: Compositional SDC Resiliency Analysis‏
K Joshi, R Singh, T Bassetto, S Adve, D Marinov, S Misailovic‏
2025
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–11