Automatic diagnosis and correction of logical errors for functional programming assignments. - Junho Lee; Dowon Song; Sunbeom So; Hakjoo Oh (Proc. ACM Program. Lang., 2018)

Automatic and scalable detection of logical errors in functional programming assignments. - Dowon Song; Myungho Lee; Hakjoo Oh (Proc. ACM Program. Lang., 2019)

Context-aware and data-driven feedback generation for programming assignments. - Dowon Song; Woosuk Lee; Hakjoo Oh (ESEC/SIGSOFT FSE, 2021)