Aaditya Naik

profile image
Welcome to my corner of the internet! I am a first-year PhD student at the University of Pennsylvania advised by Prof. Mayur Naik. My research interests span Machine Learning, Software Engineering and Programming Languages and aim to help improve software quality. My research till now has involved the use of deep reinforcement learning to predict loop invariants for software verification (see Code2Inv) and the use of genetic algorithms to generate Datalog queries (see GenSynth).


  • Paper titled "Example-Guided Synthesis of Relational Queries." conditionally accepted to appear in PLDI '21.