Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks. - Sahil Bhatia; Rishabh Singh (CoRR, 2016)

Neuro-symbolic program corrector for introductory programming assignments. - Sahil Bhatia; Pushmeet Kohli; Rishabh Singh (ICSE, 2018)

New Digital Services for Manufacturing Industry Using Analytics: The Case of Blast Furnace Thermal Regulation. - Uzma Iffat; Sahil Bhatia; Alexandru Tantar; Jorge Sanz; Cedric Schockaert; Alexander Schmitz; Frank Giroldini; Yves Reuter; Fabrice Hansen (CBI (2), 2018)

OASIS: ILP-Guided Synthesis of Loop Invariants. - Sahil Bhatia; Saswat Padhi; Nagarajan Natarajan; Rahul Sharma 001; Prateek Jain 002 (CoRR, 2019)

Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper). - Sahil Bhatia; Sumer Kohli; Sanjit A. Seshia; Alvin Cheung (ECOOP, 2023)

Code Transpilation for Hardware Accelerators. - Yuto Nishida; Sahil Bhatia; Shadaj Laddad; Hasan Genc; Yakun Sophia Shao; Alvin Cheung (CoRR, 2023)

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations. - Jie Qiu; Colin Cai; Sahil Bhatia; Niranjan Hasabnis; Sanjit A. Seshia; Alvin Cheung (ECOOP, 2024)

Cost-efficient Blockchain-based e-KYC Platform using Biometric verification. - Sahil Bhatia; Lokendra Vishwakarma; Debasis Das 001 (ICOIN, 2024)

Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit Seshia (NeurIPS, 2024)

Verified Code Transpilation with LLMs. - Sahil Bhatia; Jie Qiu; Niranjan Hasabnis; Sanjit Seshia; Alvin Cheung (NeurIPS, 2024)

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages. - Federico Mora 002; Justin Wong; Haley Lepe; Sahil Bhatia; Karim Elmaaroufi; George Varghese; Joseph E. Gonzalez; Elizabeth Polgreen; Sanjit A. Seshia (CoRR, 2024)

LLM-Aided Compilation for Tensor Accelerators. - Charles Hong; Sahil Bhatia; Altan Haan; Shengjun Kris Dong; Dima Nikiforov; Alvin Cheung; Yakun Sophia Shao (CoRR, 2024)

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact). - Jie Qiu; Colin Cai; Sahil Bhatia; Niranjan Hasabnis; Sanjit A. Seshia; Alvin Cheung (Dagstuhl Artifacts Ser., 2024)

Autocomp: LLM-Driven Code Optimization for Tensor Accelerators. - Charles Hong; Sahil Bhatia; Alvin Cheung; Yakun Sophia Shao (CoRR, 2025)