Keyur Joshi

Keyur Joshi

University of Illinois at Urbana‑Champaign

Address

Room 3107,
201 N Goodwin Ave,
Urbana, IL 61801 USA

Email

kpjoshi2[at]illinois.edu

About Me

I'm a PhD student in the Department of Computer Science at the University of Illinois at Urbana‑Champaign. My advisor is Professor Sasa Misailovic. I graduated from the Indian Institute of Technology Hyderabad in 2017.

Publications

2020

  • Aloe: Verifying Reliability of Approximate Programs in the Presence of Recovery Mechanisms
    Keyur Joshi, Vimuth Fernando, Sasa Misailovic
    IEEE/ACM International Symposium on Code Generation and Optimization (CGO 2020)

2019

  • Statistical Algorithmic Profiling for Randomized Approximate Programs
    Keyur Joshi, Vimuth Fernando, Sasa Misailovic
    ACM/IEEE International Conference on Software Engineering (ICSE 2019)
    Full Text | Slides
  • Verifying Safety and Accuracy of Approximate Parallel Programs via Canonical Sequentialization
    Vimuth Fernando, Keyur Joshi, Sasa Misailovic
    ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA/SPLASH 2019)
    Full Text | Appendix | Slides
  • ApproxHPVM: A Portable Compiler IR for Accuracy-Aware Optimizations
    Hashim Sharif, Prakalp Srivastava, Muhammad Huzaifa, Maria Kotsifakou, Keyur Joshi, Yasmin Sarita, Nathan Zhao, Vikram S. Adve, Sasa Misailovic, Sarita Adve
    ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA/SPLASH 2019)
    Full Text
  • Identifying Optimal Parameters for Randomized Approximate Algorithms
    Vimuth Fernando, Keyur Joshi, Darko Marinov, Sasa Misailovic
    Workshop on Approximate Computing Across the Stack (WAX 2019) (Co-located with PLDI 2019)
    Full Text | Slides