Automated correction for syntax errors in programming assignments using recurrent neural networks S Bhatia, R Singh arXiv preprint arXiv:1603.06129, 2016 | 142 | 2016 |
Neuro-symbolic program corrector for introductory programming assignments S Bhatia, P Kohli, R Singh Proceedings of the 40th International Conference on Software Engineering, 60-70, 2018 | 107 | 2018 |
Building Code Transpilers for Domain-Specific Languages Using Program Synthesis (Experience Paper) S Bhatia, S Kohli, SA Seshia, A Cheung 37th European Conference on Object-Oriented Programming (ECOOP 2023), 2023 | 6 | 2023 |
Personality traits and learning S Kohli, S Bhatia British Dental Journal 230 (4), 186-186, 2021 | 3 | 2021 |
OASIS: ILP-guided synthesis of loop invariants S Bhatia, S Padhi, N Natarajan, R Sharma, P Jain NeurIPS 2020 Workshop on Computer-Assisted Programming, 2020 | 3* | 2020 |
Activities of phosphoglucoisomerase and ATP-dependent phosphofructokinase and accumulation of starch in developing sorghum caryopsis in citrate-supplemented liquid culture S Bhatia, R Singh INDIAN JOURNAL OF EXPERIMENTAL BIOLOGY 36, 930-933, 1998 | 3 | 1998 |
Placement with modifications S Bhatia, S Kohli British Dental Journal 231 (1), 3-3, 2021 | 1 | 2021 |
Tips for odontogenic infections S Bhatia, S Kohli British Dental Journal 229 (12), 760-761, 2020 | 1 | 2020 |
Colour Changes of Tooth-Coloured Restorative Dental Materials Immersed in Food Simulating Solution. A Razak, A Long, S Sivananda, S Bhatia, S Kohli, R Subramaniam Malaysian Dental Journal 35, 2013 | 1 | 2013 |
Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations J Qiu, C Cai, S Bhatia, N Hasabnis, SA Seshia, A Cheung arXiv preprint arXiv:2404.18249, 2024 | | 2024 |
Can LLMs Perform Verified Lifting of Code? S Bhatia, J Qiu, SA Seshia, A Cheung | | 2024 |
FILI: Syntax Repair By Learning From Own Mistakes S Bhatia, N Potti, R Singh | | 2023 |
Code Transpilation for Hardware Accelerators Y Nishida, S Bhatia, S Laddad, H Genc, YS Shao, A Cheung arXiv preprint arXiv:2308.06410, 2023 | | 2023 |
Concept of Rapid Protytping in Dentistry. S Kohli, S Bhatia, R Subramaniam, S Shetty Malaysian Dental Journal 35, 2013 | | 2013 |