Follow
Jonathan Mendelson
Jonathan Mendelson
Verified email at seas.upenn.edu
Title
Cited by
Cited by
Year
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
642019
Gensynth: Synthesizing datalog programs without language bias
J Mendelson, A Naik, M Raghothaman, M Naik
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6444-6453, 2021
142021
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
102021
The system can't perform the operation now. Try again later.
Articles 1–3