Aalok Thakkar

  • user
  • User logout

Other links:

Other links:

Man in a blue suit and white shirt sitting indoors with blurred windows and cityscape in the background.

Aalok Thakkar

Assistant Professor of Computer Science, Ashoka University

PhD,University of Pennsylvania
https://aalok-thakkar.github.io aalok.thakkar@ashoka.edu.in

Aalok Thakkar is currently an Assistant Professor of Computer Science at Ashoka University. His research focuses on integrating formal methods and artificial intelligence, with particular emphasis on applying formal methods in programming-by-examples for relational queries, synthesis of reactive programs, bounded model checking, verification of smart contracts, and text generation.

He completed his PhD in Computer and Information Science from the University of Pennsylvania in May 2023, with a thesis on “Example-guided Synthesis of Relational Queries” under advisors Rajeev Alur and Mayur Naik. Prior to his academic appointment, Aalok worked with Movement Labs and Aptos Labs on verification of smart contracts. His research has been published in top-tier conferences such as VLDB, SPLASH, and PLDI.

  1. Relational Query Synthesis ‘JOIN’ Decision Tree Learning. Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik International Conference on Very Large Databases, 2023.
  2. Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Aalok Thakkar, Nathaniel Sands, Georgios Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, 2023.
  3. Complexity of Relational Query Synthesis. Aalok Thakkar, Rajeev Alur, Mayur Naik. Workshop on Synthesis, 2022.
  4. Example-guided synthesis of relational queries. Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021.
  5. Reopening businesses and risk of COVID-19 transmission. Ashley O’Donoghue, Tenzin Dechen, Whitney Pavlova, Michael Boals, Garba Moussa, Manvi Madan, Aalok Thakkar, Frank J. DeFalco, Jennifer P. Stevens npj Digital Medicine, 2021.
  6. Modular Synthesis of Reactive Programs. Kedar S Namjoshi, Aalok Thakkar, Richard J Trefler Workshop on Synthesis , 2020.
  7. Concurrency in Boolean networks. Thomas Chatain, Stephan Haar, J Kolcak, Loic Pauleve, Aalok Thakkar Natural Computing, 2020.
Study at Ashoka

Study at Ashoka

    Sticky Button