Sahil Bhatia

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 10

Top Topics

Programming Assignments

Biometric Verification

Projective Invariants

Manufacturing Industry

Top Venues

Publications

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