Aalok Thakkar

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 9

Top Topics

Internet Commerce

Relational Queries

Formal Language

Boolean Networks

Top Venues

npj Digit. Medicine

Proc. ACM Program. Lang.

Proc. VLDB Endow.

Publications

Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik
Relational Query Synthesis ⋈ Decision Tree Learning. Proc. VLDB Endow. 17 (2) (2023)
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Ashley O'Donoghue, Tenzin Dechen, Whitney Pavlova, Michael Boals, Garba Moussa, Manvi Madan, Aalok Thakkar, Frank J. DeFalco, Jennifer P. Stevens
Author Correction: Reopening businesses and risk of COVID-19 transmission. npj Digit. Medicine 4 (2021)
Ashley O'Donoghue, Tenzin Dechen, Whitney Pavlova, Michael Boals, Garba Moussa, Manvi Madan, Aalok Thakkar, Frank J. DeFalco, Jennifer P. Stevens
Reopening businesses and risk of COVID-19 transmission. npj Digit. Medicine 4 (2021)
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
Example-guided synthesis of relational queries. PLDI (2021)
Aalok Thakkar
Infinitude of Primes Using Formal Language Theory. CoRR (2020)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. Nat. Comput. 19 (1) (2020)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. CoRR (2019)
Aalok Thakkar
Infinitude of Primes Using Formal Languages. Am. Math. Mon. 125 (8) (2018)