Keyur Joshi

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 10

Top Topics

Improved Accuracy

Distributed Constraint Satisfaction

Computational Efficiency

Top Venues

Proc. ACM Program. Lang.

Publications

Priyam Parikh, Reena Trivedi, Keyur Joshi
Continuous trajectory planning of a 6 DoF feeding robotic arm using a novel multi-point LSPB algorithm. M2VIP (2022)
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. CoRR (2022)
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (11) (2022)
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs. RV (2021)
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. CoRR (2021)
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
ApproxTuner: a compiler and runtime system for adaptive approximations. PPoPP (2021)
Keyur Joshi, Vimuth Fernando, Sasa Misailovic
Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. CGO (2020)
Vimuth Fernando, Keyur Joshi, Sasa Misailovic
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Keyur Joshi, Vimuth Fernando, Sasa Misailovic
Statistical algorithmic profiling for randomized approximate programs. ICSE (2019)
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)