Aalok Thakkar

According to our database, Aalok Thakkar authored at least 10 papers between 2018 and 2025.

Collaborative distances:

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

2025

Accessibility Beyond Accommodations: A Systematic Redesign of Introduction to Computer Science for Students with Visual Impairments.

Vaanee Tripathi, Aalok Thakkar

CoRR, August, 2025

Identity Testing for Stochastic Languages.

Smayan Agarwal, Shobhit Singh, Aalok Thakkar

CoRR, August, 2025

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