Sahil Bhatia

According to our database, Sahil Bhatia authored at least 6 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Code Transpilation for Hardware Accelerators.

Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung

CoRR, 2023

Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper).

Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2019

OASIS: ILP-Guided Synthesis of Loop Invariants.

Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain

CoRR, 2019

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

Proceedings of the 20th IEEE Conference on Business Informatics, 2018

Neuro-symbolic program corrector for introductory programming assignments.

Sahil Bhatia, Pushmeet Kohli, Rishabh Singh

Proceedings of the 40th International Conference on Software Engineering, 2018

2016

Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks.

Sahil Bhatia, Rishabh Singh

CoRR, 2016