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]

Authors

Yu Feng

This author has not been identified. Look up 'Yu Feng' in Google

Ruben Martins

This author has not been identified. Look up 'Ruben Martins' in Google

Jacob Van Geffen

This author has not been identified. Look up 'Jacob Van Geffen' in Google

Isil Dillig

This author has not been identified. Look up 'Isil Dillig' in Google

Swarat Chaudhuri

This author has not been identified. It may be one of the following persons: Look up 'Swarat Chaudhuri' in Google