- 양자 프로그램 자동 합성. Feb. 06. 2023. 컴퓨터시스템소사이어티 동계학술대회 [pdf]
- VeriSmart: 스마트 컨트랙트 안전성 검증기. Dec. 10, 2019. KAIST 정보보호대학원 세미나 [pdf]
- 스마트컨트랙트 취약점 자동 검증. Sep. 30, 2019. 고려대학교블록체인연구소 세미나 [pdf]
- AI-based Software Analysis and Testing. July. 9, 2019. SureSoftTech. [slides]
- OCaml 프로그래밍. Jan. 10-11, 2019. Tezos Blockchain Camp. [slides]
- 소프트웨어 증명 기술을 이용한 스마트 컨트랙트 안전성 검증. Dec. 13, 2018. 정보보호단기강좌. [slides]
- 소프트웨어 오류 자동 수정 기법. Dec. 4, 2018. [slides]
- 스마트 컨트랙트 안전성 검증. Nov. 27, 2018. 신한그룹 교류회 [slides]
- Data-Driven and Focused Program Analysis. SRFC Annual Forum. Nov. 15, 2018. [slides]
- Introduction to Software Research at Korea University. S-Core. June. 11, 2018. [slides]
- Data-Driven Program Analysis. KAIST. Oct 30, 2017. [slides]
- Data-Driven Program Analysis. SNU. Sep 29, 2017. [slides]
- Data-Driven Static Analysis. NII Shonan Meeting on Memory Abstractions: Emerging Techniques and Applications. Sep 12, 2017. [slides]
- Automatically Generating Search Heuristics for Concolic Testing. SW Center, Samsung Electronics. Aug. 8, 2017. [slides]
- Data-Driven Program Analysis. Postech. Nov 9, 2016. [slides]
- Machine-Learning-Guided Adaptive Program Anaysis. TAPAS 2016. Edinburgh, Scotland. Sep 8, 2016. [slides] [talk abstract]
- Machine-Learning-Guided Adaptive Program Anlaysis. SIGPL Summer School. Aug 19, 2016. [slides]
- Machine Learning Approaches to Selective Program Analysis. SIGPL Winter workshop. Feb 17, 2016. [slides]
- Learning a Strategy for Adapting a Program Analysis via Bayseian Optimization. Paper presentation at ACM OOPSLA 2015, Pittsburgh, USA. October 29 2015. [slides]
- Selective Context-Sensitivity Guided by Impact Pre-Analysis. Paper presentation at ACM PLDI 2014, Edinburth, Scotland. Jun 11 2014. [slides]
- Selective-X Analysis Guided by Impact Pre-Analysis.
Talk at Workshop on Analysis and Verification of Cyber Physical Software, Seoul, Korea. Dec 23 2013.
- Sparse Analysis Framework. Dagstuhl Seminar 13162 on Pointer Analysis, Dagstuhl, Germany, Apr 18 2013 [slides]
- Static Program Analysis for Million Lines of Code. Tutorial at Korea Computer Congress, Jeju, Korea. Jun 28 2012
- Cost-reduction Techniques for Static Program Analysis. Lecture at SIGPL Winter School, Gyeongbuk, Korea. Feb 03-04 2012
- Spatial and Temporal Localization Techniques for Global Static Analysis.
Talk at Workshop on Analysis and Verification of Cyber Physical Software, Changsha, China. Oct 25 2012.
- Design and Implementation of Sparse Global Analyses for C-like Languages.Paper presentation at ACM PLDI 2012, Beijing, China. Jun 12 2012.
- Access-analysis-based Tight Localization of Abstract Memories.
Paper presentation at VMCAI 2011. Austin, Texas, USA. January 23 2011.
Access-based Localization with Bypassing.
Paper presentation at APLAS 2011. Kenting, Taiwan. Dec 05 2011.
Global Static Analysis of Million Lines of Code.
Lightning talk at ACM POPL. Philadelphia, USA. Jan 25 2012.
Large Spurious Cycles in Global Static Analysis and Its Algorithmic Mitigation.
Paper presentation at APLAS 2009. Seoul, Korea. Dec 14 2009.
Avoiding Spurious Cycles Matters for Scalable Analysis.
Poster presentation at ACM PLDI 2008. Tucson, Arizona, USA. Jun 8 2008.