Skip to content

Aalok Thakkar

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

3

Venues

2

Active years

2021–2026

Best venue rank

A*

Where they publish

Papers

3 indexed papers, newest first.

YearVenueTitleAuthors
2026ITiCSEA Correctness-First Introduction to Computer Science.Vaani Goenka, Aalok Thakkar
2026ITiCSEA Good Rubber Duck Does Not Quack: Designing Socratic Scaffolding in AI Tutors.Ayush Thonge, Aalok Thakkar
2021PLDIExample-guided synthesis of relational queries.Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, Mukund Raghothaman