Keyur Joshi

Identifying Optimal Parameters for Approximate Randomized Algorithms

Sasa Misailovic, D. Marinov, V. Fernando, 2019 .

Detection of Wireless Traffic Bandwidth for Automatic Communication Protocol Selection in Wireless Network-on-Chip Systems

V. Fernando, Keyur Joshi, Antonio Franques, 2020 .

Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos

Sayan Mitra, Sasa Misailovic, Keyur Joshi, 2022, ArXiv.

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

Dawei Sun, Sayan Mitra, Sasa Misailovic, 2022, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

Statistical Algorithmic Profiling for Randomized Approximate Programs

Sasa Misailovic, Keyur Joshi, Vimuth Fernando, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE).

GAS: Generating Fast and Accurate Surrogate Models for Autonomous Vehicle Systems

Sasa Misailovic, Keyur Joshi, Chiao Hsieh, 2022, 2208.02232.

ApproxHPVM: a portable compiler IR for accuracy-aware optimizations

Vikram S. Adve, Hashim Sharif, Prakalp Srivastava, 2019, Proc. ACM Program. Lang..

Verifying Controllers With Vision-Based Perception Using Safe Approximate Abstractions

Dawei Sun, Sasa Misailovic, Keyur Joshi, 2021, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.