Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions. - Woosuk Lee; Hangyeol Cho (Proc. ACM Program. Lang., 2023)

Madusa: mobile application demo generation based on usage scenarios. - Jaehyung Lee 006; Hangyeol Cho; Woosuk Lee (Autom. Softw. Eng., 2023)