Example-guided synthesis of relational queries. - Aalok Thakkar; Aaditya Naik; Nathaniel Sands; Rajeev Alur; Mayur Naik; Mukund Raghothaman (PLDI, 2021)

Sporq: An Interactive Environment for Exploring Code using Query-by-Example. - Aaditya Naik; Jonathan Mendelson; Nathaniel Sands; Yuepeng Wang 001; Mayur Naik; Mukund Raghothaman (UIST, 2021)

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., 2023)