Dhruv Baronia -

Not registered as user

Name:Dhruv Baronia

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