Follow
Aaditya Naik
Title
Cited by
Cited by
Year
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
392020
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
332022
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation
P Pashakhanloo, A Naik, Y Wang, H Dai, P Maniatis, M Naik
162022
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
162021
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
142021
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
102021
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
2*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
The system can't perform the operation now. Try again later.
Articles 1–10