Component-based synthesis of table consolidation and transformation tasks from examples

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri. Component-based synthesis of table consolidation and transformation tasks from examples. In Albert Cohen 0001, Martin T. Vechev, editors, Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017. pages 422-436, ACM, 2017. [doi]

@inproceedings{FengMGDC17,
  title = {Component-based synthesis of table consolidation and transformation tasks from examples},
  author = {Yu Feng and Ruben Martins and Jacob Van Geffen and Isil Dillig and Swarat Chaudhuri},
  year = {2017},
  doi = {10.1145/3062341.3062351},
  url = {http://doi.acm.org/10.1145/3062341.3062351},
  researchr = {https://researchr.org/publication/FengMGDC17},
  cites = {0},
  citedby = {0},
  pages = {422-436},
  booktitle = {Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017, Barcelona, Spain, June 18-23, 2017},
  editor = {Albert Cohen 0001 and Martin T. Vechev},
  publisher = {ACM},
  isbn = {978-1-4503-4988-8},
}