Synthesizing data structure transformations from input-output examples JK Feser, S Chaudhuri, I Dillig ACM SIGPLAN Notices 50 (6), 229-239, 2015 | 379 | 2015 |
Query Optimization for Dynamic Imputation SM José Cambronero, John K. Feser, Micah J. Smith VLDB 10 (11), 1310-1321, 2017 | 41* | 2017 |
Neural functional programming JK Feser, M Brockschmidt, AL Gaunt, D Tarlow | 13 | 2017 |
Differentiable functional program interpreters JK Feser, M Brockschmidt, AL Gaunt, D Tarlow arXiv preprint arXiv:1611.01988, 2016 | 11 | 2016 |
Deductive optimization of relational data storage J Feser, S Madden, N Tang, A Solar-Lezama Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020 | 10 | 2020 |
DDSCAT convert: a target generation tool J Feser, AN Sobh | 10 | 2016 |
nanoDDSCAT PK Jain, N Sobh, J Smith, AN Sobh, S White, J Faucheaux, J Feser | 7 | 2019 |
Inductive Program Synthesis Guided by Observational Program Similarity J Feser, I Dillig, A Solar-Lezama Proceedings of the ACM on Programming Languages 7 (OOPSLA2), 912-940, 2023 | 1 | 2023 |
Metric Program Synthesis J Feser, I Dillig, A Solar-Lezama arXiv preprint arXiv:2206.06164, 2022 | 1 | 2022 |
Metric Program Synthesis for Inverse CSG J Feser, A SOLAR-LEZAMA CoRR, 2022 | 1 | 2022 |
Inductive and Deductive Synthesis for Database Applications JK Feser Massachusetts Institute of Technology, 2023 | | 2023 |
LATE Ain'T Earley: A Faster Parallel Earley Parser W Ahrens, J Feser, R Hui arXiv preprint arXiv:1807.05642, 2018 | | 2018 |
Finite Buffer dCME (fb-dCME) Y Cao, A Terebus, J Feser, N Sobh, J Liang | | 2013 |