关注
Aaditya Naik
标题
引用次数
引用次数
年份
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
642022
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
552020
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
192021
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
192021
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
172024
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation
P Pashakhanloo, A Naik, Y Wang, H Dai, P Maniatis, M Naik
172022
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
152021
Learning to Walk over Relational Graphs of Source Code
P Pashakhanloo, A Naik, H Dai, P Maniatis, M Naik
72022
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
22024
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
12024
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
系统目前无法执行此操作,请稍后再试。
文章 1–14