Travelled to:1 × The Netherlands
Collaborated with:H.Oh M.Lee Junho Lee Dowon Song
Talks about:assign (2) introductori (1) function (1) diagnosi (1) automata (1) synthes (1) regular (1) program (1) express (1) correct (1)
Person: Sunbeom So
DBLP: So:Sunbeom
Contributed to:
2016
2018Wrote 2 papers:
- GPCE-2016-LeeSO #automaton #regular expression
- Synthesizing regular expressions from examples for introductory automata assignments (ML, SS, HO), pp. 70–80.
- OOPSLA-2018-LeeSSO #automation #fault #functional #logic #programming
- Automatic diagnosis and correction of logical errors for functional programming assignments (JL, DS, SS, HO), p. 30.