Interactive Code Generation via Test-Driven User-Intent Formalization SK Lahiri, A Naik, G Sakkas, P Choudhury, C von Veh, M Musuvathi, ... arXiv preprint arXiv:2208.05950, 2022 | 64 | 2022 |
Code2Inv: A Deep Learning Framework for Program Verification X Si*, A Naik*, H Dai, M Naik, L Song International Conference on Computer Aided Verification, 151-164, 2020 | 55 | 2020 |
Example-guided synthesis of relational queries A Thakkar, A Naik, N Sands, R Alur, M Naik, M Raghothaman Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 19 | 2021 |
GENSYNTH: Synthesizing Datalog Programs without Language Bias J Mendelson, A Naik, M Raghothaman, M Naik Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6444-6453, 2021 | 19 | 2021 |
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation S Fakhoury, A Naik, G Sakkas, S Chakraborty, SK Lahiri arXiv preprint arXiv:2404.10100, 2024 | 17 | 2024 |
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation P Pashakhanloo, A Naik, Y Wang, H Dai, P Maniatis, M Naik | 17 | 2022 |
Sporq: An Interactive Environment for Exploring Code using Query-by-Example A Naik, J Mendelson, N Sands, Y Wang, M Naik, M Raghothaman The 34th Annual ACM Symposium on User Interface Software and Technology, 84-99, 2021 | 15 | 2021 |
Learning to Walk over Relational Graphs of Source Code P Pashakhanloo, A Naik, H Dai, P Maniatis, M Naik | 7 | 2022 |
Do Machine Learning Models Learn Statistical Rules Inferred from Data? A Naik, Y Wu, M Naik, E Wong arXiv preprint arXiv:2303.01433, 2023 | 5* | 2023 |
Towards compositionality in concept learning A Stein, A Naik, Y Wu, M Naik, E Wong arXiv preprint arXiv:2406.18534, 2024 | 2 | 2024 |
Torchql: A programming framework for integrity constraints in machine learning A Naik, A Stein, Y Wu, M Naik, E Wong Proceedings of the ACM on Programming Languages 8 (OOPSLA1), 833-863, 2024 | 1 | 2024 |
Relational Query Synthesis⋈ Decision Tree Learning A Naik, A Thakkar, A Stein, R Alur, M Naik Proceedings of the VLDB Endowment 17 (2), 250-263, 2023 | | 2023 |
Detecting Parkinsonian Symptoms using Data Analysis A Naik, U Pant, A Pansare, K Samdani 2019 IEEE 5th International Conference for Convergence in Technology (I2CT), 1-5, 2019 | | 2019 |
Emulating an Operating System A Naik, A Chakraborti, A Pansare, U Pant | | |