[ISER] [SEP] Automating string processing in spreadsheets using input-output examples Posted on 2020-09-18 Edited on 2021-04-12 In paper Sumit Gulwani. Automating string processing in spreadsheets using input-output examples. POPL'11 Abstract keywords: 总体评价 Motivation Evalution Details