Login / Signup
Hangyeol Cho
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Stochastic Grammar
Functional Programs
Mobile Apps
Facial Expressions
Top Venues
Proc. ACM Program. Lang.
Autom. Softw. Eng.
</>
Publications
</>
Woosuk Lee
,
Hangyeol Cho
Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions.
Proc. ACM Program. Lang.
7 (POPL) (2023)
Jaehyung Lee
,
Hangyeol Cho
,
Woosuk Lee
Madusa: mobile application demo generation based on usage scenarios.
Autom. Softw. Eng.
30 (1) (2023)