Akash Kothari -

Registered user since Fri 10 Jun 2022

Name:Akash Kothari

Country:United States

Affiliation:University of Illinois at Urbana-Champaign

Contributions

2026

FormaliSE

Author of TensorEgg: Formally Verifying Rewrite Rules and Applying Them to Tensor Programs within the Research Track-track

2025

PLDI

Author of MISAAL: Synthesis-Based Automatic Generation of Efficient and Retargetable Semantics-Driven Optimizations within the PLDI Research Papers-track

2021

Principles and Practice of Parallel Programming

Author of ApproxTuner: A Compiler and Runtime System for Adaptive Approximations within the Main Conference-track