Publications

2026

1. ISPASS

   MINISA: Minimal Instruction Set Architecture for Next-gen Reconfigurable Inference Accelerator

   Jianming Tong, Yujie Li, Devansh Jain, Charith Mendis, and Tushar Krishna

   In 2026 IEEE International Symposium on Performance Analysis of Systems and Software (to appear)

   Apr 2026

2025

1. arXiv

   ACT: Automatically Generating Compiler Backends from Tensor Accelerator ISA Descriptions

   Devansh Jain, Akash Pardeshi, Marco Frigo, Krut Patel, Kaustubh Khulbe, Jai Arora, and Charith Mendis

   Oct 2025

   DOI Bib PDF

   @misc{act-arxiv,
     title = {ACT: Automatically Generating Compiler Backends from Tensor Accelerator ISA Descriptions},
     author = {Jain, Devansh and Pardeshi, Akash and Frigo, Marco and Patel, Krut and Khulbe, Kaustubh and Arora, Jai and Mendis, Charith},
     year = {2025},
     archiveprefix = {arXiv},
     primaryclass = {cs.PL},
     url = {https://arxiv.org/abs/2510.09932},
     doi = {10.48550/arXiv.2510.09932},
     month = oct
   }

2. MICRO

   TAIDL: Tensor Accelerator ISA Definition Language with Auto-generation of Scalable Test Oracles

   Devansh Jain, Marco Frigo, Jai Arora, Akash Pardeshi, Zhihao Wang, Krut Patel, and Charith Mendis

   In 58th IEEE/ACM International Symposium on Microarchitecture (MICRO 2025)

   Oct 2025

   DOI Bib PDF

   @inproceedings{taidl-micro2025,
     author = {Jain, Devansh and Frigo, Marco and Arora, Jai and Pardeshi, Akash and Wang, Zhihao and Patel, Krut and Mendis, Charith},
     title = {TAIDL: Tensor Accelerator ISA Definition Language with Auto-generation of Scalable Test Oracles},
     year = {2025},
     isbn = {9798400715730},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     url = {https://doi.org/10.1145/3725843.3756075},
     doi = {10.1145/3725843.3756075},
     booktitle = {Proceedings of the 2025 58th IEEE/ACM International Symposium on Microarchitecture},
     pages = {1316–1333},
     numpages = {18},
     series = {MICRO '25},
     month = oct
   }

3. POPL

   TensorRight: Automated Verification of Tensor Graph Rewrites

   Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodik, Amit Sabne, and Charith Mendis

   In 52nd ACM SIGPLAN Symposium on Principles of Programming Languages

   Jan 2025

   Distinguished Paper Award

   DOI Bib PDF

   Distinguished Paper Award

   @article{tensorright-popl2025,
     author = {Arora, Jai and Lu, Sirui and Jain, Devansh and Xu, Tianfan and Houshmand, Farzin and Phothilimthana, Phitchaya Mangpo and Lesani, Mohsen and Narayanan, Praveen and Murthy, Karthik Srinivasa and Bodik, Rastislav and Sabne, Amit and Mendis, Charith},
     title = {TensorRight: Automated Verification of Tensor Graph Rewrites},
     year = {2025},
     issue_date = {January 2025},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {9},
     number = {POPL},
     url = {https://doi.org/10.1145/3704865},
     doi = {10.1145/3704865},
     journal = {Proc. ACM Program. Lang.},
     month = jan,
     articleno = {29},
     numpages = {32},
     keywords = {Denotational Semantics, Tensor Compilers, Unbounded Verification}
   }