Synthesizing data structure transformations from input-output examples.

John K. Feser, Swarat Chaudhuri, Isil Dillig

Browse the full PLDI paper archive.