Sahil Bhatia
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2018–2024
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ECOOP | Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. | Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung |
| 2023 | ECOOP | Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). | Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung |
| 2018 | ICSE | Neuro-symbolic program corrector for introductory programming assignments. | Sahil Bhatia, Pushmeet Kohli, Rishabh Singh |