2025

  • 컨텍트 터널링: 고정관념에 도전하기. SIGPL Summer School, Seogang University. Aug 21 2025
    Slides

  • 성공적인 연구를 위한 문제 발견하기. 소프트웨어 분석 연구실 세미나, Korea University. Jul 18 2025
    Slides

2024

  • 될 때까지 개선하기. SIGPL Summer School, Sungkyunkwan University. Aug. 23 2024
    Slides

  • PL4XGL: A Programming Language Approach to Explainable Graph Learning. Paper presentation at PLDI 2024. Copenhagen, Denmark. June 27 2024
    Slides

  • PL4XGL: 프로그래밍 언어 기법을 활용한 설명 가능한 그래프 기계학습 방법. KAIST (ProSysLab Seminar). May 03 2024
    Slides

  • 그래프 패턴 언어를 활용하여 다양한 분야의 핵심 문제 접근하기. STAAR Workshop. KAIST. Jan 30 2024
    Slides

2023
  • Data-Driven Static Analysis. CSE GSAI Seminar. POSTECH. Nov 15 2023
    Slides
2022

  • Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs. Paper presentation at POPL 2022. STAAR Workshop. Jeju. Feb 11 2022
    Slides

  • Return of CFA: Call-Site Sensitivity Can Be Superior to Object Sensitivity Even for Object-Oriented Programs. Paper presentation at POPL 2022. Philadelphia, USA. Jan 19 2022
    Slides

2020
  • Learning Graph-based Heuristics for Pointer Analysis without Handcrafting Application-Specific Features. Paper presentation at OOPLSA 2020, Online. Nov. 20 2020
    Slides
2018

  • Precise and Scalable Points-to Analysis via Data-Driven Context Tunneling. Paper presentation at OOPSLA2018. BOSTON, USA. NOV 8 2018
    Slides

  • Data-Driven Context-Sensitivity for Points-to Analysis. KCSE2018. Jan 2018
    Slides