| Provenance-guided synthesis of datalog programs M Raghothaman, J Mendelson, D Zhao, M Naik, B Scholz Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 76 | 2019 |
| 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 | 15 | 2021 |
