Aaditya Naik

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 14

Top Topics

Relational Queries

Code Generation

Top Venues

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Adam Stein, Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
Towards Compositionality in Concept Learning. CoRR (2024)
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Madan Musuvathi, Shuvendu K. Lahiri
Exploring the Effectiveness of LLM based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. ICSE Companion (2024)
Aaditya Naik, Adam Stein, Yinjun Wu, Mayur Naik, Eric Wong
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning. Proc. ACM Program. Lang. 8 (OOPSLA1) (2024)
Sarah Fakhoury, Aaditya Naik, Georgios Sakkas, Saikat Chakraborty, Shuvendu K. Lahiri
LLM-based Test-driven Interactive Code Generation: User Study and Empirical Evaluation. CoRR (2024)
Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik
Relational Query Synthesis ⋈ Decision Tree Learning. Proc. VLDB Endow. 17 (2) (2023)
Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
Do Machine Learning Models Learn Statistical Rules Inferred from Data? ICML (2023)
Aaditya Naik, Adam Stein, Yinjun Wu, Eric Wong, Mayur Naik
MDB: Interactively Querying Datasets and Models. CoRR (2023)
Aaditya Naik, Yinjun Wu, Mayur Naik, Eric Wong
Do Machine Learning Models Learn Common Sense? CoRR (2023)
Shuvendu K. Lahiri, Aaditya Naik, Georgios Sakkas, Piali Choudhury, Curtis von Veh, Madanlal Musuvathi, Jeevana Priya Inala, Chenglong Wang, Jianfeng Gao
Interactive Code Generation via Test-Driven User-Intent Formalization. CoRR (2022)
Pardis Pashakhanloo, Aaditya Naik, Yuepeng Wang, Hanjun Dai, Petros Maniatis, Mayur Naik
CodeTrek: Flexible Modeling of Code using an Extensible Relational Representation. ICLR (2022)
Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman
Sporq: An Interactive Environment for Exploring Code using Query-by-Example. UIST (2021)
Jonathan Mendelson, Aaditya Naik, Mukund Raghothaman, Mayur Naik
GENSYNTH: Synthesizing Datalog Programs without Language Bias. AAAI (2021)
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Example-guided synthesis of relational queries. PLDI (2021)
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
Code2Inv: A Deep Learning Framework for Program Verification. CAV (2) (2020)