Aalok Thakkar

16 papers A* 1Journal 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
Astra: AI Safety, Trust, & Risk Assessment.
CoRR
Pranav Aggarwal, Ananya Basotia, Debayan Gupta, Rahul Kulkarni, Shalini Kapoor, Kashyap J., A. Mukundan, Aishwarya Pokhriyal, Anirban Sen, Aryan Shah, Aalok Thakkar
2026 J jnl
Localising Stochasticity in Weighted Automata.
CoRR
Smayan Agarwal, Aalok Thakkar
2025 J jnl
Accessibility Beyond Accommodations: A Systematic Redesign of Introduction to Computer Science for Students with Visual Impairments.
CoRR
Vaanee Tripathi, Aalok Thakkar
2025 J jnl
Ancient Algorithms for a Modern Curriculum.
CoRR
Aalok Thakkar
2025 J jnl
Identity Testing for Stochastic Languages.
CoRR
Smayan Agarwal, Shobhit Singh, Aalok Thakkar
2025 J jnl
SocraticAI: Transforming LLMs into Guided CS Tutors Through Scaffolded Interaction.
CoRR
Karthik Sunil, Aalok Thakkar
2025 J jnl
Stochastic Languages at Sub-stochastic Cost.
CoRR
Smayan Agarwal, Aalok Thakkar
2023 J jnl
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.
Proc. ACM Program. Lang.
Aalok Thakkar, Nathaniel Sands, George Petrou, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2023 J jnl
Relational Query Synthesis ⋈ Decision Tree Learning.
Proc. VLDB Endow.
Aaditya Naik, Aalok Thakkar, Adam Stein, Rajeev Alur, Mayur Naik
2021 J jnl
Author Correction: Reopening businesses and risk of COVID-19 transmission.
npj Digit. Medicine
Ashley O'Donoghue, Tenzin Dechen, Whitney Pavlova, Michael Boals, Garba Moussa, Manvi Madan, Aalok Thakkar, Frank J. DeFalco, Jennifer P. Stevens
2021 A* conf
Example-guided synthesis of relational queries.
PLDI
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman
2021 J jnl
Reopening businesses and risk of COVID-19 transmission.
npj Digit. Medicine
Ashley O'Donoghue, Tenzin Dechen, Whitney Pavlova, Michael Boals, Garba Moussa, Manvi Madan, Aalok Thakkar, Frank J. DeFalco, Jennifer P. Stevens
2020 J jnl
Concurrency in Boolean networks.
Nat. Comput.
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
2020 J jnl
Infinitude of Primes Using Formal Language Theory.
CoRR
Aalok Thakkar
2019 J jnl
Concurrency in Boolean networks.
CoRR
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
2018 J jnl
Infinitude of Primes Using Formal Languages.
Am. Math. Mon.
Aalok Thakkar