talks
- 프로그램 합성 기반 프로그램 최적화 @ POSTECH, 2024/05/24 slides
- 프로그램 합성 소개 @ 충남대학교, 2021/03/19 slides
- Combining the Top-Down Propagation and Bottom-Up Enumeration for Inductive Program Synthesis @ POPL 2021, 2021/01/22 slides video
- 통계모델을 활용한 효과적인 프로그램 자동 생성 @ 한국정보과학회 KCC2019 신진교수 최신연구소개 세션, 2019/06/27 slides
- Effective Program Generation using Learned Probabilistic Models @ Seoul Nat’l Univ., Korea Univ., UNIST, KAIST slides