Keyur Joshi -

Registered user since Thu 14 Feb 2019

Name:Keyur Joshi

Country:United States

Affiliation:University of Illinois at Urbana-Champaign

Personal website:https://kpjoshi.com

Research interests:Programming Languages, Formal Methods, Software Engineering

Contributions

PLDI 2022	Committee Member in Artifact Evaluation Committee within the Research Artifacts-track
SPLASH 2021	Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track
PPoPP 2021	Author of ApproxTuner: A Compiler and Runtime System for Adaptive Approximations within the Main Conference-track
SPLASH 2019	Author of ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations within the OOPSLA-track Author of Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization within the OOPSLA-track
WAX 2019	Author of Identifying Optimal Parameters for Approximate Randomized Algorithms within the WAX 2019-track
ICSE 2019	Author of Statistical Algorithmic Profiling for Randomized Approximate Programs within the Technical Track-track