Sahil Bhatia

According to our database, Sahil Bhatia authored at least 12 papers between 2016 and 2024.

Collaborative distances:

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

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

LLM-Aided Compilation for Tensor Accelerators.

Charles Hong, Sahil Bhatia, Altan Haan, Shengjun Kris Dong, Dima Nikiforov, Alvin Cheung, Yakun Sophia Shao

CoRR, 2024

Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages.

Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia

CoRR, 2024

Verified Code Transpilation with LLMs.

Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

CoRR, 2024

Cost-efficient Blockchain-based e-KYC Platform using Biometric verification.

Sahil Bhatia, Lokendra Vishwakarma, Debasis Das

Proceedings of the International Conference on Information Networking, 2024

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations.

Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

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