Aalok Thakkar

According to our database, Aalok Thakkar authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.

Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman

Proc. ACM Program. Lang., October, 2023

Relational Query Synthesis ⋈ Decision Tree Learning.

Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik

Proc. VLDB Endow., 2023

2021

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 Digit. Medicine, 2021

Author Correction: 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 Digit. Medicine, 2021

Example-guided synthesis of relational queries.

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

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Concurrency in Boolean networks.

Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar

Nat. Comput., 2020

Infinitude of Primes Using Formal Language Theory.

Aalok Thakkar

CoRR, 2020

2018

Infinitude of Primes Using Formal Languages.

Aalok Thakkar

Am. Math. Mon., 2018