pubs.bib

@article{DBLP:journals/corr/abs-2206-06164,
  author = {John K. Feser and
               Isil Dillig and
               Armando Solar{-}Lezama},
  title = {Metric Program Synthesis for Inverse {CSG}},
  journal = {CoRR},
  volume = {abs/2206.06164},
  year = {2022},
  url = {https://doi.org/10.48550/arXiv.2206.06164},
  doi = {10.48550/arXiv.2206.06164},
  eprinttype = {arXiv},
  eprint = {2206.06164},
  timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2206-06164.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/FeserM0S20,
  author = {John K. Feser and
               Sam Madden and
               Nan Tang and
               Armando Solar{-}Lezama},
  title = {Deductive optimization of relational data storage},
  journal = {Proc. {ACM} Program. Lang.},
  volume = {4},
  number = {{OOPSLA}},
  pages = {170:1--170:30},
  year = {2020},
  url = {https://doi.org/10.1145/3428238},
  doi = {10.1145/3428238},
  timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/pacmpl/FeserM0S20.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1903-03229,
  author = {John K. Feser and
               Samuel Madden and
               Nan Tang and
               Armando Solar{-}Lezama},
  title = {Deductive Optimization of Relational Data Storage},
  journal = {CoRR},
  volume = {abs/1903.03229},
  year = {2019},
  url = {http://arxiv.org/abs/1903.03229},
  eprinttype = {arXiv},
  eprint = {1903.03229},
  timestamp = {Sun, 31 Mar 2019 00:00:00 +0100},
  biburl = {https://dblp.org/rec/journals/corr/abs-1903-03229.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pvldb/CambroneroFSM17,
  author = {Jos{\'{e}} Cambronero and
               John K. Feser and
               Micah J. Smith and
               Samuel Madden},
  title = {Query Optimization for Dynamic Imputation},
  journal = {Proc. {VLDB} Endow.},
  volume = {10},
  number = {11},
  pages = {1310--1321},
  year = {2017},
  url = {http://www.vldb.org/pvldb/vol10/p1310-feser.pdf},
  doi = {10.14778/3137628.3137641},
  timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/pvldb/CambroneroFSM17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclr/FeserBGT17,
  author = {John K. Feser and
               Marc Brockschmidt and
               Alexander L. Gaunt and
               Daniel Tarlow},
  title = {Neural Functional Programming},
  booktitle = {5th International Conference on Learning Representations, {ICLR} 2017,
               Toulon, France, April 24-26, 2017, Workshop Track Proceedings},
  publisher = {OpenReview.net},
  year = {2017},
  url = {https://openreview.net/forum?id=Byp\_ccVte},
  timestamp = {Thu, 04 Apr 2019 13:20:08 +0200},
  biburl = {https://dblp.org/rec/conf/iclr/FeserBGT17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/FeserBGT16,
  author = {John K. Feser and
               Marc Brockschmidt and
               Alexander L. Gaunt and
               Daniel Tarlow},
  title = {Neural Functional Programming},
  journal = {CoRR},
  volume = {abs/1611.01988},
  year = {2016},
  url = {http://arxiv.org/abs/1611.01988},
  eprinttype = {arXiv},
  eprint = {1611.01988},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl = {https://dblp.org/rec/journals/corr/FeserBGT16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pldi/FeserCD15,
  author = {John K. Feser and
               Swarat Chaudhuri and
               Isil Dillig},
  editor = {David Grove and
               Stephen M. Blackburn},
  title = {Synthesizing data structure transformations from input-output examples},
  booktitle = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming
               Language Design and Implementation, Portland, OR, USA, June 15-17,
               2015},
  pages = {229--239},
  publisher = {{ACM}},
  year = {2015},
  url = {https://doi.org/10.1145/2737924.2737977},
  doi = {10.1145/2737924.2737977},
  timestamp = {Wed, 23 Jun 2021 16:58:51 +0200},
  biburl = {https://dblp.org/rec/conf/pldi/FeserCD15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}