[1]	Feser, J. K., Dillig, I., and Solar-Lezama, A. Metric program synthesis for inverse CSG. CoRR abs/2206.06164 (2022). [ bib | DOI | arXiv | http ]
[2]	Feser, J. K., Madden, S., Tang, N., and Solar-Lezama, A. Deductive optimization of relational data storage. Proc. ACM Program. Lang. 4, OOPSLA (2020), 170:1--170:30. [ bib | DOI | http ]
[3]	Feser, J. K., Madden, S., Tang, N., and Solar-Lezama, A. Deductive optimization of relational data storage. CoRR abs/1903.03229 (2019). [ bib | arXiv | http ]
[4]	Feser, J. K., Brockschmidt, M., Gaunt, A. L., and Tarlow, D. Neural functional programming. In 5th International Conference on Learning Representations, ICLR 2017, Toulon, France, April 24-26, 2017, Workshop Track Proceedings (2017), OpenReview.net. [ bib | http ]
[5]	Cambronero, J., Feser, J. K., Smith, M. J., and Madden, S. Query optimization for dynamic imputation. Proc. VLDB Endow. 10, 11 (2017), 1310--1321. [ bib | DOI | .pdf ]
[6]	Feser, J. K., Brockschmidt, M., Gaunt, A. L., and Tarlow, D. Neural functional programming. CoRR abs/1611.01988 (2016). [ bib | arXiv | http ]
[7]	Feser, J. K., Chaudhuri, S., and Dillig, I. Synthesizing data structure transformations from input-output examples. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015 (2015), D. Grove and S. M. Blackburn, Eds., ACM, pp. 229--239. [ bib | DOI | http ]