• Program Synthesis-based Program Optimization @ UNIST, 2024/11/13 slides
  • 프로그램 합성 기반 프로그램 최적화 @ 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