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 | 27 | 2021 |
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 | 26 | 2019 |
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 | 22 | 2022 |
Statistical algorithmic profiling for randomized approximate programs K Joshi, V Fernando, S Misailovic 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 19 | 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 | 13 | 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 | 12 | 2020 |
GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems K Joshi, C Hsieh, S Mitra, S Misailovic arXiv preprint arXiv:2208.02232, 2022 | 2 | 2022 |
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 | 2 | 2021 |
Identifying Optimal Parameters for Approximate Randomized Algorithms V Fernando, K Joshi, D Marinov, S Misailovic | 1 | 2019 |
FastFlip: Compositional Error Injection Analysis K Joshi, R Singh, T Bassetto, S Adve, D Marinov, S Misailovic arXiv preprint arXiv:2403.13989, 2024 | | 2024 |
COMPOSITIONAL ANALYSIS OF THE EFFECTS OF UNCERTAINTY ON COMPUTATIONS KP JOSHI | | 2024 |