Get started
Author

Keyur Joshi

Observed name: Joshi, Keyur
ORCID: 0000-0002-5794-6257
Observed ORCID: 0000-0002-5794-6257
OpenAlex ID: A5073775929
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions
2022 · Chiao Hsieh, Yangge Li, et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 36
PDF
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations
2019 · Hashim Sharif, Prakalp Srivastava, et al. · Proceedings of the ACM on Programming Languages · 23
PDF
ApproxTuner
2021 · Hashim Sharif, Yifan Zhao, et al. · ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming · 22
PDF
Statistical Algorithmic Profiling for Randomized Approximate Programs
2019 · Keyur Joshi, Vimuth Fernando, et al. · IEEE/ACM International Conference on Software Engineering (ICSE) · 18
Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms
2020 · Keyur Joshi, Vimuth Fernando, et al. · 10
PDF
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization
2019 · Vimuth Fernando, Keyur Joshi, et al. · Proceedings of the ACM on Programming Languages · 9
PDF
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs
2023 · Vimuth Fernando, Keyur Joshi, et al. · International Journal on Software Tools for Technology Transfer · 3
FastFlip: Compositional SDC Resiliency Analysis
2025 · Keyur Joshi, Rahul Singh, et al. · 2
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs
2021 · Vimuth Fernando, Keyur Joshi, et al. · Lecture notes in computer science · 2
FastFlip: Compositional Error Injection Analysis
2024 · Joshi, Keyur, Singh, Rahul, et al. · arXiv (Cornell University) · 1
PDF
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
2021 · Hsieh, Chiao, Joshi, Keyur, et al. · arXiv (Cornell University) · 1
PDF
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems
2024 · Keyur Joshi, Chiao Hsieh, et al. · IEEE International Symposium on Software Reliability Engineering (ISSRE)
From Detection to Segmentation: Combining Foundation Model with Bounding Boxes Forefficient Fire Detection
2024 · Keyur Joshi, Xin Li, et al. · SSRN Electronic Journal
GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems
2022 · Joshi, Keyur, Hsieh, Chiao, et al. · arXiv (Cornell University)
PDF
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions
2021 · Hsieh, Chiao, Joshi, Keyur, et al. · arXiv (Cornell University)
Implementation of a Cache Miss Calculator in LLVM/Polly
2017 · Keyur Joshi, Ramakrishna Upadrasta, et al. · Research Archive of Indian Institute of Technology Hyderabad (Indian Institute of Technology Hyderabad)
Verification of the EDA Concept Through an Assessment of Theoretical Failure Modes, Failure Mode Analysis, and Case Studies with Real Data
2013 · Helen Strickland, Beth Morgan, et al. · Springer eBooks
Works count: 17
Citation count: 127
H-index: 6
I10-index: 5
Year
Topic
Type