Aalok Thakkar

Orcid: 0000-0002-3195-585X

Affiliations:

Ashoka University, Department of Computer Science, Sonipat, HR, India

According to our database¹, Aalok Thakkar authored at least 16 papers between 2018 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

Localising Stochasticity in Weighted Automata.

[BibT_eX]

[DOI]

Smayan Agarwal

Aalok Thakkar

CoRR, February, 2026

Astra: AI Safety, Trust, & Risk Assessment.

[BibT_eX]

[DOI]

CoRR, February, 2026

2025

Ancient Algorithms for a Modern Curriculum.

[BibT_eX]

[DOI]

Aalok Thakkar

CoRR, December, 2025

SocraticAI: Transforming LLMs into Guided CS Tutors Through Scaffolded Interaction.

[BibT_eX]

[DOI]

Karthik Sunil

Aalok Thakkar

CoRR, December, 2025

Stochastic Languages at Sub-stochastic Cost.

[BibT_eX]

[DOI]

Smayan Agarwal

Aalok Thakkar

CoRR, October, 2025

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

[BibT_eX]

[DOI]

Vaanee Tripathi

Aalok Thakkar

CoRR, August, 2025

Identity Testing for Stochastic Languages.

[BibT_eX]

[DOI]

Smayan Agarwal

Shobhit Singh

Aalok Thakkar

CoRR, August, 2025

BOOP: Write Right Code.

[BibT_eX]

[DOI]

Vaani Goenka

Aalok Thakkar

CoRR, July, 2025

2023

Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., October, 2023

Relational Query Synthesis ⋈ Decision Tree Learning.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2023

2021

Reopening businesses and risk of COVID-19 transmission.

[BibT_eX]

[DOI]

npj Digit. Medicine, 2021

Author Correction: Reopening businesses and risk of COVID-19 transmission.

[BibT_eX]

[DOI]

npj Digit. Medicine, 2021

Example-guided synthesis of relational queries.

[BibT_eX]

[DOI]

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

2020

Concurrency in Boolean networks.

[BibT_eX]

[DOI]

Nat. Comput., 2020

Infinitude of Primes Using Formal Language Theory.

[BibT_eX]

[DOI]

Aalok Thakkar

CoRR, 2020

2018

Infinitude of Primes Using Formal Languages.

[BibT_eX]

[DOI]

Aalok Thakkar

Am. Math. Mon., 2018

Aalok Thakkar

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...