Statistical algorithmic profiling for randomized approximate programs. - Keyur Joshi 001; Vimuth Fernando; Sasa Misailovic (ICSE, 2019)

Verifying safety and accuracy of approximate parallel programs via canonical sequentialization. - Vimuth Fernando; Keyur Joshi 001; Sasa Misailovic (Proc. ACM Program. Lang., 2019)

ApproxHPVM: a portable compiler IR for accuracy-aware optimizations. - Hashim Sharif; Prakalp Srivastava; Muhammad Huzaifa; Maria Kotsifakou; Keyur Joshi 001; Yasmin Sarita; Nathan Zhao; Vikram S. Adve; Sasa Misailovic; Sarita V. Adve (Proc. ACM Program. Lang., 2019)

Aloe: verifying reliability of approximate programs in the presence of recovery mechanisms. - Keyur Joshi 001; Vimuth Fernando; Sasa Misailovic (CGO, 2020)

ApproxTuner: a compiler and runtime system for adaptive approximations. - Hashim Sharif; Yifan Zhao 004; Maria Kotsifakou; Akash Kothari; Ben Schreiber 001; Elizabeth Wang; Yasmin Sarita; Nathan Zhao; Keyur Joshi 001; Vikram S. Adve; Sasa Misailovic; Sarita V. Adve (PPoPP, 2021)

Verifying Controllers with Convolutional Neural Network-based Perception: A Case for Intelligible, Safe, and Precise Abstractions. - Chiao Hsieh; Keyur Joshi 001; Sasa Misailovic; Sayan Mitra (CoRR, 2021)

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos. - Keyur Joshi 001; Chiao Hsieh; Sayan Mitra; Sasa Misailovic (CoRR, 2022)

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions. - Chiao Hsieh; Yangge Li; Dawei Sun; Keyur Joshi 001; Sasa Misailovic; Sayan Mitra (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Diamont: dynamic monitoring of uncertainty for distributed asynchronous programs. - Vimuth Fernando; Keyur Joshi 001; Jacob Laurel; Sasa Misailovic (Int. J. Softw. Tools Technol. Transf., 2023)

GAS: Generating Fast & Accurate Surrogate Models for Simulations of Autonomous Vehicle Systems. - Keyur Joshi 001; Chiao Hsieh; Sayan Mitra; Sasa Misailovic (ISSRE, 2024)

FastFlip: Compositional Error Injection Analysis. - Keyur Joshi 001; Rahul Singh; Tommaso Bassetto; Sarita V. Adve; Darko Marinov; Sasa Misailovic (CoRR, 2024)

FastFlip: Compositional SDC Resiliency Analysis. - Keyur Joshi 001; Rahul Singh; Tommaso Bassetto; Sarita V. Adve; Darko Marinov; Sasa Misailovic (CGO, 2025)