Sahil Bhatia

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations (Artifact).
Dagstuhl Artifacts Ser., 2024

LLM-Aided Compilation for Tensor Accelerators.
CoRR, 2024

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

Verified Code Transpilation with LLMs.
CoRR, 2024

Cost-efficient Blockchain-based e-KYC Platform using Biometric verification.
Proceedings of the International Conference on Information Networking, 2024

Tenspiler: A Verified-Lifting-Based Compiler for Tensor Operations.
Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023
Code Transpilation for Hardware Accelerators.
CoRR, 2023

Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper).
Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2019
OASIS: ILP-Guided Synthesis of Loop Invariants.
CoRR, 2019

2018
New Digital Services for Manufacturing Industry Using Analytics: The Case of Blast Furnace Thermal Regulation.
Proceedings of the 20th IEEE Conference on Business Informatics, 2018

Neuro-symbolic program corrector for introductory programming assignments.
Proceedings of the 40th International Conference on Software Engineering, 2018

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


  Loading...