Keyur Joshi

13 papers A* 1A 3B 2Journal 7
YearRankTypeTitle / Venue / Authors
2025 A conf
FastFlip: Compositional SDC Resiliency Analysis.
CGO
Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic
2024 J jnl
FastFlip: Compositional Error Injection Analysis.
CoRR
Keyur Joshi, Rahul Singh, Tommaso Bassetto, Sarita V. Adve, Darko Marinov, Sasa Misailovic
2024 A conf
GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems.
ISSRE
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
2023 J jnl
Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs.
Int. J. Softw. Tools Technol. Transf.
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
2022 J jnl
Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos.
CoRR
Keyur Joshi, Chiao Hsieh, Sayan Mitra, Sasa Misailovic
2022 J jnl
Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Chiao Hsieh, Yangge Li, Dawei Sun, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2021 B conf
ApproxTuner: a compiler and runtime system for adaptive approximations.
PPoPP
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
2021 B conf
Diamont: Dynamic Monitoring of Uncertainty for Distributed Asynchronous Programs.
RV
Vimuth Fernando, Keyur Joshi, Jacob Laurel, Sasa Misailovic
2021 J jnl
Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions.
CoRR
Chiao Hsieh, Keyur Joshi, Sasa Misailovic, Sayan Mitra
2020 A conf
Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms.
CGO
Keyur Joshi, Vimuth Fernando, Sasa Misailovic
2019 J jnl
ApproxHPVM: a portable compiler IR for accuracy-aware optimizations.
Proc. ACM Program. Lang.
Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita V. Adve
2019 A* conf
Statistical algorithmic profiling for randomized approximate programs.
ICSE
Keyur Joshi, Vimuth Fernando, Sasa Misailovic
2019 J jnl
Verifying safety and accuracy of approximate parallel programs via canonical sequentialization.
Proc. ACM Program. Lang.
Vimuth Fernando, Keyur Joshi, Sasa Misailovic