aalok thakkar.

I am a doctoral student at the department of Computer and Information Science, University of Pennsylvania (Penn), where I am advised by Rajeev Alur and Mayur Naik. I work on program synthesis, that lies at the intersection of automated reasoning and programming languages.

In particular, I focus on example-guided synthesis, a paradigm for programming-by-examples (PBE) where the latent structure of the training data is used to come up with a correct programming efficiently. We have explored example-guided synthesis in the context of relational queries.

Before Penn, I pursued an undergraduate degree in mathematics and computer science at Chennai Mathematical Institute. I have also had the pleasure to spend time and work at Laboratoire Specification et Verification, Adobe Systems, Nokia Bell Labs, and Amazon Web Services.

news:

I worked as a reasearch scientist intern at the Automated Reasoning Group, Amazon Web Services. My work was focussed on adding support for loop verification for CBMC.

Our paper on Example-Guided Synthesis of Relational Queries appeared at PLDI 2021.

Our paper on Reopening businesses and risk of COVID-19 transmission appeared in npj Digital Medicine 2021.