Publications

2026

1. OOPSLA

   Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions

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

   In PACMPL(OOPSLA) 2026

   Oct 2026

   DOI Bib PDF Supp Code

   @article{act-oopsla2026,
     author = {Jain, Devansh and Pardeshi, Akash and Frigo, Marco and Khulbe, Kaustubh and Patel, Krut and Lochan, Saatvik and Arora, Jai and Mendis, Charith},
     title = {Automatically Generating ML Compiler Backends from Tensor Accelerator ISA Descriptions},
     year = {2026},
     issue_date = {October 2026},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     number = {OOPSLA2},
     url = {https://doi.org/10.1145/3839457},
     doi = {10.1145/3839457},
     journal = {Proc. ACM Program. Lang.},
     month = oct
   }

2. ISPASS

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

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

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

   Apr 2026

   Distinguished Artifact Honorable Mention

   DOI Bib PDF Code

   Distinguished Artifact Honorable Mention

   @inproceedings{minisa-ispass2026,
     author = {Tong, Jianming and Jain, Devansh and Li, Yujie and Mendis, Charith and Krishna, Tushar},
     booktitle = {IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS 2026)},
     title = {MINISA: Minimal Instruction Set Architecture for Next-gen Reconfigurable Inference Accelerator},
     year = {2026},
     pages = {614-626},
     url = {https://doi.org/10.1109/ISPASS69572.2026.00077},
     doi = {10.1109/ISPASS69572.2026.00077},
     month = apr
   }

2025

1. 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 Code

   @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
   }

2. OOPSLA

   SPLAT: A Framework for Optimised GPU Code-Generation for SParse reguLar ATtention

   Ahan Gupta, Yueming Yuan, Devansh Jain, Yuhao Ge, David Aponte, Yanqi Zhou, and Charith Mendis

   In PACMPL(OOPSLA) 2025

   Apr 2025

   DOI Bib PDF Supp

   @article{splat-oopsla2025,
     author = {Gupta, Ahan and Yuan, Yueming and Jain, Devansh and Ge, Yuhao and Aponte, David and Zhou, Yanqi and Mendis, Charith},
     title = {SPLAT: A Framework for Optimised GPU Code-Generation for SParse reguLar ATtention},
     year = {2025},
     issue_date = {April 2025},
     publisher = {Association for Computing Machinery},
     address = {New York, NY, USA},
     volume = {9},
     number = {OOPSLA1},
     url = {https://doi.org/10.1145/3720503},
     doi = {10.1145/3720503},
     journal = {Proc. ACM Program. Lang.},
     month = apr,
     articleno = {138},
     numpages = {29},
     keywords = {Code-generation, Deep Learning, Large Language Models}
   }

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 (POPL 2025)

   Jan 2025

   Distinguished Paper Award

   DOI Bib PDF Supp Code

   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}
   }

2024

1. SolPhys

   Solar Flare Catalogue from 3 Years of Chandrayaan-2 XSM Observations

   Aravind Bharathi Valluvan, Ashwin Goyal, Devansh Jain, Abhinna Sundar Samantaray, Abhilash Sarwade, and Kasiviswanathan Sankarasubramanian

   In Solar Physics Journal (Sol Phys 2024)

   Jan 2024

   DOI Bib PDF Code

   @article{chandrayaan2-xsm-solphys2024,
     author = {Valluvan, Aravind Bharathi and Goyal, Ashwin and Jain, Devansh and Samantaray, Abhinna Sundar and Sarwade, Abhilash and Sankarasubramanian, Kasiviswanathan},
     title = {Solar Flare Catalogue from 3 Years of Chandrayaan-2 XSM Observations},
     volume = {299},
     url = {http://doi.org/10.1007/s11207-023-02244-0},
     doi = {10.1007/s11207-023-02244-0},
     number = {2},
     journal = {Solar Physics},
     publisher = {Springer Science and Business Media LLC},
     year = {2024},
     month = jan,
     language = {en}
   }

2023

1. WACV

   GlobalFlowNet: Video Stabilization using Deep Distilled Global Motion Estimates

   Jerin Geo, Devansh Jain, and Ajit Rajwade

   In IEEE/CVF Winter Conference on Applications of Computer Vision (WACV 2023)

   Jan 2023

   DOI Bib PDF Code

   @inproceedings{globalflownet-wacv2023,
     author = {Geo, Jerin and Jain, Devansh and Rajwade, Ajit},
     booktitle = {2023 IEEE/CVF Winter Conference on Applications of Computer Vision (WACV)},
     title = {GlobalFlowNet: Video Stabilization using Deep Distilled Global Motion Estimates},
     year = {2023},
     volume = {},
     number = {},
     pages = {5067-5076},
     keywords = {Optical losses;Smoothing methods;Source coding;Transforms;Stability analysis;Motion measurement;Discrete cosine transforms;Algorithms: Computational photography;image and video synthesis},
     doi = {10.1109/WACV56688.2023.00505},
     issn = {2642-9381},
     month = jan
   }