Talks

• Directed Program Analysis: from Suspicion to Witness, Dagstuhl Seminar 25421: Sound Static Program Analysis in Modern Software Engineering, Oct 17, 2025. [slides]


• 은은하게 퍼지는 쉬운전문용어와 소박한 공부, 쉬운전문용어 포럼, Dec 19, 2024. [slides] 🇰🇷


• Programming Language meets Machine Learning, KAISTPL, Apr 2022. [ 1 2 ] 🇰🇷


• Software Bloat: Problems and Automated Debloating Systems, Korean Computer System Society, Feg 02, 2021. [slides] 🇰🇷


• Continuous and Interactive Program Reasoning, Korea University and Seoul National University, Dec 2018. [slides]


• Program Transformation for Reducing Software Complexity, Korea University, Jul 9, 2018. [slides]


• User-Guided Program Reasoning using Bayesian Inference, KAIST, Jul 6, 2018. [slides]


• Interactive Alarm Ranking System using Bayesian Inference, Korea University, Apr 1, 2018. [slides]


• Machine-Learning-Guided Selectively Unsound Static Analysis, Naver, Jun 26, 2017. [slides] [video] 🇰🇷


• Selectively Sensitive Static Analysis by Impact Pre-analysis and Machine Learning, Ph.D. Defense, May 2, 2017. [slides] 🇰🇷


• Inferbo: Infer-based buffer-overrun analyzer, Korea University, Apr 14, 2017. [slides] 🇰🇷


• Inferbo: Infer-based buffer-overrun analyzer, KAIST, Mar 24, 2017. [slides] 🇰🇷


• Selectively Sensitive Static Analysis by Impact Pre-analysis and Machine Learning, Codemind, Feb 20, 2017. [slides] 🇰🇷