Sahil Bhatia

16 papers A* 3A 2Journal 9Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Autocomp: LLM-Driven Code Optimization for Tensor Accelerators.
CoRR
Charles Hong, Sahil Bhatia, Alvin Cheung, Yakun Sophia Shao
2024 — conf
Cost-efficient Blockchain-based e-KYC Platform using Biometric verification.
ICOIN
Sahil Bhatia, Lokendra Vishwakarma, Debasis Das
2024 J jnl
LLM-Aided Compilation for Tensor Accelerators.
CoRR
Charles Hong, Sahil Bhatia, Altan Haan, Shengjun Kris Dong, Dima Nikiforov, Alvin Cheung, Yakun Sophia Shao
2024 J jnl
Synthetic Programming Elicitation and Repair for Text-to-Code in Very Low-Resource Programming Languages.
CoRR
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
2024 A* conf
Synthetic Programming Elicitation for Text-to-Code in Very Low-Resource Programming and Formal Languages.
NeurIPS
Federico Mora, Justin Wong, Haley Lepe, Sahil Bhatia, Karim Elmaaroufi, George Varghese, Joseph E. Gonzalez, Elizabeth Polgreen, Sanjit A. Seshia
2024 J jnl
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations.
CoRR
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2024 J jnl
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact).
Dagstuhl Artifacts Ser.
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2024 A conf
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations.
ECOOP
Jie Qiu, Colin Cai, Sahil Bhatia, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2024 A* conf
Verified Code Transpilation with LLMs.
NeurIPS
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2024 J jnl
Verified Code Transpilation with LLMs.
CoRR
Sahil Bhatia, Jie Qiu, Niranjan Hasabnis, Sanjit A. Seshia, Alvin Cheung
2023 A conf
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper).
ECOOP
Sahil Bhatia, Sumer Kohli, Sanjit A. Seshia, Alvin Cheung
2023 J jnl
Code Transpilation for Hardware Accelerators.
CoRR
Yuto Nishida, Sahil Bhatia, Shadaj Laddad, Hasan Genc, Yakun Sophia Shao, Alvin Cheung
2019 J jnl
OASIS: ILP-Guided Synthesis of Loop Invariants.
CoRR
Sahil Bhatia, Saswat Padhi, Nagarajan Natarajan, Rahul Sharma, Prateek Jain
2018 A* conf
Neuro-symbolic program corrector for introductory programming assignments.
ICSE
Sahil Bhatia, Pushmeet Kohli, Rishabh Singh
2018 — conf
New Digital Services for Manufacturing Industry Using Analytics: The Case of Blast Furnace Thermal Regulation.
CBI (2)
Uzma Iffat, Sahil Bhatia, Alexandru Tantar, Jorge Sanz, Cedric Schockaert, Alexander Schmitz, Frank Giroldini, Yves Reuter, Fabrice Hansen
2016 J jnl
Automated Correction for Syntax Errors in Programming Assignments using Recurrent Neural Networks.
CoRR
Sahil Bhatia, Rishabh Singh