Keyur Joshi

According to our database, Keyur Joshi authored at least 10 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

FastFlip: Compositional Error Injection Analysis.

Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic

CoRR, 2024

2023

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.

Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic

Int. J. Softw. Tools Technol. Transf., August, 2023

2022

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.

Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos.

Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic

CoRR, 2022

2021

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.

Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra

CoRR, 2021

ApproxTuner: a compiler and runtime system for adaptive approximations.

Hashim Sharif, Yifan Zhao, Maria Kotsifakou, Akash Kothari, Ben Schreiber, Elizabeth Wang, Yasmin Sarita, Nathan Zhao, Keyur Joshi, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve

Proceedings of the PPoPP '21: 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2021

2020

Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms.

Keyur Joshi, Vimuth Fernando, Sasa Misailovic

Proceedings of the CGO '20: 18th ACM/IEEE International Symposium on Code Generation and Optimization, 2020

2019

ApproxHPVM: a portable compiler IR for accuracy-aware optimizations.

Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve

Proc. ACM Program. Lang., 2019

Verifying safety and accuracy of approximate parallel programs via canonical sequentialization.

Vimuth Fernando, Keyur Joshi, Sasa Misailovic

Proc. ACM Program. Lang., 2019

Statistical algorithmic profiling for randomized approximate programs.

Keyur Joshi, Vimuth Fernando, Sasa Misailovic

Proceedings of the 41st International Conference on Software Engineering, 2019