발행물
컨퍼런스
UNIST
2024
,
Program Synthesis-based Program Optimization
POSTECH
프로그램 합성 기반 프로그램 최적화
충남대학교
2021
프로그램 합성 소개
POPL 2021
Combining the Top-Down Propagation and Bottom-Up Enumeration for Inductive Program Synthesis
한국정보과학회 KCC2019 신진교수 최신연구소개 세션
2019
통계모델을 활용한 효과적인 프로그램 자동 생성