Publications

* Co-first authorship

Sporq: An Interactive Environment for Exploring Code Using Query-by-Example.

Aaditya Naik, Jonathan Mendelson, Nathaniel Sands, Yuepeng Wang, Mayur Naik, Mukund Raghothaman

Example-Guided Synthesis of Relational Queries.

Aalok Thakkar, Aaditya Naik, Nate Sands, Mukund Raghothaman, Mayur Naik, Rajeev Alur

GenSynth: Synthesizing Datalog Programs without Language Bias.

Jonathan Mendelson*, Aaditya Naik*, Mukund Ragothaman, Mayur Naik

Code2Inv: A Deep Learning Framework for Program Verification.

Xujie Si*, Aaditya Naik*, Hanjun Dai, Mayur Naik, Le Song