Example-guided synthesis of relational queries A Thakkar, A Naik, N Sands, R Alur, M Naik, M Raghothaman Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 16 | 2021 |
Sporq: An interactive environment for exploring code using query-by-example A Naik, J Mendelson, N Sands, Y Wang, M Naik, M Raghothaman The 34th Annual ACM Symposium on User Interface Software and Technology, 84-99, 2021 | 10 | 2021 |
Mobius: Synthesizing Relational Queries with Recursive and Invented Predicates A Thakkar, N Sands, G Petrou, R Alur, M Naik, M Raghothaman Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 1394-1417, 2023 | | 2023 |
S: An Interactive Environment for Exploring Code using ery-by-Example A Naik, J Mendelson, N Sands, Y Wang, M Naik, M Raghothaman | | 2021 |