| 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 | 39 | 2022 |
| 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 | 32 | 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 | 30 | 2019 |
| Statistical algorithmic profiling for randomized approximate programs K Joshi, V Fernando, S Misailovic 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 23 | 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 | 16 | 2020 |
| 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 | 15 | 2019 |
| 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 | 5 | 2021 |
| 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 | 1 | 2024 |
| Identifying Optimal Parameters for Approximate Randomized Algorithms V Fernando, K Joshi, D Marinov, S Misailovic | 1 | 2019 |
| FastFlip: Compositional SDC Resiliency Analysis K Joshi, R Singh, T Bassetto, S Adve, D Marinov, S Misailovic | | 2025 |
Sasa MisailovicUniversity of Illinois at Urbana–ChampaignGeverifieerd e-mailadres voor illinois.edu