Travelled to:
1 × USA
Collaborated with:
S.Chaudhuri I.Dillig
Talks about:
transform (1) structur (1) synthes (1) output (1) exampl (1) input (1) data (1)
Person: John K. Feser
DBLP: Feser:John_K=
Contributed to:
Wrote 1 papers:
- PLDI-2015-FeserCD #data type
- Synthesizing data structure transformations from input-output examples (JKF, SC, ID), pp. 229–239.